| 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 | ||||
| Reporter | juliensf | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| 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. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 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. |
| 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 |