Changes between Version 8 and Version 9 of PatternSynonyms/AssociatingSynonyms


Ignore:
Timestamp:
Nov 18, 2015 4:19:44 PM (4 years ago)
Author:
mpickering
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms/AssociatingSynonyms

    v8 v9  
    127127> situations except where `P`'s type is ''visibly incompatible'' with
    128128> `T`.
    129 
     129>
    130130> What does "visibly incompatible" mean?  `P` is visibly incompatible
    131 > with
    132 >     `T` if
     131> with `T` if
    133132>       * `P`'s type is of form `... -> S t1 t2`
    134133>       * `S` is a data/newtype constructor distinct from `T`
    135 
     134>
    136135> Nothing harmful happens if we allow `P` to be exported with
    137136> a type it can't possibly be useful for, but specifying a tighter