Issue #27: negative cases about scoping

fixtures/all/unscoped_recv_at.ll

@@ -0,0 +1,3 @@
+unscoped_recv_at = proc(c : ?Int, d : !Int)
+  @(proc(c) recv c (x : Int))(c).
+  send d x

fixtures/all/unscoped_recv_slice.ll

@@ -0,0 +1 @@
+unscoped_recv_slice = proc(c) (slice (c) 1 as _ (recv c (x : Int))). send c x

fixtures/failure/unscoped_recv_at.ll

@@ -0,0 +1 @@
+../all/unscoped_recv_at.ll

fixtures/failure/unscoped_recv_slice.ll

@@ -0,0 +1 @@
+../all/unscoped_recv_slice.ll

tests/failure/unscoped_recv_at.t/TESTRECIPE

@@ -0,0 +1,42 @@
+#!/bin/bash
+
+testname=unscoped_recv_at.t
+command=Ling
+args=( --check unscoped_recv_at.ll )
+exit_code=1
+stdin_file=/dev/null
+stdout_file=/dev/null
+stderr_file=stderr
+sources=( unscoped_recv_at.ll )
+products=( )
+
+# Environment variables:
+env_vars=( )
+
+setup(){
+  : Perform here actions to be run before the tested program
+}
+
+munge(){
+  : Munge here the results of the tested program to ease the check
+}
+
+check(){
+  check_exit_code &&
+  check_stderr &&
+  check_stdout &&
+  check_products &&
+  : Perform here extra checks on the tested program
+}
+
+explain(){
+  explain_exit_code
+  explain_stdout
+  explain_stderr
+  explain_products
+  : Explain here more potential differences
+}
+
+teardown(){
+  : Undo here the actions of setup
+}

tests/failure/unscoped_recv_at.t/stderr

@@ -0,0 +1,3 @@
+While checking `unscoped_recv_at`
+  unknown definition x
+

tests/failure/unscoped_recv_at.t/unscoped_recv_at.ll

@@ -0,0 +1 @@
+../../../fixtures/all/unscoped_recv_at.ll

tests/failure/unscoped_recv_slice.t/TESTRECIPE

@@ -0,0 +1,42 @@
+#!/bin/bash
+
+testname=unscoped_recv_slice.t
+command=Ling
+args=( --check unscoped_recv_slice.ll )
+exit_code=1
+stdin_file=/dev/null
+stdout_file=/dev/null
+stderr_file=stderr
+sources=( unscoped_recv_slice.ll )
+products=( )
+
+# Environment variables:
+env_vars=( )
+
+setup(){
+  : Perform here actions to be run before the tested program
+}
+
+munge(){
+  : Munge here the results of the tested program to ease the check
+}
+
+check(){
+  check_exit_code &&
+  check_stderr &&
+  check_stdout &&
+  check_products &&
+  : Perform here extra checks on the tested program
+}
+
+explain(){
+  explain_exit_code
+  explain_stdout
+  explain_stderr
+  explain_products
+  : Explain here more potential differences
+}
+
+teardown(){
+  : Undo here the actions of setup
+}

tests/failure/unscoped_recv_slice.t/stderr

@@ -0,0 +1,3 @@
+While checking `unscoped_recv_slice`
+  unknown definition x
+

tests/failure/unscoped_recv_slice.t/unscoped_recv_slice.ll

@@ -0,0 +1 @@
+../../../fixtures/all/unscoped_recv_slice.ll