projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a12d2d7) | patch
Fixes to data type families
authorsimonpj@microsoft.com <unknown>
Wed, 2 May 2007 10:28:11 +0000 (10:28 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 2 May 2007 10:28:11 +0000 (10:28 +0000)
commit683a26900e9170ba57c561a2dc94a3a4eb38cfdf
tree819eb715f241cb334acf0b0ace5f5cc6c2da725etree | snapshot
parenta12d2d74ef1d05b6815906ea5d29b79249191383commit | diff
Fixes to data type families

- Fix two distinct bugs, one in MkId.mkDataConIds, one in DataCon.mkDataCon
- Add more comments
- Add a little assertion checking in TyCon

Type-family tests now work.
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/types/TyCon.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)