|View Issue Details [ Jump to Notes ]||[ Issue History ] [ Print ]|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000021||mercury||Bug||public||2007-10-22 14:54||2007-11-01 02:05|
|Target Version||Fixed in Version|
|Summary||0000021: equivalences for solver types lead to badly typed initialisation predicates|
|Description||The 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.)
|Tags||No tags attached.|
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.
|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|