Changes between Version 246 and Version 247 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 2:37:31 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v246 v247  
    7171 0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery. 
    7272 0. What about filtering the `EqInst`s in `TcSimplify.addSCs`.  We need them, don't we?  But they give rise to `Var`s, not `Id`s, and we haven't got selectors. 
     73 0. Can we support 
     74{{{ 
     75{-# LANGUAGE TypeFamilies, TypeOperators, GADTs #-} 
     76module Equality( (:=:), eq_elim, eq_refl ) where 
     77 
     78data a:=: b where 
     79  EQUAL :: a :=: a 
     80 
     81eq_refl :: a :=: a 
     82eq_refl = EQUAL 
     83 
     84eq_elim :: (a~b) => a :=: b -> (a~b => p) -> p 
     85eq_elim EQUAL p = p  
     86}}} 
    7387  
    7488'''Current:'''