From f16632c445e9afa72cefe03439c32cbffe6dcc00 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Thu, 5 Feb 2009 16:35:37 +0100
Subject: [PATCH] Fixing the ec generator: do not dump constant and type
definition.
---
src/lazyCompiler.ml | 13 ++++++++++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/src/lazyCompiler.ml b/src/lazyCompiler.ml
index e6e83f3f..4c4875bf 100644
--- a/src/lazyCompiler.ml
+++ b/src/lazyCompiler.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 04/02/2009 (at 15:27) by Erwan Jahier> *)
+(** Time-stamp: <modified the 05/02/2009 (at 16:32) by Erwan Jahier> *)
open Lxm
@@ -411,7 +411,11 @@ and (type_check_do: t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
)
in
let is_struct = match type_def.it with StructType _ -> true | _ -> false in
- if (not provide_flag) & (not (!Global.expand_structs & is_struct)) then
+ if
+ (not provide_flag)
+ & (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);
type_eff
)
@@ -476,7 +480,10 @@ and (const_check_do : t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
"bad constant value: tuple not allowed"))
)
in
- if not provide_flag then
+ if
+ not provide_flag
+ && not !Global.ec (* ec does not need constant decl *)
+ then
output_string !Global.oc (LicDump.const_decl cn const_eff);
const_eff
) with Recursion_error (root, stack) -> (
--
GitLab