Changes between Version 17 and Version 18 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 3:47:13 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v17 v18  
    5252
    5353check :: FlattenedEqInst -> [FlattenedEqInst]
    54 -- Does occurs-checks + decomposition
     54-- Does OccursCheck + Decomp + Swap
    5555check [[t ~ t]] = []
    5656check [[x ~ t]] | x `occursIn` t = fail