@@ -1830,7 +1830,7 @@ elabClause info opts (_, PWith fc fname lhs_in withs wval_in withblock)
1830 logLvl 2 ("Matching " ++ showTmImpls tm ++ " against " ++
1830 logLvl 2 ("Matching " ++ showTmImpls tm ++ " against " ++
1831 showTmImpls toplhs)
1831 showTmImpls toplhs)
1832 case matchClause i toplhs tm of
1832 case matchClause i toplhs tm of
1833− Left (a,b) -> trace ("matchClause: " ++ show a ++ " =/= " ++ show b) (ifail $ show fc ++ ":with clause does not match top level")
1833+ Left (a,b) -> ifail $ show fc ++ ":with clause does not match top level"
1834 Right mvars ->
1834 Right mvars ->
1835 do logLvl 3 ("Match vars : " ++ show mvars)
1835 do logLvl 3 ("Match vars : " ++ show mvars)
1836 lhs <- updateLHS n wname mvars ns ns' (fullApp tm) w
1836 lhs <- updateLHS n wname mvars ns ns' (fullApp tm) w