Fix double type signature for pi.
commitda283739473afd494db8357241b841222b5e7cd2
authorMatus Tejiscak <ziman@functor.sk>
dateTue 18 Feb 2014, 15:16 (13 years ago)
parente2dec8b
src/Idris/ParseExpr.hs−1
@@ -797,7 +797,6 @@ Pi ::=
797797@
798798 -}
799799
800−pi :: SyntaxInfo -> IdrisParser PTerm
801800pi :: SyntaxInfo -> IdrisParser PTerm
802801pi syn =
803802 do opts <- piOpts syn