type families + GADT = type unsafety?

Simon Peyton-Jones simonpj at microsoft.com
Thu Sep 27 17:09:23 EDT 2007


|
| simonpj writes there:
| > Manuel is about to nuke the old GADT stuff in favour of the new type-
| family
| > stuff.
|
| This doesn’t mean that GADTs are being dropped in favor of type
| families, does
| it?
|

No... it's an implementation matter only, invisible to programmers

Simon


More information about the Glasgow-haskell-users mailing list