Opened 2 years ago

Last modified 17 months ago

#403 new bug

Fix specification of separate signatures with higher kinded type vars.

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

Description

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

Change History (3)

comment:1 Changed 2 years ago by benl

  • Milestone 0.4.3 deleted

comment:2 Changed 17 months ago by benl

  • Type changed from defect to bug

comment:3 Changed 17 months ago by benl

  • Component changed from Source to Core Translation to Source to Core
Note: See TracTickets for help on using tickets.