Ticket #89 (new task)
Opened 4 years ago
Test out effect constructors with interesting kinds
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:||0.1.2|
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?