-
Erwan Jahier authored
change the parser and accept only clock expressions after a when. A clock is now made of 2 idents: one for the clock constructor, and one for the clock variable.
Erwan Jahier authoredchange the parser and accept only clock expressions after a when. A clock is now made of 2 idents: one for the clock constructor, and one for the clock variable.
predefEvalClock.mli 217 B
(** Time-stamp: <modified the 11/09/2008 (at 16:12) by Erwan Jahier> *)
type clocker = Eff.id_clock Predef.evaluator
exception EvalClock_error of string
val f: Predef.op -> Lxm.t -> Eff.static_arg list -> clocker