Opened 13 months ago
Last modified 2 months ago
#385 new enhancement
Make type inference work with non-trivial type synonyms
| Reported by: | benl | Owned by: | benl |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | Core Type Checker | Version: | 0.4.2 |
| Keywords: | Cc: |
Description
Simple ones like Foo = Bar work, but not when the synonym has type parameters.
Change History (2)
comment:1 Changed 13 months ago by benl
- Owner set to benl
comment:2 Changed 2 months ago by benl
- Milestone 0.4.3 deleted
Note: See
TracTickets for help on using
tickets.
