Skip to content
Snippets Groups Projects
Normal view Permalink
predefEvalClock.mli 214 B
Newer Older
Erwan Jahier's avatar
Rename CompiledData into Eff.  
Erwan Jahier committed
1 
(** Time-stamp: <modified the 28/08/2008 (at 16:05) by Erwan Jahier> *)
Erwan Jahier's avatar
Split PredefSemantics into 3 modules: PredefEvalType, PredefConst,
Erwan Jahier committed
2
Erwan Jahier's avatar
Rename CompiledData into Eff.  
Erwan Jahier committed
3 
type clocker = Eff.clock Predef.evaluator
Erwan Jahier's avatar
Perform the clock checking in the node profile (the clock checking of  
Erwan Jahier committed
4
Erwan Jahier's avatar
Begin to implement clock checkinhg of expressions.  
Erwan Jahier committed
5 6 7 
exception EvalClock_error of string
Erwan Jahier's avatar
Rename CompiledData into Eff.  
Erwan Jahier committed
8 
val f: Predef.op -> Lxm.t -> Eff.static_arg list -> clocker