|
@@ -1239,7 +1239,7 @@ module HxbWriter = struct
|
|
| None ->
|
|
| None ->
|
|
Chunk.write_u8 writer.chunk 0;
|
|
Chunk.write_u8 writer.chunk 0;
|
|
write_tmono_ref writer r;
|
|
write_tmono_ref writer r;
|
|
- | Some t ->
|
|
|
|
|
|
+ | Some t ->
|
|
(* Don't write bound monomorphs, write underlying type directly *)
|
|
(* Don't write bound monomorphs, write underlying type directly *)
|
|
write_type_instance writer t
|
|
write_type_instance writer t
|
|
end
|
|
end
|