Version française
Home     About     Download     Resources     Contact us    
Browse thread
A small question on polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Le Normand <rathereasy@g...>
Subject: A small question on polymorphic variants
hello list,
here's a small question:
let a be a polymorphic variant type of the form  ([`C1 of t1 | `C2 of t2 |
.. | `Cn of tn] as 'a)
let b be a polymorphic variant type of the form ([`C1 of t1['b/'a] | `C2 of
t2['b/'a] | ... | `Cn of tn['b/'a] | Cp of tp] as 'b)
where ['b/'a] represents substitution. In other words, b has one more
constructor than a. Is a always a subtype of b?
--Jacques L.