Hi,
I have a set whose elements are pairs, and I want to use a comparison
function on the first element of the pair in the set operation. For example,
val e1 = ``(0x1w:word32, 4:num)``;
val e2 = ``(0x1w:word32, 8:num)``;
val s1 = mk_insert(e2, mk_insert(e1,``{}:(word32#num) set``))
when I use SIMP_CONV (std_ss++PRED_SET_ss) [] s1, I want to get
something like:
{(0x1w,8); (0x1w,4)} = {(0x1w,x)}
where x is either 8 or 4, since I don't care about it.
But now, I can only get:
Exception- UNCHANGED raised
How can I do this?
Thanks.
Lu
------------------------------------------------------------------------------
Benefiting from Server Virtualization: Beyond Initial Workload
Consolidation -- Increasing the use of server virtualization is a top
priority.Virtualization can reduce costs, simplify management, and improve
application availability and disaster protection. Learn more about boosting
the value of server virtualization. http://p.sf.net/sfu/vmware-sfdev2dev
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
