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