Changes between Version 82 and Version 83 of TypeFunctionsSolving


Ignore:
Timestamp:
Sep 6, 2008 9:44:49 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v82 v83  
    113113flatten :: Type -> (Type, Coercion, [RewriteInst]) 
    114114-- Result type has no synonym families whatsoever 
    115 flatten [[F t1..tn] 
     115flatten [[F t1..tn]] 
    116116  = (alpha, [[F c1..cn |> gamma]], [[gamma :: F t1'..tn' ~ alpha]] : eqt1++..++eqtn) 
    117117  where