Skip to content

Commit

Permalink
Only check ocamlobjinfo output when runtime5 is enabled (#2761)
Browse files Browse the repository at this point in the history
Fixes a test failure that originated with PR #2737.
  • Loading branch information
lukemaurer authored Jul 5, 2024
1 parent 05b33d4 commit 4075e46
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 5 deletions.
1 change: 1 addition & 0 deletions ocaml/testsuite/tests/tool-ocamlobjinfo/question.ml
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
program = "-no-code question.cmx";
ocamlobjinfo;
runtime5;
check-program-output;
}{
program = "question.cmx";
Expand Down
10 changes: 5 additions & 5 deletions ocaml/testsuite/tests/tool-ocamlobjinfo/question.reference
Original file line number Diff line number Diff line change
Expand Up @@ -38,27 +38,27 @@ Original unit: Question
Typing env:
((defined_symbols_without_equations ())
(code_age_relation
{(camlQuestion__answer_0_1_code camlQuestion__answer_0_0_code)})
{(camlQuestion.answer_0_1_code camlQuestion.answer_0_0_code)})
(type_equations
{(Question.camlQuestion
(Val
(Variant
(blocks
((alloc_mode Heap) (known
{(tag_0 => (Known 1), ((Val (= Question.camlQuestion__answer_1))))})
{(tag_0 => (Known 1), ((Val (= Question.camlQuestion.answer_1))))})
(other Bottom))) (tagged_imms (Naked_immediate ⊥)))))
(Question.camlQuestion__answer_1
(Question.camlQuestion.answer_1
(Val
((alloc_mode Heap) (known
{((answer/0 ∷ 𝕍)
=> (Known ((closures { (answer/0 ∷ 𝕍) }) (value_slots { }))),
((function_types
{((answer/0 ∷ 𝕍)
(Ok (function_type (code_id camlQuestion__answer_0_1_code)
(Ok (function_type (code_id camlQuestion.answer_0_1_code)
(rec_info (Rec_info 0)))))})
(closure_types
((function_slot_components_by_index
{((answer/0 ∷ 𝕍) (Val (= Question.camlQuestion__answer_1)))})))
{((answer/0 ∷ 𝕍) (Val (= Question.camlQuestion.answer_1)))})))
(value_slot_types ((value_slot_components_by_index {})))))})
(other Bottom))))})
(aliases
Expand Down

0 comments on commit 4075e46

Please sign in to comment.