I have dropped a snapshot of our current Glasgow Haskell sources on
ftp.dcs.glasgow.ac.uk, in pub/haskell/glasgow/working/, in
ghc-0.18-src.tar.gz (3MB, gzipped, probably unpacks to about 10MB).

This version, 0.18, is strictly a "hacker's release".  The attached
ghc/README file provides a few details.

I will try to drop a ghc-0.18-bin-sun4.tar.gz in the same location in
the near future.  We haven't done any porting work to speak of since
the 0.16/0.17 files, but I will drop intermediate C (.hc) files, etc.,
if people ask.

HACKERS: We *hope* to do our next public release in early December.
If you have code to be merged, could we please have it by the week of
Nov 22-26?  I would prefer complete copies of changed or new files, so
I can do the diffs myself against some known base release.

Thanks for many fine reports and comments, folks.  As usual, our
addresses are glasgow-haskell-{bugs,request}@dcs.glasgow.ac.uk.

Will Partain
assistant typist of the AQUA project

=== ghc-0.18/ghc/README ===============================================
This is version 0.18 of the Glasgow Haskell compiler.

0.18 is an "internal" release intended *ONLY* for those actually
hacking on the compiler source -- that is, those who *REALLY* know
what they are doing.  Anyone else is crazy to use it; anyone who uses
it without keeping a "real" GHC release (0.16 or 0.17) around is
obviously demented.

The chances of a "clean" build are near zero, no matter what Haskell
compiler you build with.  Be prepared to utter magic incantations.
(For example, `make reader/ReadPragmas.o
EXTRA_HC_OPTS="-fno-strictness -fno-specialise -fno-case-of-case"'.)

An incomplete "what's new" list:

* Unfoldings across module boundaries.  Still v limited.

* Specialisation of overloaded functions.  Instances -- not yet.

* Strictness analyser that handles "nested" strictness and does
  "absence analysis" as well.  Makes Prelude.hi fun to read.  Hints:
  _N_ = nothing, _A_ = arity, _U_ = update analysis info, _S_ =
  strictness (U = unpack, A = absent, L = lazy, S = strict, E = strict
  & enumeration type, P = primitive).

* Prelude info no longer horribly built into the compiler (as much).
  Manipulating the prelude is not nearly so delicate as it once was.

* Some names have changed: MkChar => C#, MkInt => I#, MkFloat => F#,
  MkDouble => D#, MkInteger => J#.  (They won't change again...)

* Includes Patrick Sansom's array-based substitution code (much faster
  typechecking).  (You probably won't see the speedup, though, because
  we've spent all the savings on fancier intermodule stuff.)

* We've added a Core "lint" pass, which can be used to check
  types/out-of-scope-errors/etc after every Core-to-Core pass.  It's
  great!  -dcore-lint.

* Initial "Native" class support; use "-syslib hbc".

* Lots of compiler code hacked on, for better or worse.

* Lots of gratuitous "trace" messages when running the compiler :-)

Documentation is unchanged since 0.1[67].  There is not one word about
any new features.

We *hope* for a new public release before Christmas (1993).

Will Partain
Keeper of the Bits, AQUA Project

Dated: 93/11/04

E-mail contacts:
    [EMAIL PROTECTED]      (bug reports)
    [EMAIL PROTECTED]   (general queries)

Anonymous FTP site: ftp.dcs.glasgow.ac.uk:pub/haskell/glasgow.  Mostly
mirrored by ftp.cs.chalmers.se and nebula.cs.yale.edu (same
directory).  Also: src.doc.ic.ac.uk, in
computing/programming/languages/haskell/glasgow/.

Reply via email to