on master help sign in
Fix indentation handling for PCAF parser
13adf74David Raymond Christiansen
src/Idris/Parser.hs+2−1
@@ -834,8 +834,9 @@ CAF ::= 'let' FnName '=' Expr Terminator;
834caf :: SyntaxInfo -> IdrisParser PDecl
834caf :: SyntaxInfo -> IdrisParser PDecl
835caf syn = do reservedHL "let"
835caf syn = do reservedHL "let"
836 n_in <- fst <$> fnName; let n = expandNS syn n_in
836 n_in <- fst <$> fnName; let n = expandNS syn n_in
837+ pushIndent
837 lchar '='
838 lchar '='
838− t <- expr syn
839+ t <- indented $ expr syn
839 terminator
840 terminator
840 fc <- getFC
841 fc <- getFC
841 return (PCAF fc n t)
842 return (PCAF fc n t)