Typechecker performance fixes and flatten skolem bugfixing
authordimitris@microsoft.com <unknown>
Mon, 4 Oct 2010 13:02:00 +0000 (13:02 +0000)
committerdimitris@microsoft.com <unknown>
Mon, 4 Oct 2010 13:02:00 +0000 (13:02 +0000)
commit2072edcfe180f617d8f9f8990f682589c4e35082
tree9bf3f6296e598899881827e3d54312f8e06a8913
parentbff88b3a5bf96eea57e99a09774a74bd18cf4e13
Typechecker performance fixes and flatten skolem bugfixing
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcInteract.lhs
compiler/typecheck/TcMType.lhs
compiler/typecheck/TcSMonad.lhs
compiler/typecheck/TcType.lhs
compiler/typecheck/TcUnify.lhs