Opened 10 years ago

Closed 7 years ago

#87 closed enhancement (invalid)

Support type constraints on constructor

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
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 (3)

comment:1 Changed 9 years ago by benl

  • Priority changed from blocker to normal

comment:2 Changed 7 years ago by benl

  • Milestone 0.1.5 deleted

Milestone 0.1.5 deleted

comment:3 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to invalid
  • Status changed from new to closed

pony removal

Note: See TracTickets for help on using tickets.