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] type constructor escape its scope
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Basile STARYNKEVITCH <basile.starynkevitch@c...>
Subject: [Caml-list] type constructor escape its scope
Hello List,

[[I'm a bit sick today so brain is badly working... probably a trivial
question I would be ashamed to ask on normal days.. sorry...]]

I compile a selfcontained camlp4 stuff.

You can get it from

It is the file in PoesiaSoft/PoesiaMonIcap/ revision
1.3 under CVS on

I've got when compiling with  
  ocamlc -pp "camlp4o pa_extend.cmo" -I +camlp4 -I . -c 
the strange message 

File "", line 60, characters 7-41:
This expression has type definition_t but is here used with type 'a
The type constructor definition_t would escape its scope

However, definition_t is a type defined in line 37 of the same file

any clues?


N.B. Any opinions expressed here are only mine, and not of my organization.
N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA.

Basile STARYNKEVITCH   ----  Commissariat à l Energie Atomique * France
DRT/LIST/DTSI/SLA * CEA/Saclay b.528 (p111f) * 91191 GIF/YVETTE CEDEX 
phone:+33 1,6908.6055; fax: 1,6908.8395 home: 1,4665.4553; mobile: 6,8501.2359
work email: Basile point Starynkevitch at cea point fr 
home email: Basile at Starynkevitch point net

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: