projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5d068a) | patch
Check category of type instances and some newtype family fixes
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:40:13 +0000 (18:40 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:40:13 +0000 (18:40 +0000)
commitd5c4754dcb857be7b9f4dbf6482e6050a9cd0991
treed59411ef8fa93d1e10de1915fb58662e05bad900tree | snapshot
parentb5d068a262d7afe153c12ed593cb8bbb39abe932commit | diff
Check category of type instances and some newtype family fixes
Mon Sep 18 19:23:39 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Check category of type instances and some newtype family fixes
  Thu Aug 31 16:54:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Check category of type instances and some newtype family fixes
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
compiler/typecheck/TcTyDecls.lhs diff | blob | history
compiler/types/TyCon.lhs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)