Browse thread
Transforming of ASTs and polymorphic variants
-
Joel Reymont
- Joel Reymont
-
skaller
- Joel Reymont
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-25 (05:59) |
From: | Joel Reymont <joelr1@g...> |
Subject: | Re: [Caml-list] Transforming of ASTs and polymorphic variants |
John, > let conv_type x = (x : A.typ :> B.ty) > > will also work in this case. Thanks for the tip! Can you explain the following expression? (x : A.typ :> B.ty) Where can I find more on :>? Thanks, Joel -- http://wagerlabs.com/