@@ -834,8 +834,9 @@ CAF ::= 'let' FnName '=' Expr Terminator;
834834caf :: SyntaxInfo -> IdrisParser PDecl
835835caf syn = do reservedHL "let"
836836 n_in <- fst <$> fnName; let n = expandNS syn n_in
837+ pushIndent
837838 lchar '='
838− t <- expr syn
839+ t <- indented $ expr syn
839840 terminator
840841 fc <- getFC
841842 return (PCAF fc n t)