blob: 8c644ef0cd55e59b7d3a43f1ccb8712072e9de7b (
plain)
1
2
3
4
5
6
7
8
9
10
|
File "pr4824a_bad.ml", line 10, characters 2-45:
10 | struct class c x = object val x = x end end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Signature mismatch:
...
Class declarations do not match:
class c : 'a -> object val x : 'a end
does not match
class c : 'a -> object val x : 'b end
The instance variable x has type 'a but is expected to have type 'b
|
