// NO _ CHECK _ L AMBDA _ IN LIN ING Ċ fun Ġtest 1 (): ĠInt Ġ{ ĊĠĠĠ Ġreturn Ġcalc ( Ġ{ Ġl : ĠInt Ġ-> Ġ 2 * l }, Ġ Ġ{ Ġl : ĠInt Ġ-> Ġ 4 * l }) Ċ } ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġif Ġ( test 1 () Ġ!= Ġ 1 1 0 ) Ġreturn Ġ" test 1 : Ġ${ test 1 () }" ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }