!include once #1034831 // Gazelle 22 Function Include for Testing

scope test_leftArrowScript_antiComma

svoid test_leftArrowScript_antiComma() {

  new TestFunctionValues<S, O>(l1 leftArrowVerbose)

    // basic use: ll < plus 1 2 = ll (plus 1 2)

    .io([[ ll < plus 1 2 ]], ll(3))

    // comma binds weaker on the right of an anti-comma

    .io([[ ll < ll 5 6, size ]], ll(2))

    // not decided yet if it does the same on the LHS

    //.io([[ l, ll < 5 ]], ll(-3))

    // "new" combined with "<" (the anti-comma)

    .io([[ v <- new Var < new Pair

           v get ]], pair(null, null))

    .run();

}