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: | 2009-05-05 (15:45) |
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