From 51d1ef8019581a702e40fdc4abd6009cab01b0af Mon Sep 17 00:00:00 2001 From: bguillaum Date: Fri, 8 Nov 2013 07:43:42 +0000 Subject: [PATCH] =?UTF-8?q?tmp=20fix=20of=20new=5Fneighbour=20(waiting=20f?= =?UTF-8?q?or=20activate.=E2=80=A6)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8105 7838e531-6607-4d57-9587-6c381814729c --- src/grew_command.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/grew_command.ml b/src/grew_command.ml index e15d241..70061f9 100644 --- a/src/grew_command.ml +++ b/src/grew_command.ml @@ -51,9 +51,12 @@ module Command = struct let build ?param (kai, kei) table locals ast_command = - let pid_of_act_id = function - | (node_name, None) -> Pat (Pid.Pos (Id.build node_name table)) - | (node_name, Some n) -> Act (Pid.Pos (Id.build node_name table), n) in + let pid_of_act_id loc = function + | (node_name, Some n) -> Act (Pid.Pos (Id.build ~loc node_name table), n) + | (node_name, None) -> + try (* TODO: remove with activate *) + Pat (Pid.Pos (Id.build ~loc node_name table)) + with _ -> New node_name in let check_act_id loc act_id kai = if not (List.mem act_id kai) -- GitLab