@@ -937,13 +937,14 @@ If ::= 'if' Expr 'then' Expr 'else' Expr
937937
938938-}
939939if_ :: SyntaxInfo -> IdrisParser PTerm
940−if_ syn = (do reserved "if"
940+if_ syn = (do ifFC <- reservedFC "if"
941941 fc <- getFC
942942 c <- expr syn
943− reserved "then"
943+ thenFC <- reservedFC "then"
944944 t <- expr syn
945− reserved "else"
945+ elseFC <- reservedFC "else"
946946 f <- expr syn
947+ mapM_ (flip highlightP AnnKeyword) [ifFC, thenFC, elseFC]
947948 return (PIfThenElse fc c t f))
948949 <?> "conditional expression"
949950