summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects/pr5858.ml
blob: a7f0bf84b32c7176046a31b03e29018f3a89c07d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* TEST
   * expect
*)

class type c = object end;;
[%%expect{|
class type c = object  end
|}]

module type S = sig class c: c end;;
[%%expect{|
Line 1, characters 29-30:
1 | module type S = sig class c: c end;;
                                 ^
Error: The class type c is not yet completely defined
|}]