From c92e5fbc81e57ada43f2c17792e500da5b708bee Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Sun, 7 Jan 2018 18:03:37 -0800 Subject: Some overhaul of binary operators so that arbitrary math patterns work fine. --- lib/secrets.nom | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 lib/secrets.nom (limited to 'lib/secrets.nom') 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 %"] - -- cgit v1.2.3