From: simonpj@microsoft.com <unknown>
Date: Thu, 23 Nov 2006 17:16:02 +0000 (+0000)
Subject: Simplify TcSimplify, by removing Free
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=a3a15a646977ab98f9150bb2b926d960796077e4;hp=a3a15a646977ab98f9150bb2b926d960796077e4;p=ghc-hetmet.git

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.
---