2024-07-16 02:00 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000214mercuryBugpublic2016-06-30 17:32
Assigned Tojuliensf 
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
  • ? file icon bug.m (4,718 bytes) 2011-09-02 03:41




juliensf (administrator)

Fixed in commit ced4134. (We could still do a better job of localising the error though.)

-Issue History
Date Modified Username Field Change
2011-09-02 03:41 juliensf New Issue
2011-09-02 03:41 juliensf File Added: bug.m
2015-10-31 20:52 juliensf Target Version => 15.11
2016-06-30 17:32 juliensf Note Added: 0000890
2016-06-30 17:32 juliensf Status new => resolved
2016-06-30 17:32 juliensf Resolution open => fixed
2016-06-30 17:32 juliensf Assigned To => juliensf
+Issue History