[only pass up predicates that mention metavariables
John Meacham <john@repetae.net>**20100728092621
 Ignore-this: 4957f13241f004665e5c30090818f3ce
] hunk ./src/FrontEnd/Tc/Class.hs 63
-    return $ partition (\p -> freeMetaVarsPred p `Set.isSubsetOf` fs) $ simplify h  $ ps'
+    return $ partition (\p -> let fv = freeMetaVarsPred p in not (Set.null fv) && fv `Set.isSubsetOf` fs) $ simplify h ps'
hunk ./src/FrontEnd/Tc/Main.hs 759
-    printRule $ "endtiExpl: " <+> show ps <+> show qs <+> show ds <+> show rs
+    printRule $ "endtiExpl: " <+> show env <+> show ps <+> show qs <+> show ds <+> show rs