Explorar el Código

fix `encode_type` too

Simon Krajewski hace 5 años
padre
commit
64e2fa1d9e
Se han modificado 1 ficheros con 2 adiciones y 0 borrados
  1. 2 0
      src/macro/macroApi.ml

+ 2 - 0
src/macro/macroApi.ml

@@ -1081,6 +1081,8 @@ and encode_type t =
 			6, [vnull]
 			6, [vnull]
 		| TLazy f ->
 		| TLazy f ->
 			loop (lazy_type f)
 			loop (lazy_type f)
+		| TAbstract ({a_path=([],"Dynamic")},[t]) ->
+			6, [encode_type t]
 		| TAbstract (a, pl) ->
 		| TAbstract (a, pl) ->
 			8, [encode_abref a; encode_tparams pl]
 			8, [encode_abref a; encode_tparams pl]
 	in
 	in