This is the root directory for functional-programming tools
distributed by the Computing Science Department at Glasgow University.
Simon Peyton Jones <simonpj@microsoft.com> is the ringleader of this
effort. The tools are:
ghc the Glasgow Haskell compilation system
hslibs collection of Haskell libraries
haggis the Haggis GUI toolkit
happy the Happy Haskell parser generator
hdirect Haskell interop tool
green-card a foreign function interface pre-processor for Haskell.
nofib the NoFib Haskell benchmarking suite
literate the Glasgow "literate programming" system
glafp-utils shared utility programs
mk GNU make setup used by all of fptools
docs documentation on the installing and using
the fptools suite.
Components which are always part of a distribution (never stand-alone)
are "glafp-utils" and "mk" (a configuration system).
Quick start: the following is *supposed* to work
$ ./configure
$ make boot
$ make
$ make install
where 'make' is whatever GNU make is called on your system. The
configuration script is a standard GNU autoconf script which accepts
all the normal arguments, eg. --prefix=<blah> to install the package
somewhere other than /usr/local. Try ./configure --help to get a full
list of the options.
There is usually an ANNOUNCE* file with any distribution. Please
consult that, or the <piece>/README file, to find out how to proceed.
Forked from
Glasgow Haskell Compiler / GHC
63749 commits behind the upstream repository.
Simon Peyton Jones
authored
Improve the error messages given when a definition isn't polymorphic enough.
In paticular, for this program:
let v = runST (newSTRef True)
in
runST (readSTRef v)
we get the message
Inferred type is less polymorphic than expected
Quantified type variable `s' escapes
It is reachable from the type variable(s) `a'
which are free in the signature
Signature type: forall s. ST s a
Type to generalise: ST s (STRef s Bool)
When checking an expression type signature
In the first argument of `runST', namely `(newSTRef True)'
In the right-hand side of a pattern binding: runST (newSTRef True)| Name | Last commit | Last update |
|---|---|---|
| distrib | ||
| docs | ||
| ghc | ||
| glafp-utils | ||
| mk | ||
| .darcs-boring | ||
| Makefile | ||
| Makefile.config | ||
| README | ||
| acconfig.h | ||
| aclocal.m4 | ||
| config.guess | ||
| config.sub | ||
| configure.in | ||
| install-sh |