Version française
Home     About     Download     Resources     Contact us    
Browse thread
Fine-grained types with more general library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Bünzli_Daniel <daniel.buenzli@e...>
Subject: Re: [Caml-list] Fine-grained types with more general library

Le 10 févr. 08 à 20:15, Edgar Friendly a écrit :

> type 'a path = string list
> type remote_t = `Remote path
> type local_t = `Local path

Yes, but make sure that the type path is abstract or private otherwise  
it won't work.

Daniel