Syntax rules need to allow implicits
commit0e997eeb093faf062e9903d6101c7f2a358d52b6
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateSun 27 May 2012, 19:37 (14 years ago)
parent168278e
src/Idris/Parser.hs+1−1
@@ -375,7 +375,7 @@ pSyntaxRule syn
375375 when (length ns /= length (nub ns))
376376 $ fail "Repeated variable in syntax rule"
377377 lchar '='
378− tm <- pExpr syn
378+ tm <- pExpr (impOK syn)
379379 pTerminator
380380 return (Rule (mkSimple syms) tm sty)
381381 where