Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000021mercuryBugpublic2007-10-22 14:542007-11-01 02:05
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000021: equivalences for solver types lead to badly typed initialisation predicates
DescriptionThe attached code fragment exhibits a bug with solver types and
equivalence types that causes the compiler to report that an
initialisation predicate is badly typed. (The fragment compiles
without error if the equivalence type definition is commented out.)

(At a cursory glance, it looks like expansion of equivalence types is
not happening somewhere.)
TagsNo tags attached.
Relationships
Attached Files? fz_conf.m (945) 2007-10-22 14:54
https://bugs.mercurylang.org/file_download.php?file_id=14&type=bug

Notes
(0000045)
juliensf   
2007-11-01 02:04   
Support for automatic initialisation of solver types has been removed so, in a sense, this bug
can no longer occur.

The actual bug has also been fixed in the developer-only support for solver initialisation.

See the log message of r1.195 of compiler/unify_proc.m for details.

Issue History
Date ModifiedUsernameFieldChange
2007-10-22 14:54juliensfNew Issue
2007-10-22 14:54juliensfFile Added: fz_conf.m
2007-11-01 02:04juliensfStatusnew => resolved
2007-11-01 02:04juliensfResolutionopen => fixed
2007-11-01 02:04juliensfAssigned To => juliensf
2007-11-01 02:04juliensfNote Added: 0000045