predefEvalClock.ml

(** Time-stamp: <modified the 26/05/2008 (at 14:57) by Erwan Jahier> *)

open Predef
open CompiledData

let finish_me msg = print_string ("\n\tXXX predefSemantics.ml:"^msg^" ->  finish me!\n")

type clocker = CompiledData.clock_eff Predef.evaluator

let (aa_clocker: clocker) =
  function
    | [clk1] -> clk1
    | _ -> finish_me "a good error msg"; assert false
	
let (aaa_clocker: clocker) =
  function
    | [clk1; clk2] -> 
	if clk1 = clk2 then clk1 else (finish_me "a good error msg"; assert false)
    | _ -> 
	finish_me "a good error msg"; assert false

   

(* This table contains the clock profile of predefined operators *)
let (clocking_tab: op -> clocker) = 
  fun op -> 
    assert false