Tue Mar 24 20:34:47 PDT 2009 Manuel M T Chakravarty <[email protected]>
* Template Haskell: make reify aware of type families
Ignore-this: 4b9c2d626e7c506a74331bb91d0fcff7
- Reifying a type family returns a TH family declaration
- Reifying a data constructor from a data instance attributes that
constructor to the family (not the representation tycon)
- Ideally, we should have facilities to reify all type/data instances of a
given family (and the same for instances of a class). I haven't added that
here as it involves some API design.
M ./compiler/basicTypes/DataCon.lhs -2 +12
M ./compiler/typecheck/TcSplice.lhs -5 +22
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090325033447-6295e-4aebcc915a8a900c399d4bf9ed383e80acc76e41.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
