Opened 15 months ago

Last modified 4 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 15 months ago by benl

  • Owner set to benl

comment:2 Changed 4 months ago by benl

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