• simonpj@microsoft.com's avatar
    Simplify TcSimplify, by removing Free · a3a15a64
    simonpj@microsoft.com authored
    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.
    a3a15a64
TcSimplify.lhs 87.7 KB