Browse thread
functions' recursive construction
[
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: | Lukasz Stafiniak <lukstafi@g...> |
| Subject: | Re: [Caml-list] functions' recursive construction |
On 5/23/07, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
> On 5/23/07, Jon Harrop <jon@ffconsultancy.com> wrote:
> > What would the type of "f" be?
> >
> 'a -> 'a as 'a
>
I'm sorry, I meant:
# val f : int -> ('a -> 'a as 'a) = <fun>