Mercury Bugs - mercury
View Issue Details
0000214mercuryBugpublic2011-09-02 03:412016-06-30 17:32
Assigned Tojuliensf 
PlatformOSOS Version
Product Version 
Target Version15.11Fixed in Version 
Summary0000214: confusing type error
DescriptionThe attached model produces the following type error:

    bug.m:036: In predicate `solve_mip_cg'/2:
    bug.m:036: type error: unsatisfied typeclass constraint:
    bug.m:036: `bug.linear_expr(int, V_15, int)'
    bug.m:036: The constraint is due to:

But no constraints are listed; also the type error produced is incidental to the actual error.
TagsNo tags attached.
Attached Files? bug.m (4,718) 2011-09-02 03:41

2016-06-30 17:32   
Fixed in commit ced4134. (We could still do a better job of localising the error though.)

Issue History
2011-09-02 03:41juliensfNew Issue
2011-09-02 03:41juliensfFile Added: bug.m
2015-10-31 20:52juliensfTarget Version => 15.11
2016-06-30 17:32juliensfNote Added: 0000890
2016-06-30 17:32juliensfStatusnew => resolved
2016-06-30 17:32juliensfResolutionopen => fixed
2016-06-30 17:32juliensfAssigned To => juliensf