Warning: session_start(): open(/var/lib/php/sessions/sess_1he3r0e2glc8f6gh0nfan04qmm, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid test_compiledLeftArrowScript() { embedded S countLoop(int n) { ret [[ i <- 0; while lessThan i ]] + n + [[ { i <- plus i 1 }; i ]]; } embedded void testScript(S script, O expectedValue) { IF0FromByteCode makeIF0 = leftArrowScriptToIF0(leftArrowParse(script)); makeIF0.printDisassembly(true); print(+script); assertEqualsVerbose(expectedValue, makeIF0!!); } // int primitive testScript([[ 5 ]], 5); testScript([[ -5 ]], -5); // double primitive testScript([[ str 1.5e2 ]], "150.0"); // new object with constructor arguments testScript([[ new Pair "hello" "world" ]], pair("hello", "world")); testScript(countLoop(5), 5); }