Fix missing case in PartialEval.hs
Fixes #1664. We may need to think more carefully about how to build
partially evaluated definitions better later, but this is a safe
solution for the moment.
commit799a105f1a94a9596f89ad83665ccac2588f06f1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 26 Oct 2014, 00:11 (12 years ago)
parentec0efe7
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