// Ġ! WITH _ NEW _ IN FER ENCE Ċ fun Ġfoo ( x : ĠInt ) Ġ= Ġx Ċ Ċ fun Ġtest 0 ( flag : ĠBoolean ) Ġ{ ĊĠĠĠ Ġfoo ( <! NI ; TYPE _ MIS MATCH !> if Ġ( flag ) Ġ<! OI ; CONSTANT _ EXPECTED _ TYPE _ MIS MATCH !> true <! > Ġelse Ġ<! OI ; TYPE _ MIS MATCH !> "" <! >< ! >) Ċ } Ċ Ċ fun Ġtest 1 ( flag : ĠBoolean ) Ġ{ ĊĠĠĠ Ġfoo ( <! NI ; TYPE _ MIS MATCH !> when Ġ( flag ) Ġ{ ĊĠĠĠĠĠĠĠ Ġtrue Ġ-> Ġ<! OI ; CONSTANT _ EXPECTED _ TYPE _ MIS MATCH !> true <! > ĊĠĠĠĠĠĠĠ Ġelse Ġ-> Ġ<! OI ; TYPE _ MIS MATCH !> "" <! > ĊĠĠĠ Ġ} <! >) Ċ } Ċ