2024-12-10 10:26 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000021mercuryBugpublic2007-11-01 02:05
Reporterjuliensf 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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.
Attached Files

-Relationships
+Relationships

-Notes

~0000045

juliensf (administrator)

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.
+Notes

-Issue History
Date Modified Username Field Change
2007-10-22 14:54 juliensf New Issue
2007-10-22 14:54 juliensf File Added: fz_conf.m
2007-11-01 02:04 juliensf Status new => resolved
2007-11-01 02:04 juliensf Resolution open => fixed
2007-11-01 02:04 juliensf Assigned To => juliensf
2007-11-01 02:04 juliensf Note Added: 0000045
+Issue History