Changes between Version 77 and Version 78 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 1, 2006 6:50:42 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v77 v78  
    2727
    2828Todo (low-level):
    29  * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.)
     29 * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.)  We might be able to get away with a lazy check at every place where a value of family type is constructed (i.e., occurences of the datacon wrapper).  Such a value may never be an inhabitant of more than one instance declaration.
    3030 * RHS of a `type instance` must be a tau type.
    3131 * Check that patterns of type indexes don't contain type functions.