Changes between Initial Version and Version 1 of Ticket #86


Ignore:
Timestamp:
Feb 2, 2006 6:04:41 PM (8 years ago)
Author:
flippa
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #86

    • Property Summary changed from add PartialTypeSynonyms? to add PartialTypeAnnotations?
  • Ticket #86 – Description

    initial v1  
    1 Test ticket, will fill details in properly in a mo 
     1Short 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.