2024-07-15 09:29 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000040mercuryBugpublic2010-02-02 16:23
Assigned To 
Product Version 
Target VersionFixed in Version 
Summary0000040: RTTI looks for the name of a solver value return repn. type name
Descriptiontype_name(type_of(X)) where X is a solver type returns the name of the representation type
not the solver type itself. This will occurs even if the solver type is imported from another

The attached test case demonstrates this problem.
TagsNo tags attached.
Attached Files




juliensf (administrator)

Last edited: 2008-02-03 16:45

I think this is occurring because the implementation of type_of/1 calls MR_collapse_equivalences
and (for some reason) solver types are being treated as equivalences in this respect.

Unfortunately, there is nothing in the current RTTI data structures that would allow us
to distinguish that a type_info is for a solver type and avoid collapsing the equivalences.
(Actually, for solver types and solver type equivalences you would need to collapse equivalences,
but only as far back as the last solver type.)

In order to fix this I think we will need to add something to type_infos that distinguishes solver
types from non-solver types.


-Issue History
Date Modified Username Field Change
2008-02-01 15:15 juliensf New Issue
2008-02-01 15:15 juliensf File Added: solver_type_name.m
2008-02-01 17:24 juliensf Note Added: 0000073
2008-02-03 16:45 juliensf Note Edited: 0000073
2010-02-02 16:23 juliensf Status new => confirmed
+Issue History