Dummy commit to rerun a timeouted Travis build
commit650b699b67425cabcf2b7fd2d3462477a80f9547
authorTimo Petteri Sinnemäki <timo.sinnemaki@helsinki.fi>
dateTue 8 Apr 2014, 23:08 (13 years ago)
parent0aca520
src/Idris/AbsSyntax.hs+1−1
@@ -1129,7 +1129,7 @@ implicit' info syn ignore n ptm
11291129
11301130 notFound :: [Name] -> [Name] -> Maybe Name
11311131 notFound kns [] = Nothing
1132− notFound kns (SN (WhereN _ _ _) : ns) = notFound kns ns -- Known already
1132+ notFound kns (SN (WhereN _ _ _) : ns) = notFound kns ns -- Known already
11331133 notFound kns (n:ns) = if elem n kns then notFound kns ns else Just n
11341134
11351135implicitise :: SyntaxInfo -> [Name] -> IState -> PTerm -> (PTerm, [PArg])