Opened 2 years ago

Last modified 10 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 2 years ago by benl

  • Owner set to benl

comment:2 Changed 17 months ago by benl

  • Milestone 0.4.3 deleted

comment:3 Changed 10 months ago by benl

  • Component changed from Core Type Checker to Source Typing
  • Type changed from enhancement to feature

comment:4 Changed 10 months ago by benl

  • Owner benl deleted
Note: See TracTickets for help on using tickets.