Ticket #89 (new task)
Opened 4 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.
