@@ -207,7 +207,7 @@ mkNewPats ist d ns newname sname lhs rhs =
207 (mkRHSargs ns lhsargs) in
207 (mkRHSargs ns lhsargs) in
208 (lhs, rhs)
208 (lhs, rhs)
210− mkLHSargs _ [] [] = []
210+ mkLHSargs _ [] _ = []
211 -- dynamics don't appear if they're implicit
211 -- dynamics don't appear if they're implicit
212 mkLHSargs sub ((ExplicitD, t) : ns) (a : as)
212 mkLHSargs sub ((ExplicitD, t) : ns) (a : as)
213 = pexp (delab ist (substNames sub a)) : mkLHSargs sub ns as
213 = pexp (delab ist (substNames sub a)) : mkLHSargs sub ns as