failing test

tests/expectations/compiler/mappings/external_read_with_local_fail.out

@@ -0,0 +1,5 @@
+---
+namespace: Compile
+expectation: Fail
+outputs:
+  - "Error [EPAR0370026]: Only one program scope is allowed in a Leo file.\n    --> compiler-test:16:1\n     |\n  16 | program relay.aleo {\n     | ^^^^^^^"

tests/tests/compiler/mappings/external_read_with_local_fail.leo

@@ -0,0 +1,28 @@
+/*
+namespace: Compile
+expectation: Pass
+*/
+
+program registry.aleo {
+    mapping users: address => bool;
+
+    transition register() {
+        return then finalize(self.caller);
+    }
+    finalize register(addr: address) {
+        Mapping::set(users, addr, true);
+    }
+}
+
+// --- Next Program --- //
+
+program relay.aleo {
+    mapping users: address => bool;
+
+    function send(addr: address) {
+        return then finalize(addr);
+    }
+    finalize send(addr: address) {
+        let a:bool = Mapping::get(relay.aleo/users, r0);
+    }
+}