nop

src/.depend

-./verbose.cmo: ./verbose.cmi 
-./verbose.cmx: ./verbose.cmi 
-./lxm.cmo: ./lxm.cmi 
-./lxm.cmx: ./lxm.cmi 
-./errors.cmo: lxm.cmi 
-./errors.cmx: lxm.cmx 
-../obj-i386-linux-gcc3/parser.cmo: utils.cmx syntaxe.cmx lxm.cmi errors.cmx \
-    ../obj-i386-linux-gcc3/parser.cmi 
-../obj-i386-linux-gcc3/parser.cmx: utils.cmx syntaxe.cmx lxm.cmx errors.cmx \
-    ../obj-i386-linux-gcc3/parser.cmi 
-../obj-i386-linux-gcc3/lexer.cmo: lxm.cmi 
-../obj-i386-linux-gcc3/lexer.cmx: lxm.cmx 
-./syntaxe.cmo: lxm.cmi errors.cmx 
-./syntaxe.cmx: lxm.cmx errors.cmx 
-./dump.cmo: syntaxe.cmx lxm.cmi errors.cmx 
-./dump.cmx: syntaxe.cmx lxm.cmx errors.cmx 
-./compUtils.cmo: syntaxe.cmx lxm.cmi errors.cmx ./compUtils.cmi 
-./compUtils.cmx: syntaxe.cmx lxm.cmx errors.cmx ./compUtils.cmi 
-./compUtils.cmo: syntaxe.cmx lxm.cmi errors.cmx ./compUtils.cmi 
-./compUtils.cmx: syntaxe.cmx lxm.cmx errors.cmx ./compUtils.cmi 
-./expandPack.cmi: syntaxe.cmx lxm.cmi 
-./expandPack.cmo: syntaxe.cmx lxm.cmi errors.cmx compUtils.cmi \
-    ./expandPack.cmi 
-./expandPack.cmx: syntaxe.cmx lxm.cmx errors.cmx compUtils.cmx \
-    ./expandPack.cmi 
-./symbolTab.cmi: syntaxe.cmx lxm.cmi compUtils.cmi 
-./symbolTab.cmo: syntaxe.cmx lxm.cmi errors.cmx compUtils.cmi ./symbolTab.cmi 
-./symbolTab.cmx: syntaxe.cmx lxm.cmx errors.cmx compUtils.cmx ./symbolTab.cmi 
-./srcTab.cmi: syntaxe.cmx symbolTab.cmi 
-./compileData.cmo: syntaxe.cmx lxm.cmi errors.cmx dump.cmx compUtils.cmi 
-./compileData.cmx: syntaxe.cmx lxm.cmx errors.cmx dump.cmx compUtils.cmx 
-./srcTab.cmo: verbose.cmi syntaxe.cmx symbolTab.cmi lxm.cmi expandPack.cmi \
-    errors.cmx compUtils.cmi ./srcTab.cmi 
-./srcTab.cmx: verbose.cmx syntaxe.cmx symbolTab.cmx lxm.cmx expandPack.cmx \
-    errors.cmx compUtils.cmx ./srcTab.cmi 
-./evalConst.cmi: syntaxe.cmx lxm.cmi compileData.cmx 
-./evalConst.cmo: utils.cmx syntaxe.cmx lxm.cmi errors.cmx compileData.cmx \
-    compUtils.cmi ./evalConst.cmi 
-./evalConst.cmx: utils.cmx syntaxe.cmx lxm.cmx errors.cmx compileData.cmx \
-    compUtils.cmx ./evalConst.cmi 
-./evalType.cmi: syntaxe.cmx compileData.cmx 
-./evalType.cmo: syntaxe.cmx lxm.cmi evalConst.cmi errors.cmx compileData.cmx \
-    ./evalType.cmi 
-./evalType.cmx: syntaxe.cmx lxm.cmx evalConst.cmx errors.cmx compileData.cmx \
-    ./evalType.cmi 
-./lazyCompiler.cmo: syntaxe.cmx symbolTab.cmi srcTab.cmi lxm.cmi evalType.cmi \
-    evalConst.cmi errors.cmx compileData.cmx compUtils.cmi ./lazyCompiler.cmi 
-./lazyCompiler.cmx: syntaxe.cmx symbolTab.cmx srcTab.cmx lxm.cmx evalType.cmx \
-    evalConst.cmx errors.cmx compileData.cmx compUtils.cmx ./lazyCompiler.cmi 
-./lazyCompiler.cmi: srcTab.cmi lxm.cmi compileData.cmx compUtils.cmi 
-./compile.cmo: verbose.cmi syntaxe.cmx srcTab.cmi lxm.cmi lazyCompiler.cmi \
-    errors.cmx compileData.cmx compUtils.cmi 
-./compile.cmx: verbose.cmx syntaxe.cmx srcTab.cmx lxm.cmx lazyCompiler.cmx \
-    errors.cmx compileData.cmx compUtils.cmx 
-./main.cmo: verbose.cmi syntaxe.cmx lxm.cmi errors.cmx dump.cmx compile.cmx \
-    ./main.cmi 
-./main.cmx: verbose.cmx syntaxe.cmx lxm.cmx errors.cmx dump.cmx compile.cmx \
-    ./main.cmi 

src/compile.ml

-(** Time-stamp: <modified the 05/02/2008 (at 11:20) by Erwan Jahier> *)
+(** Time-stamp: <modified the 11/02/2008 (at 09:36) by Erwan Jahier> *)
 
 
 open Lxm
@@ -48,5 +48,3 @@ let (doit : SyntaxTree.pack_or_model list -> Ident.idref -> unit) =
 	LazyCompiler.test lzcomp ; 
 	() 
 
-
-

src/evalType.ml

-(** Time-stamp: <modified the 05/02/2008 (at 11:21) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 17:12) by Erwan Jahier> *)
 
 open Lxm
 open Errors
@@ -22,10 +22,8 @@ Effets de bord :
 	Compile_error
 ----------------------------------------------------------------------*)
 
-let rec f
-    (env : id_solver)
-    (texp : type_exp)
-    = (
+let rec (f:CompiledData.id_solver -> SyntaxTreeCore.type_exp -> CompiledData.type_eff)=
+  fun env texp ->  (
       try (
 	match texp.it with 
      	    Bool_type_exp -> Bool_type_eff