projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 574022a) | patch
Correct substitution into theta types (after merge) After_FC_branch_merge
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 20:48:05 +0000 (20:48 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 20:48:05 +0000 (20:48 +0000)
commit8053aac536c96dabdc06e9f068852f5481474a29
tree4a8848d8a4b3922ba3e201757b8f19efd278ad3atree | snapshot
parent574022a869f3a24f58fc3e55d586773f24c57724commit | diff
Correct substitution into theta types (after merge)
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)