Browse thread
Upgrading sexplib-2.7.0 to camlp4 3.10
[
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-30 (14:07) |
From: | Joel Reymont <joelr1@g...> |
Subject: | Re: Upgrading sexplib-2.7.0 to camlp4 3.10 |
On Apr 30, 2007, at 3:01 PM, Nicolas Pouillard wrote: > So you have to take the case <:ctyp< $id:i$ >> and then play with `i' > that is an ident and can be matched with <:ident< ... >> It looks like this is being taken care of by the first pattern. It also looks like the second pattern is matching a list type (in the old camlp4). Does this sound correct? let rec tp_path = function | <:ctyp< $lid:id$ >> | <:ctyp< $uid:id$ >> -> [id] | <:ctyp< $tp1$ . $tp2$ >> -> (match tp_path tp2 with [n] -> n | _ -> assert false) :: tp_path tp1 | _ -> invalid_arg "tp_path" Thanks, Joel -- http://wagerlabs.com/