Skip to content

GitLab

cloogle.org
cloogle.org
Verified Commit 444c01ff authored by Camil Staps's avatar Camil Staps 🚀
Browse files
Options

Add "existential" as keyword in Builtin.Syntax; bump compiler date

parent 0810bf08
Pipeline #18519 passed with stages
      in 19 minutes and 30 seconds
      Show whitespace changes
      Inline Side-by-side
      Showing with 2 additions and 2 deletions
      backend/Builtin/Syntax.icl
      View file @ 444c01ff
      ...@@ -238,7 +238,7 @@ bs_dotdot = ...@@ -238,7 +238,7 @@ bs_dotdot =
      bs_exists = bs_exists =
      { syntax_title = "existential quantifier" { syntax_title = "existential quantifier"
      , syntax_patterns = map exact ["E", "E\\.*"] , syntax_patterns = map exact ["E", "E\\.*", "existential"]
      , syntax_code = [":: ... = E. ...: ..."] , syntax_code = [":: ... = E. ...: ..."]
      , syntax_description = "Existential quantifiers make it possible to define (recursive) objects of the same type with different types of content." , 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"] , syntax_doc_locations = [CLR 7 "5.1.3" "_Toc311798042"]
      ......
      backend/install_clean_vars.sh
      View file @ 444c01ff
      ...@@ -6,4 +6,4 @@ PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:master:cloogle:' clean-lib-platform/ ...@@ -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" PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:platform-master:platform-cloogle:' clean-lib-platform/linux-x64/build.sh"
      export PATCHCLEANBUILD export PATCHCLEANBUILD
      export CLEANDATE="2019-02-07" export CLEANDATE="2019-02-08"
      Markdown is supported
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment