aboutsummaryrefslogtreecommitdiff
path: root/lib/secrets.nom
diff options
context:
space:
mode:
Diffstat (limited to 'lib/secrets.nom')
-rw-r--r--lib/secrets.nom23
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/secrets.nom b/lib/secrets.nom
deleted file mode 100644
index 0b9b1b1..0000000
--- a/lib/secrets.nom
+++ /dev/null
@@ -1,23 +0,0 @@
-require "lib/core.nom"
-
-compile [with secrets %block] to code: ".."
- do
- local secrets = {};
- \(%block as lua statements)
- end
-
-# Access the lua variable that should be within scope
-compile [secrets] to: "secrets"
-
-compile [secret %key, secret value of %key, secret value for %key] to:
- assert ((%key's "type") == "Var") ".."
- |Wrong type, expected Var, but got: \(%key's "type")
- "secrets[\(repr (%key's "value"))]"
-
-compile [secret %key = %new_value] to code:
- assert ((%key's "type") == "Var") ".."
- |Wrong type, expected Var, but got: \(%key's "type")
- "secrets[\(repr (%key's "value"))] = \(%new_value as lua);"
-
-rule [rules about secrecy] =: ["with secrets %"]
-