Mercury Bugs - mercury | ||||||||||
| View Issue Details | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||
| 0000310 | mercury | Bug | public | 2014-01-22 12:33 | 2014-02-21 17:04 | |||||
| Reporter | bwitkowski | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Assigned To | juliensf | |||||||||
| Priority | normal | Severity | crash | Reproducibility | always | |||||
| Status | closed | Resolution | duplicate | |||||||
| Platform | Linux | OS | Debian | OS Version | wheezy (7.0) | |||||
| Product Version | ||||||||||
| Target Version | Fixed in Version | |||||||||
| Summary | 0000310: The compiler crashes when using existentially typed data types along with instantization states. | |||||||||
| Description | When using existentially typed data types and instance declarations a predicates will fail to compile ("mode error in unification of `HeadVar__1'...") full error message below. | |||||||||
| Steps To Reproduce | $ mmc --version Mercury Compiler, version 13.05.2, configured for x86_64-unknown-linux-gnu Copyright (C) 1993-2013 The University of Melbourne $ mmc -E scheme.m scheme.m:026: In clause for `on_lisp_val(in((scheme.lisp_val)))': scheme.m:026: in argument 1 of clause head: scheme.m:026: mode error in unification of `HeadVar__1' and scheme.m:026: `scheme.lisp_function(TypeClassInfo_for_store, V_3, V_4)'. scheme.m:026: Variable `HeadVar__1' has instantiatedness scheme.m:026: `bound(scheme.lisp_atom(ground) ; scheme.lisp_function(ground, scheme.m:026: ground))', scheme.m:026: term `scheme.lisp_function(TypeClassInfo_for_store, V_3, V_4)' scheme.m:026: has instantiatedness `scheme.lisp_function( scheme.m:026: free, scheme.m:026: free, scheme.m:026: free scheme.m:026: )'. | |||||||||
| Tags | No tags attached. | |||||||||
| Relationships |
| |||||||||
| Attached Files |  scheme.m (717) 2014-01-22 12:33https://bugs.mercurylang.org/file_download.php?file_id=190&type=bug | |||||||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2014-01-22 12:33 | bwitkowski | New Issue | |||
| 2014-01-22 12:33 | bwitkowski | File Added: scheme.m | |||
| 2014-02-21 17:04 | juliensf | Note Added: 0000649 | |||
| 2014-02-21 17:04 | juliensf | Status | new => closed | ||
| 2014-02-21 17:04 | juliensf | Assigned To | => juliensf | ||
| 2014-02-21 17:04 | juliensf | Resolution | open => duplicate | ||
| 2014-02-21 17:04 | juliensf | Relationship added | duplicate of 0000089 | ||