Re: poll: polymorphic let bindings in do

[Lennart Augustsson]

Koen Claessen wrote:

> which you want to depend on a few state variables or
> something, then I do the following:
>
>   funWrapper y = runST computation
>     where
>       computation =
>         do var <- newSTRef []
>            let fun x = .. var .. x ..
>            fun y

Where is the polymorphism?  If you're only using fun once in its
scope you can't really be relying on any polymorphism.

--

        -- Lennart