blob: 1a533cac91d813c524946d0b3e692f5e3c0351c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST
expect;
*)
class test a c =
object
method b = c
end
[%%expect{|
Lines 1-4, characters 0-3:
1 | class test a c =
2 | object
3 | method b = c
4 | end
Error: Some type variables are unbound in this type:
class test : 'a -> 'b -> object method b : 'b end
The method b has type 'b where 'b is unbound
|}]
|