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