Changes between Version 24 and Version 25 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 30, 2013 3:43:52 PM (21 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v24 v25  
    4848== Problem: coincident overlap ==  
    4949 
    50 In the official release of GHC, it is permitted to write something like this (see [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#type-family-overlap manual]): 
     50In the official release of GHC, it is permitted to write something like this (see [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#type-family-overlap manual]), and the extensive discussion on #4259: 
    5151 
    5252{{{