Ticket #89 (new task)

Opened 5 years ago

Test out effect constructors with interesting kinds

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

Description

Effect constructors with kinds other than ! and % -> ! haven't been well tested.

Suppose we do:

effect  Exception :: ! -> * -> ! 

This effect carries another effect and a type. Is the inferencer going to manage that?

Note: See TracTickets for help on using tickets.