From 94de356834be40b1e14c85a016a2e0a9f1768053 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Sun, 11 Jul 2010 08:28:49 +0200 Subject: Added support for parsing strings to complex terms --- src/List.vala | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/List.vala') diff --git a/src/List.vala b/src/List.vala index 7637998..9340fd7 100644 --- a/src/List.vala +++ b/src/List.vala @@ -50,6 +50,12 @@ namespace Eva { _tail = null; } + public static List from_list(Gee.List list) { + if(list.is_empty) + return empty; + else + return new List(list.first(), List.from_list(list[1:list.size])); + } protected bool do_match(Term o, Gee.Map vars, Gee.Map aliases) { if(o is Var) { -- cgit v1.2.3