type families + GADT = type unsafety?

Tom Schrijvers Tom.Schrijvers at cs.kuleuven.be
Fri Sep 28 02:58:55 EDT 2007

> (Simon, does this mean
> that non-~ discharging will become subject to GADT-style type annotation
> rules?)

No, it does not. No type annotations required in non-GADT-related code, 
even if equalities are involved.


Tom Schrijvers

Department of Computer Science
K.U. Leuven
Celestijnenlaan 200A
B-3001 Heverlee

tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be

More information about the Glasgow-haskell-users mailing list