git.iko.soy/Idris-dev
on master help sign in
Fix double type signature for pi.
da28373Matus Tejiscak
src/Idris/ParseExpr.hs−1
compare with master
unifiedsplit
@@ -797,7 +797,6 @@ Pi ::=
797@
797@
798 -}
798 -}
799
799
800−pi :: SyntaxInfo -> IdrisParser PTerm
801pi :: SyntaxInfo -> IdrisParser PTerm
800pi :: SyntaxInfo -> IdrisParser PTerm
802pi syn =
801pi syn =
803 do opts <- piOpts syn
802 do opts <- piOpts syn