Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000159mercuryBugpublic2010-08-23 12:022010-09-14 20:38
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
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
First: L_3, STATE_VARIABLE_P_4
Rest: STATE_VARIABLE_P_4
                                                                                                                                                                                                                 
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!
  Ondrej.
TagsNo tags attached.
Relationships
Attached Files? bug.m (1,005) 2010-08-23 12:03
https://bugs.mercurylang.org/file_download.php?file_id=107&type=bug

Notes
(0000289)
zs   
2010-09-14 20:38   
Bug fix committed 14 sep 2010.

Issue History
Date ModifiedUsernameFieldChange
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