Changes between Version 15 and Version 16 of TypeFunctionsSolving


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v15 v16  
    5959check [[T ~ S]] = fail 
    6060 
    61 flatten :: EqInst -> (FlattenedEqInst, [FlattenedEqInst]) 
     61flatten :: Type -> (Type, [FlattenedEqInst]) 
     62-- Result type has no type functions whatsoever 
    6263flatten [[F t1..tn]] = (x, [[F t1'..tn' ~ x]] : eqt1++..++eqtn) 
    6364  where