Commit 9892daf7 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Fix warnings

parent 8a680445
......@@ -1055,7 +1055,7 @@ applySubstVarFam eq1@(RewriteVar {rwi_var = tv1})
co2 = rwi_co eq2
-- rule would match with eq1 and eq2 swapped => put eq2 into todo list
applySubstVarFam eq1@(RewriteFam {rwi_fam = fam1, rwi_args = args1})
applySubstVarFam (RewriteFam {rwi_args = args1})
eq2@(RewriteVar {rwi_var = tv2})
| tv2 `elemVarSet` tyVarsOfTypes args1
= return $ Just eq2
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment