Ticket #7444 (closed bug: fixed)

Opened 6 months ago

Last modified 6 months ago

Update documentation regarding derivability of Generic1

Reported by: spl Owned by: dreixel
Priority: normal Milestone:
Component: Compiler Version: 7.7
Keywords: Cc: leather@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

The  documentation for Generic1 says:

Representable types of kind * -> * (not yet derivable).

I'm not sure if this feature is planned or not, but it would certainly be nice to have. Without it, I suspect the Generic1 representation will not see much use, and it doesn't make much sense to write generic functions for it.

Change History

Changed 6 months ago by spl

  • cc leather@… added

Changed 6 months ago by dreixel

  • owner set to dreixel
  • type changed from feature request to bug
  • summary changed from Derive Generic1 representation to Update documentation regarding derivability of Generic1

It is derivable in 7.6. I'll update the haddock, thanks for noticing.

Changed 6 months ago by dreixel

  • status changed from new to merge

Fixed by ec8d1495f193257d3b42ac0e67fbe0aa59101181 in the base library repo.

Changed 6 months ago by spl

Excellent! I now see it in the 7.6.1 release notes. (I think it should have been in the highlights, myself.)

Now, I finally have a reason to install 7.6.1. ;)

Changed 6 months ago by igloo

  • status changed from merge to closed
  • difficulty set to Unknown
  • resolution set to fixed

Merged as 066fb9edecb3f293dbab36b87317100722a3c57c

Note: See TracTickets for help on using tickets.