|
r := (loop (fun e -> mk (TBinop(OpAssign,mk (TLocal v) v.v_type e.epos,e)) v.v_type e.epos) e)
|
|
r := (loop (fun e -> mk (TBinop(OpAssign,mk (TLocal v) v.v_type e.epos,e)) v.v_type e.epos) e)
|
|
:: ((mk (TVar (v,None)) com.basic.tvoid e.epos))
|
|
:: ((mk (TVar (v,None)) com.basic.tvoid e.epos))
|