From e65240c658ac1d43c5e2c1dcffd83d15605dc0f4 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Sat, 10 Jul 2010 01:27:17 +0200 Subject: Use variable _ as wildcard --- src/Var.vala | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src') 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 vars, Gee.Map 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