git.iko.soy/Idris-dev
on master help sign in
Dummy commit to rerun a timeouted Travis build
650b699Timo Petteri Sinnemäki
src/Idris/AbsSyntax.hs+1−1
compare with master
unifiedsplit
@@ -1129,7 +1129,7 @@ implicit' info syn ignore n ptm
1129
1129
1130 notFound :: [Name] -> [Name] -> Maybe Name
1130 notFound :: [Name] -> [Name] -> Maybe Name
1131 notFound kns [] = Nothing
1131 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
1133 notFound kns (n:ns) = if elem n kns then notFound kns ns else Just n
1133 notFound kns (n:ns) = if elem n kns then notFound kns ns else Just n
1134
1134
1135implicitise :: SyntaxInfo -> [Name] -> IState -> PTerm -> (PTerm, [PArg])
1135implicitise :: SyntaxInfo -> [Name] -> IState -> PTerm -> (PTerm, [PArg])