Ticket #87 (new enhancement)

Opened 5 years ago

Last modified 4 years ago

Support type constraints on constructor

Reported by: benl Owned by:
Priority: normal Milestone: 0.1.5
Component: Source Parser Version: 0.1.2
Keywords: Cc:

Description

Allow type constraint on constructors so we can explicitly state effect and closure constraints.

data Fun a b
     = forall !e1 $c1. SomeFun (a -(!e1 $c1)> b) :- Pure !e1, Empty $c1

Change History

Changed 4 years ago by benl

  • priority changed from blocker to normal
Note: See TracTickets for help on using tickets.