From e65240c658ac1d43c5e2c1dcffd83d15605dc0f4 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
Date: Sat, 10 Jul 2010 01:27:17 +0200
Subject: Use variable _ as wildcard

---
 src/Var.vala | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/Var.vala b/src/Var.vala
index 1437ede..eb44637 100644
--- a/src/Var.vala
+++ b/src/Var.vala
@@ -20,10 +20,18 @@ namespace Eva {
     }
     
     protected bool do_match(Term o, Gee.Map<string, Term> vars, Gee.Map<string, string> aliases) {
+      if(name == "_") {
+        return true;
+      }
+      
       string key = alias(name, aliases);
       
       if(o is Var) {
         Var v = o as Var;
+        if(v.name == "_") {
+          return true;
+        }
+        
         string vkey = alias(v.name, aliases);
         
         if(key == vkey)
-- 
cgit v1.2.3