Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004208OCamlOCaml generalpublic2007-02-15 16:352014-08-18 15:17
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Versionafter-4.02.0Fixed in Version 
Summary0004208: Dynlink.crc_interfaces n'est pas bien backtrackée
DescriptionDynlink.crc_interfaces est une référence sur une table de hash impérative. La référence ne change jamais de valeur, donc la logique de backtracking (dans loadfile_private) ne fonctionne pas.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007915)
xleroy (administrator)
2012-08-06 18:29

I've been sleeping on this PR for too long. If anyone feels strongly about it...
(0009980)
doligez (administrator)
2013-07-29 15:01

Three solutions:
1. Make a copy of the hash table, then restore it for backtrack, but that seems inefficient.
2. Turn the hashtable into a Map.t, but that changes the API of Consistbl in a big way and implies more changes in the compiler's code.
3. Turn the hashtable into a Map.t ref, and export functions for saving and restoring, but that's ugly.

- Issue History
Date Modified Username Field Change
2007-02-15 16:35 frisch New Issue
2007-11-10 13:44 xleroy Status new => assigned
2007-11-10 13:44 xleroy Assigned To => xleroy
2012-07-11 16:12 doligez Target Version => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-08-06 18:29 xleroy Note Added: 0007915
2012-08-06 18:29 xleroy Assigned To xleroy =>
2012-08-06 18:29 xleroy Status assigned => acknowledged
2012-08-06 18:29 xleroy Target Version 4.00.1+dev => 4.01.0+dev
2013-07-29 15:01 doligez Note Added: 0009980
2013-07-29 15:01 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-18 15:17 doligez Target Version 4.02.0+dev => after-4.02.0


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker