Opened 3 years ago
Last modified 14 months 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 3 years ago by benl
- Owner set to benl
comment:2 Changed 22 months ago by benl
- Milestone 0.4.3 deleted
comment:3 Changed 14 months ago by benl
- Component changed from Core Type Checker to Source Typing
- Type changed from enhancement to feature
comment:4 Changed 14 months ago by benl
- Owner benl deleted
Note: See
TracTickets for help on using
tickets.
