projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 283e858) | patch
Template Haskell: make reify aware of type families
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 25 Mar 2009 03:34:47 +0000 (03:34 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 25 Mar 2009 03:34:47 +0000 (03:34 +0000)
commit3517c53d8a66149dcc3f971cf0577719e99d6d70
tree878662229334b26daa4adc56fe0efe62c2c4daf8tree | snapshot
parent283e858564bb7979e59dcf00e852c2039aff231ccommit | diff
Template Haskell: make reify aware of type families
- 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.
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/typecheck/TcSplice.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)