Changes between Version 1 and Version 2 of Ticket #86


Ignore:
Timestamp:
Feb 2, 2006 8:27:11 PM (9 years ago)
Author:
flippa
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #86 – Description

    v1 v2  
    11Short idea: _ in place of a type is "match anything". This is /not/ the type (exists a.a), contrary to suggestions on the mailing list, as a) we wish to end up with a more specific type via inference and b) the existential type would have issues with predicativity and/or impredicativity.
     2
     3Note that _ *is not a type*. It's part of the type annotation, but should never be propagated "upwards" by the typechecker - only the type inferred for its position.