2024-07-13 13:57 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000159mercuryBugpublic2010-09-14 20:38
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
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
  • ? file icon bug.m (1,005 bytes) 2010-08-23 12:03




zs (developer)

Bug fix committed 14 sep 2010.

-Issue History
Date Modified Username Field Change
2010-08-23 12:02 juliensf New Issue
2010-08-23 12:03 juliensf File Added: bug.m
2010-09-14 16:46 zs Status new => assigned
2010-09-14 16:46 zs Assigned To => zs
2010-09-14 20:38 zs Note Added: 0000289
2010-09-14 20:38 zs Status assigned => resolved
2010-09-14 20:38 zs Resolution open => fixed
+Issue History