From b273b856d53822b1f5357e8fa4e05c7998b37671 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Mon, 20 Feb 2023 14:41:49 +1100
Subject: [PATCH] Update types and keywords

---
 minizinc.iro | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/minizinc.iro b/minizinc.iro
index fc49a9a..11de1ee 100644
--- a/minizinc.iro
+++ b/minizinc.iro
@@ -286,19 +286,19 @@ main : context {
 
     : pattern {
         description     = type keyword
-        regex          \= (\b(?:ann|array|bool|enum|float|int|list|of|par|set|string|tuple|var)\b)
+        regex          \= (\b(?:ann|array|bool|enum|float|int|list|of|par|set|string|tuple|var|record|any|opt)\b)
         styles []       = .type;
     }
 
     : pattern {
         description     = expression keyword
-        regex          \= (\b(?:for|forall|if|then|elseif|else|endif|where|let|in)\b)
+        regex          \= (\b(?:for|forall|exists|if|then|elseif|else|endif|where|let|in)\b)
         styles []       = .keyword;
     }
 
     : pattern {
         description     = reserved identifiers
-        regex          \= (\b(?:any|case|op|record)\b)
+        regex          \= (\b(?:case|op)\b)
         styles []       = .illegal;
     }