Ticket #87 (new enhancement)

Opened 4 years ago

Last modified 3 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 3 years ago by benl

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