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
[Caml-list] Constraint
[ 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] Constraint
"Warp" <> writes:

> Hi
> I had a quite big parametrized class and it takes me few hours to figure out
> where a constraint I didn't want was occuring. It's true that I'm not very
> familiar with constraints, but I think it would be nice to enable the OCaml
> compiler to print some more informations about where the constraint occurs
> in the code ( a simple line number will be enough. ) I don't know if that
> can be done, but i think that would be somehow useful.

There is a possibility to find such error. Here an example :

class type foo =
  method baz : int

class ['a] bar (f : 'a) =
  method buz = (f #baaz) + 1

here, I've done a mistake in the name of the method baz (writing it

I can temporally transform my code in :

class ['a] bar (f : 'a) =
  constraint 'a = foo

  method buz = (f #baaz) + 1

then, I will have a type error (no method baaz).

of course it's not a clean method, but it work.
Rémi Vanicat
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: