From 444c01ff867275c8f4b46c553caff7e635da7888 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 7 Feb 2019 16:54:23 +0100 Subject: [PATCH] Add "existential" as keyword in Builtin.Syntax; bump compiler date --- backend/Builtin/Syntax.icl | 2 +- backend/install_clean_vars.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/backend/Builtin/Syntax.icl b/backend/Builtin/Syntax.icl index 781c07f..f247981 100644 --- a/backend/Builtin/Syntax.icl +++ b/backend/Builtin/Syntax.icl @@ -238,7 +238,7 @@ bs_dotdot = bs_exists = { syntax_title = "existential quantifier" - , syntax_patterns = map exact ["E", "E\\.*"] + , syntax_patterns = map exact ["E", "E\\.*", "existential"] , syntax_code = [":: ... = E. ...: ..."] , syntax_description = "Existential quantifiers make it possible to define (recursive) objects of the same type with different types of content." , syntax_doc_locations = [CLR 7 "5.1.3" "_Toc311798042"] diff --git a/backend/install_clean_vars.sh b/backend/install_clean_vars.sh index 00bdb1b..f822185 100755 --- a/backend/install_clean_vars.sh +++ b/backend/install_clean_vars.sh @@ -6,4 +6,4 @@ PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:master:cloogle:' clean-lib-platform/ PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:platform-master:platform-cloogle:' clean-lib-platform/linux-x64/build.sh" export PATCHCLEANBUILD -export CLEANDATE="2019-02-07" +export CLEANDATE="2019-02-08" -- GitLab