@@ -937,13 +937,14 @@ If ::= 'if' Expr 'then' Expr 'else' Expr
939if_ :: SyntaxInfo -> IdrisParser PTerm
939if_ :: SyntaxInfo -> IdrisParser PTerm
940−if_ syn = (do reserved "if"
940+if_ syn = (do ifFC <- reservedFC "if"
941 fc <- getFC
941 fc <- getFC
942 c <- expr syn
942 c <- expr syn
943− reserved "then"
943+ thenFC <- reservedFC "then"
944 t <- expr syn
944 t <- expr syn
945− reserved "else"
945+ elseFC <- reservedFC "else"
946 f <- expr syn
946 f <- expr syn
947+ mapM_ (flip highlightP AnnKeyword) [ifFC, thenFC, elseFC]
947 return (PIfThenElse fc c t f))
948 return (PIfThenElse fc c t f))
948 <?> "conditional expression"
949 <?> "conditional expression"