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
Private type syntax and error message
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-09-12 (14:04)
From: Jon Harrop <jonathandeanharrop@g...>
Subject: Re: [Caml-list] Private type syntax and error message
On Friday 12 September 2008 14:43:19 Colonna Francois wrote:
> Hello,
> if, as I found in the documentation, I write :
> # type my_int = private int;;

Where does that appear in the documentation? Google returns zero hits...

> I get the message : "This fixed type is not an object or variant"
> 1. The message is very obscure

How would you write it more clearly?

> 2. why this syntax is not implemented as it should be ?

What do you expect it to do that might work? If it created an abstract type 
the type would be useless, having no way to construct or destructure values 
of that type...

Dr Jon Harrop, Flying Frog Consultancy Ltd.