git.iko.soy/Idris-dev
on master help sign in
Process !-notation in function declarations
86e5546Edwin Brady
src/Idris/Parser.hs+1−1
compare with master
unifiedsplit
@@ -549,7 +549,7 @@ fnDecl :: SyntaxInfo -> IdrisParser [PDecl]
549fnDecl syn = P.try (do notEndBlock
549fnDecl syn = P.try (do notEndBlock
550 d <- fnDecl' syn
550 d <- fnDecl' syn
551 i <- get
551 i <- get
552− let d' = fmap (desugar syn i) d
552+ let d' = fmap (debindApp syn . desugar syn i) d
553 return [d']) <?> "function declaration"
553 return [d']) <?> "function declaration"
554
554
555{-| Parses a function declaration
555{-| Parses a function declaration