Mercury Bugs - mercury
View Issue Details
0000137mercuryBugpublic2010-03-11 23:412010-07-21 14:37
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000137: failing analysis framework tests
DescriptionMany of the analysis framework tests abort with:

Making Mercury/analysiss/ua_m1.analysis
Uncaught Mercury exception:
Software Error: quantification.m: Unexpected: unify_rhs_vars_no_lambda: found lambda
Stack dump not available in this grade.

TagsNo tags attached.
Attached Files

2010-03-16 17:47   
Although I can reproduce this with a rotd, I can't seem to reproduce it from a CVS checkout. I have tried these options in Mmake.params (separately, obviously):

EXTRA_MCFLAGS= --intermodule-optimisation
EXTRA_MCFLAGS= -O5 --intermodule-optimisation
EXTRA_MCFLAGS= --opt-space
EXTRA_MCFLAGS= -O2 --intermodule-optimisation --opt-space
2010-03-17 00:52   
If someone can reproduce this with a compiler that itself was compiled in a debug grade, I can probably fix this in two minutes.
2010-07-21 14:37   
unused_args calls implicitly_quantify_goal_general(ordinary_nonlocals_no_lambda, ...) on exception.try_io_det, which was being opt-exported, despite being marked no_inline.

I have now made it so that no_inline predicates are not opt-exported, but that's a separate bug.

Issue History
2010-03-11 23:41juliensfNew Issue
2010-03-16 17:47wangpNote Added: 0000256
2010-03-17 00:52zsNote Added: 0000257
2010-07-21 14:37wangpNote Added: 0000278