projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 831f57c) | patch
Simplify TcSimplify, by removing Free
authorsimonpj@microsoft.com <unknown>
Thu, 23 Nov 2006 17:16:02 +0000 (17:16 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 23 Nov 2006 17:16:02 +0000 (17:16 +0000)
commita3a15a646977ab98f9150bb2b926d960796077e4
treeb196f359b436a05cf668c28601f713413e8b6c15tree | snapshot
parent831f57c9563981a2e785e64b5d308922bd2c5af3commit | diff
Simplify TcSimplify, by removing Free

For a long time TcSimplify used a three-way classification of constraints,
into  Free
Irred
ReduceMe
(see the data type WhatToDo).  In the new world of implication constraints,
the Free case does not make so much sense, and I managed to elminate it
altogether, thus simplifying the story somewhat.  Now WhatToDo has constructors
Stop
ReduceMe

There should be no change in behaviour.
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcRnTypes.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)