Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] syntax of private constructors in CVS version
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: brogoff@s...
Subject: Re: [Caml-list] syntax of private constructors in CVS version
Yup, private also doesn't work with tuples.

Private only works with new record types and sum types that you declared. 
Think about it. What would it mean to declare some set of polymorphic variant 
tags as "private"? 

As Jacques Garrigue said in another message, polymorphic variants are somewhat  
inimical to abstract types, and private doesn't make much sense without type 
abstraction. Since one needn't predeclare variant tags or qualify them with 
module paths, it makes sense that private doesn't apply. 

-- Brian



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners