Mercury Bugs - mercury
View Issue Details
0000159mercuryBugpublic2010-08-23 12:022010-09-14 20:38
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000159: liveness.m: Unexpected: branches of switch disagree on liveness
DescriptionFrom mercury-bugs


Dear all,
having bought a new notebook (the previous one was from 2003), I've also jump-updated everything to the state of the art. The joy of recompiling old things has just
begun and here are the first fruits:
rotd-2010-07-19 fails to compile the attached file (could be surely minimized yet a bit) with the following error:
22:56 bojar-nb src$mmc --make bug.o
Making Mercury/int3s/bug.int3
Making Mercury/cs/bug.c
Uncaught Mercury exception:
Software Error: liveness.m: Unexpected: branches of switch disagree on liveness
Stack dump not available in this grade.
** Error making `Mercury/cs/bug.c'.
Could you have a look at it? Disabling memoization solves it, but memoization alone is naturally fine. I guess it's the variable L where only the type and the value
is needed.
Cheers and warm greetings to everybody!
TagsNo tags attached.
Attached Files? bug.m (1,005) 2010-08-23 12:03

2010-09-14 20:38   
Bug fix committed 14 sep 2010.

Issue History
2010-08-23 12:02juliensfNew Issue
2010-08-23 12:03juliensfFile Added: bug.m
2010-09-14 16:46zsStatusnew => assigned
2010-09-14 16:46zsAssigned To => zs
2010-09-14 20:38zsNote Added: 0000289
2010-09-14 20:38zsStatusassigned => resolved
2010-09-14 20:38zsResolutionopen => fixed