Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006448OCamlOCaml backend (code generation)public2014-06-03 03:122016-04-05 16:03
Assigned Todoligez 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0006448: Strange interaction of classes and modules
DescriptionThe attached program outputs different numbers on different runs (for 3.12.1, 4.00.1 but not 4.01.0):


However, there is no mutable state outside RES, and both runs should produce identical numbers.

It looks like as if the old instance of the module RES is cached while building the class. The double definition of U (in Genutil) is also crucial for triggering the bug.

In 4.01.0 the program works as expected; nevertheless I'm reporting the issue because it is so strange, and there is the chance that the bug is now only better hidden. At least I could not find anything in the Changes file or in Mantis that could explain the misbehavior.
TagsNo tags attached.
Attached Files? file icon [^] (1,242 bytes) 2014-06-03 03:12 [Show Content]

- Relationships

-  Notes
frisch (developer)
2014-06-03 09:23

This reminds me of 0004776, although there is no exception here. It also remind me of another more recent problem, but I cannot find the reference.
doligez (administrator)
2016-04-05 16:03

How I wish we had time to investigate this kind of report...

No repro on 4.02.3 and 4.03, so the bug seems to be gone for good.

- Issue History
Date Modified Username Field Change
2014-06-03 03:12 gerd New Issue
2014-06-03 03:12 gerd File Added:
2014-06-03 09:23 frisch Note Added: 0011632
2014-06-04 21:13 doligez Assigned To => doligez
2014-06-04 21:13 doligez Status new => acknowledged
2014-06-04 21:14 doligez Severity text => minor
2014-06-04 21:14 doligez Target Version => 4.03.0+dev / +beta1
2016-04-05 16:03 doligez Note Added: 0015676
2016-04-05 16:03 doligez Status acknowledged => resolved
2016-04-05 16:03 doligez Resolution open => suspended
2016-04-05 16:03 doligez Target Version 4.03.0+dev / +beta1 =>

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker