Commit a85c6c98 authored by Andrei Paskevich's avatar Andrei Paskevich

Mlw_ty: fix cloning with alias types

parent a3109482
......@@ -506,10 +506,10 @@ let its_clone sm =
| Ityapp (its,tl,rl) ->
let tl = conv_ity tl in
let rl = conv_reg rl in
ity_app_unsafe (conv_its its) tl rl
ity_app (conv_its its) tl rl
| Itypur (ts,tl) ->
let tl = conv_ity tl in
ity_pur_unsafe (conv_ts ts) tl
ity_pur (conv_ts ts) tl
| Ityvar _ -> ity
and conv_its its =
try Hits.find itsh its with Not_found ->
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment