From 0952ebb7800fe1c396f6916c33bbc19a3b895308 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Tue, 28 Nov 2017 18:48:19 +0000 Subject: Small update to trivial sizeof rewrites so we can handle all cases in aarch64 vector instructions. There's maybe a better more general way to do this but I'm not sure what that would be. --- editors/sail2-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editors') diff --git a/editors/sail2-mode.el b/editors/sail2-mode.el index b93542b5..8dde96df 100644 --- a/editors/sail2-mode.el +++ b/editors/sail2-mode.el @@ -8,7 +8,7 @@ "else" "match" "in" "return" "register" "forall" "operator" "effect" "overload" "cast" "sizeof" "constraint" "default" "assert" "pure" "infixl" "infixr" "infix" "scattered" "end" "try" "catch" "and" - "throw" "clause" "as" "repeat" "until" "while" "do")) + "throw" "clause" "as" "repeat" "until" "while" "do" "foreach")) (defconst sail2-kinds '("Int" "Type" "Order" "inc" "dec" -- cgit v1.2.3