Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004377OCamlOCaml generalpublic2007-09-04 15:292007-11-19 18:19
Reporterfrisch 
Assigned Todoligez 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.10+dev 
Summary0004377: Bug finalisation des pointeurs infixes
DescriptionLe code ci-dessous plante:

let rec f1 x = print_string x and f2 x = print_int x in
Gc.finalise (fun g1 -> g1 10) f2;;
Gc.full_major ();;

On comprend facilement pourquoi en cherchant Infix_tag dans finalise.c.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0004327)
doligez (administrator)
2007-11-19 18:19

fixed in 3.09.4+dev3 and 3.10.1+dev1

- Issue History
Date Modified Username Field Change
2007-09-04 15:29 frisch New Issue
2007-09-17 06:58 xleroy Status new => assigned
2007-09-17 06:58 xleroy Assigned To => doligez
2007-11-19 18:19 doligez Note Added: 0004327
2007-11-19 18:19 doligez Status assigned => closed
2007-11-19 18:19 doligez Resolution open => fixed
2007-11-19 18:19 doligez Fixed in Version => 3.10+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker