Version française
Home     About     Download     Resources     Contact us    
Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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