Changes between Version 246 and Version 247 of TypeFunctionsStatus
 Timestamp:
 Oct 10, 2007 2:37:31 PM (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeFunctionsStatus
v246 v247 71 71 0. The tests `tcfail068` and `rw` used to raise more type errors right away. Now, we see less recovery. 72 72 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 #} 76 module Equality( (:=:), eq_elim, eq_refl ) where 77 78 data a:=: b where 79 EQUAL :: a :=: a 80 81 eq_refl :: a :=: a 82 eq_refl = EQUAL 83 84 eq_elim :: (a~b) => a :=: b > (a~b => p) > p 85 eq_elim EQUAL p = p 86 }}} 73 87 74 88 '''Current:'''