TRADE 1.0 NO IDEA Avatar
  1. OMG Issue

TRADE — Hole in trader constraint language

  • Key: TRADE-11
  • Legacy Issue Number: 4336
  • Status: open  
  • Source: Triodia Technologies Pty Ltd ( Michi Henning)
  • Summary:

    We have a hole in the trader constraint language:

    interface I1 {

    { red, green }


    interface I2 {

    { green, red }


    The expression

    $.field_name == red

    is ambiguous because it's not clear which red is meant. You could argue
    that the type of the field on the left will identify what type should
    apply for the enumerator on the right. However, that doesn't solve the
    problem because

    red == red

    is a valid expression.

    Attempts to solve the problem by using a scoped name don't work:

    $.field_name == I1::red

    That's because the grammar does not allow the use of the :: operator.

  • Reported: TRADE 1.0b1 — Tue, 5 Jun 2001 04:00 GMT
  • Updated: Wed, 11 Mar 2015 04:40 GMT