--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on June 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unbound value Datatype.func in register.ml



Hello

Now, I write a plugin containing a file named "register.ml". Some code in
register.ml is as fellow:

let print =
  Dynamic.register    ~plugin:"loop"    "run"    ~journalize:true
 (Datatype.func Datatype.unit Datatype.unit)    compute_loop
let run () =  if Enabled.get () then compute_loop ()

let () = Db.Main.extend run

but when compiled , there is an error :Unbound value Datatype.func


Can you tell me how to solve it?


Henry Liu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110618/92962284/attachment.htm>