!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();
  
}