Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] Haskell features in O'Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Remi VANICAT <vanicat@l...>
Subject: Re: [Caml-list] Haskell features in O'Caml writes:

> oops, yes you're right.  I was trying it that way:
> * create
> * compile it =>[io] file
> * now create test.mli
> * compile again
> and no error message will be issued, since test.cmi is existing, though has
> totally different signature.  This problem does also occur whenever the
> interface is changing!  There seems to be no check if interface source is
> newer than the compiled one (I'm using OCaml 3.02 @ cygwin without tk;
> Win2k, English, SP2).

You should use make for check when source file are newer than compiled

>   It gets also interesting, when you are using -i to see the signature of
> your definitions.  A correct test.mli will yield "val f : int -> int",
> however compiling the definition will yield "val f : 'a -> 'a".

it depend of what you want, int -> int is as correct as 'a -> 'a.

Rémi Vanicat
Bug reports:  FAQ:
To unsubscribe, mail  Archives: