Merge pull request #1677 from edwinb/pe-error
Fix missing case in PartialEval.hs
commit3172f48077542a0b703ae67c557932e8ee2e0498
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 26 Oct 2014, 01:25 (12 years ago)
parentc40dd4d799a105
src/Idris/PartialEval.hs+1−1
@@ -207,7 +207,7 @@ mkNewPats ist d ns newname sname lhs rhs =
207207 (mkRHSargs ns lhsargs) in
208208 (lhs, rhs)
209209
210− mkLHSargs _ [] [] = []
210+ mkLHSargs _ [] _ = []
211211 -- dynamics don't appear if they're implicit
212212 mkLHSargs sub ((ExplicitD, t) : ns) (a : as)
213213 = pexp (delab ist (substNames sub a)) : mkLHSargs sub ns as