From 41db7ebcfb3472536a1043c843bb7447028fdcc5 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 20 Oct 2020 07:29:23 +0200
Subject: [PATCH] added REAL datatype
---
syntaxes/classicalb.tmLanguage.json | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json
index d8d49ca..ba45726 100644
--- a/syntaxes/classicalb.tmLanguage.json
+++ b/syntaxes/classicalb.tmLanguage.json
@@ -167,13 +167,9 @@
"name": "keyword.operator.tree.classicalb"
},
{
- "match": "\\b(mod|succ|pred|ceiling|real|floor)\\b",
+ "match": "\\b(mod|succ|pred|ceiling|real|floorreal)\\b",
"name": "keyword.operator.numeric.classicalb"
},
- {
- "match": "\\b(REAL)\\b",
- "name": "keyword.operator.numeric.operator.classicalb"
- },
{
"match": "\\b(rec|struct)\\b",
"name": "keyword.operator.record.classicalb"
@@ -258,7 +254,7 @@
"name": "constant.language.boolean.classicalb"
},
{
- "match": "\\b(BOOL|STRING|INT(EGER)?|NAT(URAL)?(1)?|MININT|MAXINT)\\b",
+ "match": "\\b(BOOL|STRING|INT(EGER)?|NAT(URAL)?(1)?|MININT|MAXINT|REAL)\\b",
"name": "constant.other.sets.classicalb"
}
]
--
GitLab