The list of constraints in section 3.6.3 is not quite right. Two fields in two legs having the same name must not only have the same bit position. They must have the same TYPE!
I suspect this error is present in the implementation as well (?) -- Jonathan S. Shapiro, Ph.D. Managing Director The EROS Group, LLC _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
