diff options
Diffstat (limited to 'lib/secrets.nom')
| -rw-r--r-- | lib/secrets.nom | 23 |
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 %"] - |
