When no node is specified in the -ec mode, compiles the first node

with a non-empty body (instead of just the first node).

src/lazyCompiler.ml

@@ -413,7 +413,7 @@ and (type_check_do: t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
       let is_struct = match type_def.it with StructType _ -> true | _  -> false in
         if 
           (not provide_flag) 
-          & (not (!Global.expand_structs & is_struct)) 
+          && (not (!Global.expand_structs & is_struct)) 
           && not !Global.ec (* ec does not need type decl *)
         then
           output_string !Global.oc (LicDump.type_decl type_name type_eff);
@@ -819,9 +819,13 @@ and (node_check_do: t -> Eff.node_key -> Lxm.t -> SymbolTab.t ->
     in
     let is_main_node = 
       if !Global.main_node = "" then (
-        (* if no main node is provided, we take the first we find *)
-        Global.main_node := Ident.string_of_long (fst nk);
-        true
+        (* if no main node is provided, we take the first node we find,
+	   that has a non-empty body. *)
+	match res.def_eff with
+	  | ExternEff | AbstractEff -> false
+	  | BodyEff _ -> 
+              Global.main_node := Ident.string_of_long (fst nk);
+              true
       )
       else
         (nk = (Ident.long_of_string !Global.main_node, [])) 

src/licDump.ml

-(** Time-stamp: <modified the 05/02/2009 (at 16:42) by Erwan Jahier> *)
+(** Time-stamp: <modified the 05/02/2009 (at 16:45) by Erwan Jahier> *)
 
 open Printf
 open Lxm
@@ -503,7 +503,7 @@ and (node_of_node_exp_eff: Eff.node_exp -> string) =
        then "extern " 
        else "") ^
         (if !Global.lv4 then
-           (* nodeand function does not have the same meaning in v4... *)
+           (* node and 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 ") 

src/main.ml

@@ -205,7 +205,8 @@ let (get_source_list : string list -> SyntaxTree.pack_or_model list) =
             | PRPackBody(incl_files, pbdy) ->
                 let nme = 
                   try Filename.chop_extension (Filename.basename infile) 
-                  with _ -> print_string ("*** '"^infile^"': bad file name.\n"); exit 1
+                  with _ -> 
+		    print_string ("*** '"^infile^"': bad file name.\n"); exit 1
                 in
                 let pi = 
                   SyntaxTree.give_pack_this_name (Ident.pack_name_of_string nme) pbdy