Optimised the representation of Inert Sets to use Maps to get to the relevant inert...
authordimitris@microsoft.com <unknown>
Fri, 22 Oct 2010 12:58:40 +0000 (12:58 +0000)
committerdimitris@microsoft.com <unknown>
Fri, 22 Oct 2010 12:58:40 +0000 (12:58 +0000)
commite646bb2961a7250915e519e7852fecdb3f86cc15
tree8fc64a26374eae05249de051c3ac8e05099ebb07
parent4e0c994eb1613c62e94069642d7acdb2e69b773b
Optimised the representation of Inert Sets to use Maps to get to the relevant inert constraint faster.
compiler/typecheck/TcInteract.lhs
compiler/typecheck/TcSMonad.lhs