Opened 6 years ago

Closed 6 years ago

Last modified 2 years ago

#7444 closed bug (fixed)

Update documentation regarding derivability of Generic1

Reported by: spl Owned by: dreixel
Priority: normal Milestone:
Component: Compiler Version: 7.7
Keywords: Generics Cc: leather@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

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 (6)

comment:1 Changed 6 years ago by spl

Cc: leather@… added

comment:2 Changed 6 years ago by dreixel

Owner: set to dreixel
Summary: Derive Generic1 representationUpdate documentation regarding derivability of Generic1
Type: feature requestbug

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

comment:3 Changed 6 years ago by dreixel

Status: newmerge

Fixed by ec8d1495f193257d3b42ac0e67fbe0aa59101181 in the base library repo.

comment:4 Changed 6 years 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. ;)

comment:5 Changed 6 years ago by igloo

difficulty: Unknown
Resolution: fixed
Status: mergeclosed

comment:6 Changed 2 years ago by RyanGlScott

Keywords: Generics added
Note: See TracTickets for help on using tickets.