Am Donnerstag, 31. März 2005 15:30 schrieb Pierre Barbier de Reuille:
> Just to be able to understand this small thread, does someone have any
> pointer explaining (with examples ?) what exactly is this "forall"
> extension to haskell ?
>
> Thanks,
The GHC user's guide, section 7.4 says something
On Mar 31, 2005 7:56 PM, Mark Goldman <[EMAIL PROTECTED]> wrote:
> I am using ghci to learn Haskell. My question is it possible to
> assign an object that contains state (for lack of knowing the proper
> terminology) so a variable or some such from the interactive prompt.
>
> More concretely I wo
I am using ghci to learn Haskell. My question is it possible to
assign an object that contains state (for lack of knowing the proper
terminology) so a variable or some such from the interactive prompt.
More concretely I would like to do something like this non-working code snippet:
System.Random
Niklas Broberg <[EMAIL PROTECTED]> writes:
> I've just started experimenting with the new Cabal system, and I must
> say it's really sweet. Thanks a lot to all involved!
Yay!
> After trying it on some simple tasks I have collected a few questions:
>
> * What about 'setup uninstall'? Surely there
Just to be able to understand this small thread, does someone have any
pointer explaining (with examples ?) what exactly is this "forall"
extension to haskell ?
Thanks,
--
Pierre Barbier de Reuille
INRA - UMR Cirad/Inra/Cnrs/Univ.MontpellierII AMAP
Botanique et Bio-informatique de l'Architecture
> > -- Explicitly recursive continuation type
> > data C t a = forall t2 . C (C t2 a -> IO t a)
>
> If you write
>
> data C t a = C (forall t2 . C t2 a -> IO' t a),
>
> it will compile (versions 6.2.2, 6.4). Whether that'll do exactly what you
> want, I don't know :-(
Actually, I think it does.
I've just started experimenting with the new Cabal system, and I must
say it's really sweet. Thanks a lot to all involved!
After trying it on some simple tasks I have collected a few questions:
* What about 'setup uninstall'? Surely there should be an automatic
way of uninstalling packages and ex