X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=534c5d0601c8e74bd841b1c86da8a845f78ba43d;hp=9d89125dd48dab4b5f7f0bb66d3ea52b83f12e63;hb=ebec49fed627b7dd17e297ddc79a9c677a2ce538;hpb=3f44fb8231db3277a584470cbe7397bec801cd0e

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 9d89125..534c5d0 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -1886,6 +1886,8 @@ reduceContext env wanteds0
 	  -- This may expose some further equational constraints...
 	; let (wanted_implics, wanted_dicts) = partition isImplicInst wanteds'
 	; (avails, extra_eqs) <- getLIE (reduceList env wanted_dicts init_state)
+	  	   -- The getLIE is reqd because reduceList does improvement
+		   -- (via extendAvails) which may in turn do unification
 	; (dict_binds, 
            bound_dicts, 
            dict_irreds)       <- extractResults avails wanted_dicts