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] References to polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: nickgrey@s...
Subject: [Caml-list] References to polymorphic variants

I want to be able to store an arbitrary polymorphic variant in a reference: 

let (x : ([> ] option) ref ) = ref None ;; 

(Not my actual code, I've boiled it down to a minimal example.) 

This won't compile because it "contains a type variable which cannot be 
generalized".  I understand this error message in other contexts.  If my 
code were 

let x = ref None 

then I could break type safety by putting (Some 1) into the reference, and 
later reading the reference with type (string option) thus casting a string 
to an int. 

But as I'm dealing with a polymorphic variant, surely this should not apply. 
My understanding of polymorphic variants is that you do not need to specify 
at the time of declaration what types it might contain. 

So, what am I doing wrong and how can I get around it? 


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