Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006448OCamlOCaml backend (code generation)public2014-06-03 03:122014-06-04 21:14
Reportergerd 
Assigned Todoligez 
PrioritynoneSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target Version4.03.0+devFixed in Version 
Summary0006448: Strange interaction of classes and modules
DescriptionThe attached program bug.ml outputs different numbers on different runs (for 3.12.1, 4.00.1 but not 4.01.0):

RUN 1
r=0
r=1
r=2
RUN 2
r=0
r=3
r=4

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 bug.ml [^] (1,242 bytes) 2014-06-03 03:12 [Show Content]

- Relationships

-  Notes
(0011632)
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.

- Issue History
Date Modified Username Field Change
2014-06-03 03:12 gerd New Issue
2014-06-03 03:12 gerd File Added: bug.ml
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker