0000932: Journalisation of dynamic functions using abstract types does not work

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

Project

Tags

No tags attached.

Attached Files

use.ml [^] (391 bytes) 2011-08-23 16:09 [Show Content] [Hide Content]

let main () =
  let module T = Type.Abstract(struct let name = "Cpt.t" end) in
  let c = 
    Dynamic.get ~plugin:"Cpt" "mk" (Datatype.func Datatype.unit T.ty) () 
  in
  let incr = 
    Dynamic.get ~plugin:"Cpt" "incr" (Datatype.func T.ty Datatype.int) 
  in
  Format.printf "%d@." (incr c);
  Format.printf "%d@." (incr c);
  Format.printf "%d@." (incr c)

let () = Db.Main.extend main

Relationships

Notes
(0002163) signoles (manager) 2011-08-23 16:10	Seem not possible to load 2 different files... Here is cpt.ml: let mk () = ref 0 let incr c = incr c; !c include Datatype.Make(struct (* order of lines below does matter *) include Datatype.Serializable_undefined include Datatype.Ref(Datatype.Int) let name = "Cpt.t" end) let mk = Dynamic.register ~journalize:true ~plugin:"Cpt" "mk" (Datatype.func Datatype.unit ty) mk let incr = Dynamic.register ~journalize:true ~plugin:"Cpt" "incr" (Datatype.func ty Datatype.int) incr

(0003343) signoles (manager) 2012-07-31 11:48	Generating "let module" in journal is pretty cool :).

(0004629) signoles (manager) 2014-02-12 16:58	Fix committed to stable/neon branch.

Issue History
Date Modified	Username	Field	Change
2011-08-23 16:09	signoles	New Issue
2011-08-23 16:09	signoles	Status	new => assigned
2011-08-23 16:09	signoles	Assigned To	=> signoles
2011-08-23 16:09	signoles	File Added: use.ml
2011-08-23 16:10	signoles	Note Added: 0002163
2011-08-23 16:10	signoles	Status	assigned => confirmed
2012-07-31 11:48	svn	Checkin
2012-07-31 11:48	svn	Status	confirmed => resolved
2012-07-31 11:48	svn	Resolution	open => fixed
2012-07-31 11:48	signoles	Note Added: 0003343
2012-09-19 17:15	signoles	Fixed in Version	=> Frama-C Oxygen-20120901
2012-09-19 17:16	signoles	Status	resolved => closed
2014-02-12 16:58	signoles	Note Added: 0004629
2014-02-12 16:58	signoles	Status	closed => resolved