Process !-notation in function declarations
If we don't do it at this level, ! notation doesn't get desugared in
implementations of interfaces leading to an internal error reported.
commit86e5546677f45438e89e831e3be3b1c2cf252b48
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 1 Jan 2018, 21:07 (9 years ago)
parent1ecb649
src/Idris/Parser.hs+1−1
@@ -549,7 +549,7 @@ fnDecl :: SyntaxInfo -> IdrisParser [PDecl]
549549fnDecl syn = P.try (do notEndBlock
550550 d <- fnDecl' syn
551551 i <- get
552− let d' = fmap (desugar syn i) d
552+ let d' = fmap (debindApp syn . desugar syn i) d
553553 return [d']) <?> "function declaration"
554554
555555{-| Parses a function declaration