Skip to content

Commit 588a324

Browse files
stedolanmshinwell
authored andcommitted
Bugfix for primitive inclusion (#662)
1 parent f51d623 commit 588a324

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ocaml/typing/includecore.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ let primitive_descriptions pd1 pd2 =
5959
Some (No_alloc First)
6060
else if pd1.prim_alloc && (not pd2.prim_alloc) then
6161
Some (No_alloc Second)
62-
else if pd1.prim_c_builtin && pd2.prim_c_builtin then
62+
else if not (Bool.equal pd1.prim_c_builtin pd2.prim_c_builtin) then
6363
Some Builtin
6464
else if not (Primitive.equal_effects pd1.prim_effects pd2.prim_effects) then
6565
Some Effects

0 commit comments

Comments
 (0)