Simplify type before deciding how to free it. Hint: calling free() on a running task is usually a bad idea.
This commit is contained in:
parent
8660ce50a1
commit
3070725cce
1 changed files with 1 additions and 1 deletions
|
@ -2616,7 +2616,7 @@ let trans_visitor
|
||||||
(cell:Il.cell)
|
(cell:Il.cell)
|
||||||
(curr_iso:Ast.ty_iso option)
|
(curr_iso:Ast.ty_iso option)
|
||||||
: unit =
|
: unit =
|
||||||
match ty with
|
match simplified_ty ty with
|
||||||
Ast.TY_port _ -> trans_del_port cell
|
Ast.TY_port _ -> trans_del_port cell
|
||||||
| Ast.TY_chan _ -> trans_del_chan cell
|
| Ast.TY_chan _ -> trans_del_chan cell
|
||||||
| Ast.TY_task -> trans_kill_task cell
|
| Ast.TY_task -> trans_kill_task cell
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue