Make reserved keywords file into a raw txt file

Reserve import related keywords Fmt Clean up unused Dep Clean up Reserve import related keywords Update versions
Cypher1 · Apr 21, 2024 · bce027a · bce027a
1 parent 7cb7330
commit bce027a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/examples/instances.tk b/examples/instances.tk
@@ -1,3 +1,5 @@
+#!/usr/bin/env tako
+
 Bounded = Enum
   .open()
   .based_on({

diff --git a/takolib/src/parser/keywords.txt b/takolib/src/parser/keywords.txt
@@ -1,9 +1,8 @@
-False
-TRUE
-True
 any
 construct
 exists
+export
+exports
 false
 forall
 from
@@ -18,8 +17,12 @@ lambda
 module
 pi
 preserve
+private
+public
+publish
 read
 require
+requires
 sigma
 such
 suchthat