fix #show regression in 4.14

ocaml · Dec 29, 2021 · 4c71eed · 4c71eed
1 parent 2a6df5e
commit 4c71eed
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -148,6 +148,9 @@ OCaml 4.14.0
 
 ### Tools:
 
+- #10839: Fix regression of #show when printing class type
+  (Élie Brami, review by X)
+
 - #3959, #7202, #10476: ocaml, in script mode, directive errors
   (`#use "missing_file";;`) use stderr and exit with an error.
   (Florian Angeletti, review by Gabriel Scherer)

diff --git a/typing/signature_group.ml b/typing/signature_group.ml
@@ -49,13 +49,15 @@ let next_group = function
                declarations of class type [c], and types [c] and [#c] *)
             begin match q with
             | ct::t::ht::q -> [ct;t;ht], q
+            | t::q -> [t], q
             | _ -> assert false
             end
         | Types.Sig_class_type _  ->
             (* a class type declaration for [ct] is followed by the ghost
                declarations of types [ct] and [#ct] *)
            begin match q with
             | t::ht::q -> [t;ht], q
+            | [] -> [], q
             | _ -> assert false
            end
         | Types.(Sig_module _ | Sig_value _ | Sig_type _ | Sig_typext _