Browse thread
Polymorphic recursion
[
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: | -- (:) |
| From: | skaller <skaller@u...> |
| Subject: | Re: [Caml-list] Polymorphic recursion |
On Wed, 2007-04-04 at 11:27 +1000, skaller wrote: > Why not: > > let fun rec size : 'a . 'a seq -> int = > | Unit -> 0 > | Seq(_,b) -> 1 + 2 * (size b) > > with a nice camlp4 example for people by nicolas.pouillard@gmail.com ? Opps .. should be let rec fun .. and fun .. and .. in let fun .. and .. that is, the 'fun' should come after the 'rec' keyword if present. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net