projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bb6510) | patch
An implication constraint can abstract over EqInsts
authorsimonpj@microsoft.com <unknown>
Sat, 27 Oct 2007 15:54:33 +0000 (15:54 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 27 Oct 2007 15:54:33 +0000 (15:54 +0000)
commit0c11d889934ea6e5311f38f5d142aff9e22abb7f
tree45cf6675d9f2f37a40e4cbbaab8471869ab08078tree | snapshot
parent6bb651084a0ebd572739ab9319c800c6ad83eb56commit | diff
An implication constraint can abstract over EqInsts
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcRnTypes.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)