Commit d5a73c70 authored by Andrei Paskevich's avatar Andrei Paskevich

avoid t2tb(tb2t(...)) in encoding_bridge

parent 437d61c7
......@@ -138,7 +138,9 @@ let conv_arg tenv t aty =
try
(* polymorph specials t2tb *)
let tylconv = Hty.find tenv.specials tty in
t_app tylconv.t2tb [t] tylconv.tb
match t.t_node with
| Tapp (fs,[t']) when ls_equal fs tylconv.tb2t -> t'
| _ -> t_app tylconv.t2tb [t] tylconv.tb
with Not_found ->
(* polymorph not specials *)
t
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment