Source

mutated_ocaml / testsuite / tests / typing-private-bugs / pr5026_bad.ml

Diff from to

testsuite/tests/typing-private-bugs/pr5026_bad.ml

 type -'typing wrapped = private sexp
 and +'a t = 'a typed wrapped
 and sexp = private untyped wrapped;;
-class type ['a] s3 = object 
+class type ['a] s3 = object
   val underlying : 'a t
 end;;
 class ['a] s3object r : ['a] s3 = object