0001127: Error in Type.pp_ml_name with Datatype.String.Set.ty

Issue History
Date Modified	Username	Field	Change
2012-03-21 10:35	Anne	New Issue
2012-03-21 10:43	Anne	Note Added: 0002781
2012-03-21 10:50	signoles	Status	new => assigned
2012-03-21 10:50	signoles	Assigned To	=> signoles
2012-03-21 10:51	signoles	Note Added: 0002782
2012-03-21 10:51	signoles	Status	assigned => confirmed
2012-03-21 10:52	signoles	File Added: test.ml
2012-03-21 10:54	Anne	Description Updated
2012-04-26 13:44	Anne	Note Added: 0002973
2012-04-26 15:13	signoles	Note Added: 0002977
2012-04-26 15:13	signoles	Status	confirmed => resolved
2012-04-26 15:13	signoles	Fixed in Version	=> Frama-C Oxygen-2012xx01
2012-04-26 15:13	signoles	Resolution	open => fixed
2012-09-19 17:16	signoles	Status	resolved => closed
2012-10-02 15:07	Anne	Note Added: 0003481
2012-10-02 15:07	Anne	Status	closed => feedback
2012-10-02 15:07	Anne	Resolution	fixed => reopened
2012-10-16 15:30	svn	Checkin
2012-10-16 15:30	signoles	Status	feedback => resolved
2012-10-16 15:30	signoles	Resolution	reopened => fixed
2013-04-19 11:05	signoles	Fixed in Version	Frama-C Oxygen-20120901 => Frama-C Fluorine
2013-04-19 11:05	signoles	Status	resolved => closed
2013-05-06 13:43	svn	Checkin
2013-05-06 15:25	svn	Checkin

Notes
(0002781) Anne (reporter) 2012-03-21 10:43	Similar problem with: (Datatype.option Datatype.string) which is printed: (Type.Option.instantiate Datatype.String.ty)

(0002782) signoles (manager) 2012-03-21 10:51	Your guessing is right... I attach a simple reproducible script.

(0002973) Anne (reporter) 2012-04-26 13:44	Do you think there is a chance to have this fixed in the next version of Frama-C ? (just to know if I have to do a big work-around or if I can just wait ;-) )

(0002977) signoles (manager) 2012-04-26 15:13	Just resolved. Will be in Oxygen.

(0003481) Anne (reporter) 2012-10-02 15:07	Same problem with Datatype.pair in Oxygen.

Relationships