Browse thread
- Philippe Veber
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Philippe Veber <philippe.veber@g...> |
| Subject: |
# module M :
sig class x : int -> object method m : int end end = struct class x _ =
object method m = 42 end end;;
Error: Signature mismatch:
Modules do not match:
sig class x : 'a -> object method m : int end end
is not included in
sig class x : int -> object method m : int end end
Class declarations do not match:
class x : 'a -> object method m : int end
does not match
class x : int -> object method m : int end
One parameter has type 'a but is expected to have type int