0000578: Switch detection regression

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000578

mercury

Bug

public

2025-11-20 17:16

2025-11-20 20:06

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000578: Switch detection regression

Description

After commit c9e549996 ("Let switch detection handle deeper disjunctions."), the compiler no longer accepts the given test case.

% mmc -e switch_detection_regression.m
switch_detection_regression.m:017: Error: the determinism declaration for
switch_detection_regression.m:017: predicate `halign'/5 is not satisfied.
switch_detection_regression.m:017: Declared `det', inferred `nondet'.
switch_detection_regression.m:017: The reasons for the difference are the
switch_detection_regression.m:017: following.
switch_detection_regression.m:029:
switch_detection_regression.m:029: Unification of `Dir' and
switch_detection_regression.m:029: `switch_detection_regression.ltr' can
switch_detection_regression.m:029: fail.
switch_detection_regression.m:031:
switch_detection_regression.m:031: Unification of `Dir' and
switch_detection_regression.m:031: `switch_detection_regression.rtl' can
switch_detection_regression.m:031: fail.
switch_detection_regression.m:032:
switch_detection_regression.m:032: Inside the case end/0 of the switch on
switch_detection_regression.m:032: TextAlign:
switch_detection_regression.m:032: disjunction has more than one disjunct
switch_detection_regression.m:032: with solutions.
switch_detection_regression.m:041:
switch_detection_regression.m:041: This later disjunct may have a solution.
switch_detection_regression.m:032:
switch_detection_regression.m:032: Inside the case start/0 of the switch on
switch_detection_regression.m:032: TextAlign:
switch_detection_regression.m:032: disjunction has more than one disjunct
switch_detection_regression.m:032: with solutions.
switch_detection_regression.m:041:
switch_detection_regression.m:041: This later disjunct may have a solution.
switch_detection_regression.m:038:
switch_detection_regression.m:038: Unification of `Dir' and
switch_detection_regression.m:038: `switch_detection_regression.ltr' can
switch_detection_regression.m:038: fail.
switch_detection_regression.m:040:
switch_detection_regression.m:040: Unification of `Dir' and
switch_detection_regression.m:040: `switch_detection_regression.rtl' can
switch_detection_regression.m:040: fail.

Date Modified	Username	Field	Change
Issue History
2025-11-20 17:16	wangp	New Issue
2025-11-20 17:16	wangp	File Added: switch_detection_regression.m
2025-11-20 20:06	zs	Assigned To	=> zs
2025-11-20 20:06	zs	Status	new => assigned

Relationships

Notes
There are no notes attached to this issue.