From 1765d8a8fcaa29199811c7f720d04f118a019c40 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <jahier@imag.fr> Date: Thu, 5 Feb 2009 16:45:18 +0100 Subject: [PATCH] Fixing the ec generator: node and function does not have the same meaning in v4. --- src/licDump.ml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/src/licDump.ml b/src/licDump.ml index 5761b601..30572e33 100644 --- a/src/licDump.ml +++ b/src/licDump.ml @@ -1,4 +1,4 @@ -(** Time-stamp: <modified the 05/02/2009 (at 15:01) by Erwan Jahier> *) +(** Time-stamp: <modified the 05/02/2009 (at 16:42) by Erwan Jahier> *) open Printf open Lxm @@ -497,8 +497,17 @@ and (const_decl: Ident.long -> Eff.const -> string) = and (node_of_node_exp_eff: Eff.node_exp -> string) = fun neff -> wrap_long_profile ( - (if neff.def_eff = ExternEff && not (!Global.lv4) then "extern " else "") ^ - (if neff.has_mem_eff then "node " else "function ") ^ + (if + neff.def_eff = ExternEff + && not (!Global.lv4) (* no extern kwd in v4... *) + then "extern " + else "") ^ + (if !Global.lv4 then + (* nodeand function does not have the same meaning in v4... *) + (if neff.def_eff = ExternEff then "function " else "node ") + else + (if neff.has_mem_eff then "node " else "function ") + ) ^ (string_of_node_key_rec neff.node_key_eff) ^ (profile_of_node_exp_eff neff)) ^ (match neff.def_eff with -- GitLab