I'll answer my own question; I've got a much better implementation, along
with an HOpenGL-based frontend, at
"http://ofb.net/~abe/hlife/hlife-0.1.tar.gz";. It uses a FiniteMap of 5x5
UArrays that are created and destroyed as needed; this gives it a good
balance of size (the grid is only bounded by
QuickCheck is in de "util" package. You can load a package with the
-package flag:
$ ghci -package util
Prelude> :browse QuickCheck
class Arbitrary a where {
arbitrary :: Gen a; coarbitrary :: forall b. a -> Gen b -> Gen b; }
arbitrary :: forall a. (Arbitrary a) => Gen a
...
Prelude>:module Q
hi,
sorry for moving this back to the haskell mailing list, but i think the
module system is part of the language and is not a library.
Simon Marlow wrote:
[ moved to [EMAIL PROTECTED] ]
why not fix the design to take this into account? one can
have two ways
to refer to modules - relative a
[EMAIL PROTECTED] (Norman Ramsey) writes:
> Can anyone help me figure out how to load QuickCheck into GHCI?
> QuickCheck is included in my Debian package, but my attempts
> at loading it are bootless:
>
> Prelude> :load QuickCheck
> Any advice, anyone?
You need to load a source file that imports
Can anyone help me figure out how to load QuickCheck into GHCI?
QuickCheck is included in my Debian package, but my attempts
at loading it are bootless:
Prelude> :load QuickCheck
can't find module `QuickCheck'
Prelude> :load util/QuickCheck
can't find module `util/QuickCheck'
Prelude> :info
syntax
==
The (Interactive) Glasgow Haskell Compiler -- version 5.04.3
==
We are pleased to announce a new patchlevel release of the Glasgow
Haskell Compiler (GHC), version 5
--
We apologize if you receive multiple copies of this announcement.
--
***
Dear all,
We are proud to announce version 1.1 of Helium. It can
be found at the Helium website:
http://www.cs.uu.nl/~afie/helium/
Version 1.1 has the following improvements:
- An installer for Windows systems for an improved out-of-
the-box experience.
- A cool Java-based graphical inter
| | > type State = Term a => [a]
| | > data M a = M (State -> IO(State,a))
| |
| | GHC yields a error message "Illegal polymorphic type".
| | How to resolve this?
I can tell you what it happening. If you have -fglasgow-exts on, the
type
for State is short for
type State = forall a.