blob: 6fa0162a862685d96f5c8b01a0082f8cdc59edd7 (
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
|}]
|
