On 14/04/11 08:35, Lu Zhao wrote:
> 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.
This is impossible. The cardinality of the set on the left is 2, the
cardinality of the set on the right is 1. You could trivially derive a
contradiction if the equation above was a theorem. Perhaps you want to use the finite-map type to encode a lookup structure of some sort. Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ 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
