Opened 17 months ago

Last modified 6 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:


Simple ones like Foo = Bar work, but not when the synonym has type parameters.

Change History (2)

comment:1 Changed 17 months ago by benl

  • Owner set to benl

comment:2 Changed 6 months ago by benl

  • Milestone 0.4.3 deleted
Note: See TracTickets for help on using tickets.