Tolerate unbound variables

VictorTaelin · Oct 23, 2018 · 1e74be3 · 1e74be3
1 parent 4616744
commit 1e74be3
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "symmetric-interaction-calculus"
-version = "0.1.6"
+version = "0.1.8"
 description = "A programming language and model of computation that matches the abstract algorithm perfectly."
 license = "MIT"
 authors = ["Victor Maia <srvictormaia@gmail.com>"]

diff --git a/src/term.rs b/src/term.rs
@@ -401,10 +401,12 @@ pub fn to_net(term : &Term) -> Net {
         }
     }
 
-    // Checks if all variables are bound
-    for (nam,addr) in scope {
+    // Connects unbound variables to erase nodes
+    for (_, addr) in scope {
         if enter(&net, addr) == addr {
-            println!("Variable never used: {}. Explicitly erase by renaming it to a hyphen (-).", std::str::from_utf8(&nam).unwrap()); 
+            let era = new_node(&mut net, ERA);
+            link(&mut net, port(era, 1), port(era, 2));
+            link(&mut net, addr, port(era, 0));
         }
     }