projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c9282a) | patch
Improvement to typecheck higher-rank rules better
authorsimonpj@microsoft.com <unknown>
Tue, 17 Nov 2009 12:54:17 +0000 (12:54 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 17 Nov 2009 12:54:17 +0000 (12:54 +0000)
commit7d8ad0267dca350280f00f32721e04a73ed88a9e
treed3b475d81f6a78cda04b1114abecfb8bdf05b339tree | snapshot
parent0c9282a26594a9b803f7681270ac8c830e47a6e7commit | diff
Improvement to typecheck higher-rank rules better

See Note [Typechecking rules] in TcRules.
Suggested by Roman
compiler/typecheck/TcRules.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)