projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f7d551) | patch
Moved canonicalisation inside solveInteract
authordimitris@microsoft.com <unknown>
Thu, 9 Dec 2010 14:12:15 +0000 (14:12 +0000)
committerdimitris@microsoft.com <unknown>
Thu, 9 Dec 2010 14:12:15 +0000 (14:12 +0000)
commitef6d82a4e1d4ba4884c322be85cff291e017f0e6
tree46d2d474875995614ba0e4abf579ace9584c3fd5tree | snapshot
parent4f7d5513b25571f0eb091b8af04e2225f2802fedcommit | diff
Moved canonicalisation inside solveInteract

Moreover canonicalisation now is "clever", i.e. it never canonicalizes a class
constraint if it can already discharge it from some other inert or previously
encountered constraints. See Note [Avoiding the superclass explosion]
compiler/typecheck/TcInteract.lhs diff | blob | history
compiler/typecheck/TcSMonad.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)