Opened 2 months ago

#403 new defect

Fix specification of separate signatures with higher kinded type vars.

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.3
Component: Source to Core Translation Version: 0.4.2
Keywords: Cc:


In the Monad module of the base libraries the signatures cannot be specified separately. There will be some bug in the elaborator.

Change History (0)

Note: See TracTickets for help on using tickets.