diff --git a/testsuite/tests/tool-ocamlobjinfo/question.reference b/testsuite/tests/tool-ocamlobjinfo/question.reference index 115b5226922..dcc16863088 100644 --- a/testsuite/tests/tool-ocamlobjinfo/question.reference +++ b/testsuite/tests/tool-ocamlobjinfo/question.reference @@ -42,25 +42,26 @@ Typing env: (type_equations {(Question.camlQuestion (Val - (Variant - (blocks - ((alloc_mode Heap) (known - {(tag_0 => (Known 1), ((Val (= Question.camlQuestion__answer_1))))}) - (other Bottom))) (tagged_imms (Naked_immediate ⊥))))) + ( ((Variant + (blocks + ((alloc_mode Heap) (known + {(tag_0 => (Known 1), + ((Val ((= Question.camlQuestion__answer_1)))))}) (other Bottom))) + (tagged_imms (Naked_immediate ⊥))))!))) (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) - (rec_info (Rec_info 0)))))}) - (closure_types - ((function_slot_components_by_index - {((answer/0 ∷ 𝕍) (Val (= Question.camlQuestion__answer_1)))}))) - (value_slot_types ((value_slot_components_by_index {})))))}) - (other Bottom))))}) + ( (((alloc_mode Heap) (known + {((answer/0 ∷ 𝕍) + => (Known ((closures { (answer/0 ∷ 𝕍) }) (value_slots { }))), + ((function_types + {((answer/0 ∷ 𝕍) + ((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))))}))) + (value_slot_types ((value_slot_components_by_index {})))))}) + (other Bottom)))!)))}) (aliases ((canonical_elements {}) (aliases_of_canonical_names {}) (aliases_of_consts {}))))