projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ec44d5) | patch
Added decidability check for type instances
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 30 Aug 2007 14:49:01 +0000 (14:49 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 30 Aug 2007 14:49:01 +0000 (14:49 +0000)
commitbf9eb20fbc731c05724297022a4b9a1479ddd180
tree1bf11d37a7dbee3fab84fc969a47ca767e174c6etree | snapshot
parent9ec44d592dac28c2fe6909f7cf3cf2199c34ed21commit | diff
Added decidability check for type instances
compiler/typecheck/TcMType.lhs diff | blob | history
compiler/typecheck/TcRnDriver.lhs diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)