[project @ 2003-12-11 09:36:46 by simonmar]
Add +RTS -K2m to SRC_HAPPY_OPTS, to work around perf. problems in the HEAD.

[project @ 2003-12-10 17:35:48 by simonmar]
oops, forgot a reverse

[project @ 2003-12-10 17:29:26 by simonmar]
Fix syntax error

[project @ 2003-12-10 17:25:12 by simonmar]
Cleanups:

- Move the collect* functions from HsSyn into HsUtils.  Check that we
  have a clean separation of utilties over HsSyn, with the generic
  versions in HsUtils, and the specific versions in RdrHsSyn, RnHsSyn
  and TcHsSyn as appropriate.

- Remove the RdrBinding data type, which was really just a nested list
  with O(1) append, and use OrdList instead.  This makes it much clearer
  that there's nothing strange going on.

- Various other minor cleanups.

[project @ 2003-12-10 17:15:44 by simonmar]
fix bogosity spotted by -Wall

[project @ 2003-12-10 14:21:36 by simonmar]
New file of miscellaneous utility functions over HsSyn.

[project @ 2003-12-10 14:15:16 by simonmar]
Add accurate source location annotations to HsSyn
-------------------------------------------------

Every syntactic entity in HsSyn is now annotated with a SrcSpan, which
details the exact beginning and end points of that entity in the
original source file.  All honest compilers should do this, and it was
about time GHC did the right thing.

The most obvious benefit is that we now have much more accurate error
messages; when running GHC inside emacs for example, the cursor will
jump to the exact location of an error, not just a line somewhere
nearby.  We haven't put a huge amount of effort into making sure all
the error messages are accurate yet, so there could be some tweaking
still needed, although the majority of messages I've seen have been
spot-on.

Error messages now contain a column number in addition to the line
number, eg.

   read001.hs:25:10: Variable not in scope: `+#'

To get the full text span info, use the new option -ferror-spans.  eg.

   read001.hs:25:10-11: Variable not in scope: `+#'

I'm not sure whether we should do this by default.  Emacs won't
understand the new error format, for one thing.

In a more elaborate editor setting (eg. Visual Studio), we can arrange
to actually highlight the subexpression containing an error.  Eventually
this information will be used so we can find elements in the abstract
syntax corresponding to text locations, for performing high-level editor
functions (eg. "tell me the type of this expression I just highlighted").

Performance of the compiler doesn't seem to be adversely affected.
Parsing is still quicker than in 6.0.1, for example.

Implementation:

This was an excrutiatingly painful change to make: both Simon P.J. and
myself have been working on it for the last three weeks or so.  The
basic changes are:

 - a new datatype SrcSpan, which represents a beginning and end position
   in a source file.

 - To reduce the pain as much as possible, we also defined:

      data Located e = L SrcSpan e

 - Every datatype in HsSyn has an equivalent Located version.  eg.

      type LHsExpr id = Located (HsExpr id)

   and pretty much everywhere we used to use HsExpr we now use
   LHsExpr.  Believe me, we thought about this long and hard, and
   all the other options were worse :-)

Additional changes/cleanups we made at the same time:

  - The abstract syntax for bindings is now less arcane.  MonoBinds
    and HsBinds with their built-in list constructors have gone away,
    replaced by HsBindGroup and HsBind (see HsSyn/HsBinds.lhs).

  - The various HsSyn type synonyms have now gone away (eg. RdrNameHsExpr,
    RenamedHsExpr, and TypecheckedHsExpr are now HsExpr RdrName,
    HsExpr Name, and HsExpr Id respectively).

  - Utilities over HsSyn are now collected in a new module HsUtils.
    More stuff still needs to be moved in here.

  - MachChar now has a real Char instead of an Int.  All GHC versions that
    can compile GHC now support 32-bit Chars, so this was a simplification.

[project @ 2003-12-10 11:35:24 by wolfgang]
PowerPC Linux support for registerised compilation and native code
generation. (object splitting and GHCi are still unsupported).

Code for other platforms is not affected, so MERGE TO STABLE.

[project @ 2003-12-10 10:12:13 by wolfgang]
PowerPC NCG bugfix: 2-byte data objects should be .short, not .byte

MERGE TO STABLE

[project @ 2003-12-09 15:48:08 by simonmar]
Add note about -all_load instead of --whole-archive on MacOS X.

[project @ 2003-12-06 18:27:37 by panne]
Fixed typo in OpenAL handling.

[project @ 2003-12-06 18:24:05 by panne]
Completely overhauled OpenGL/GLUT detection magic, making things more
modular. Removed support for Mesa and non-HW-accelerated support on
Windoze. Added initial support for handling missing glut.h header on
MinGW/MSYS (to be completed). Tested on Cygwin (plain, -mno-cygwin,
--without-x), MSYS/MinGW and SuSE 8.2 x86 Linux.

[project @ 2003-12-05 09:50:39 by stolz]
Use tso->id instead of tso as index to thread lables (tsos get relocated).

Please merge

[project @ 2003-12-02 19:16:41 by panne]
Added the first pieces of an OpenAL binding which has been of my disk for quite
a while. Note that it is built by default when a usable OpenAL library is found,
but this could be disabled via --disable-openal on the configure commandline.
Similar behaviour should probably be the default for all optional libraries.
Note that I have created a new hierarchy rooted at "Sound", the existing
hierarchies didn't fit.

[project @ 2003-11-28 13:13:35 by simonmar]
typo

[project @ 2003-11-28 10:55:59 by simonmar]
Wibbles to the UNPACK docs.

[project @ 2003-11-27 15:18:11 by ross]
fix typo

[project @ 2003-11-27 13:27:11 by simonmar]
Document UNPACK pragma

[project @ 2003-11-27 13:26:38 by simonmar]
On reflection, using the '!!' prefix for unboxing a constructor field
was a mistake:  firstly it has to be written '! !', and secondly it
isn't backwards-compatible.  So instead, we now use the syntax:

   data T = T {-# UNPACK #-} !Int

to unbox a field.  We thought this would be a cute reuse of the UNPACK
pragma.

The effect of -funbox-strict-fields is to add {-# UNPACK #-} to every
strict field.

[project @ 2003-11-27 11:08:06 by simonmar]
Fix syntax error

[project @ 2003-11-27 09:30:54 by simonmar]
Having tightened up GHC's syntax w.r.t. Haskell 98, it appears that
GHC itself was making use of the more lax syntax.

[project @ 2003-11-26 12:14:26 by simonmar]
Fix a rare bug in compacting GC, related to eval_thunk_selector().  This
might be the cause of the "Closure type 0" bug in SourceForge.

[project @ 2003-11-26 10:07:19 by simonmar]
Haskell 98 doesn't allow extra commas in record construction/update,
so neither should GHC.

[project @ 2003-11-21 09:09:09 by simonpj]
Add a note about avoiding trailing spaces in CVSROOT

[project @ 2003-11-18 11:57:29 by simonpj]
Add notes about windows build, esp the need for automake

[project @ 2003-11-18 09:26:36 by simonmar]
Restore a couple of functions that are used in ASSERTs.

[project @ 2003-11-18 09:23:27 by simonmar]
oops, fix overenthusiastic export-culling (noCCAttached is used in an ASSERT).

[project @ 2003-11-17 14:47:52 by simonmar]
GC dead code and export list entries.

[project @ 2003-11-17 14:45:17 by simonmar]
GC dead code.

[project @ 2003-11-17 14:44:47 by simonmar]
GC export list.

[project @ 2003-11-17 14:44:07 by simonmar]
GC dead code.

[project @ 2003-11-17 14:43:22 by simonmar]
GC export list.

[project @ 2003-11-17 14:41:58 by simonmar]
GC dead code.

[project @ 2003-11-17 14:41:32 by simonmar]
GC export list.

[project @ 2003-11-17 14:41:03 by simonmar]
Add an export list; GC dead code.

[project @ 2003-11-17 14:40:33 by simonmar]
GC export list.

[project @ 2003-11-17 14:38:22 by simonmar]
GC dead code.

[project @ 2003-11-17 14:31:55 by simonmar]
GC dead code.

[project @ 2003-11-17 14:28:49 by simonmar]
GC dead code.

[project @ 2003-11-17 14:23:30 by simonmar]
GC some dead code.  In some places, I left useful-looking but
currently unused definitions in place, surrounded by #ifdef UNUSED
... #endif.

[project @ 2003-11-16 11:42:34 by panne]
* Cleaned up test for GTK_CONFIG
* Nuked unused GTK_VERSION

[project @ 2003-11-15 19:51:17 by panne]
Some steps towards decoupling the OpenGL and GLUT packages

[project @ 2003-11-15 19:37:13 by panne]
Cleaned up the mechanism for building the unix package

[project @ 2003-11-15 19:15:16 by panne]
For consistency reasons, rename HaveReadlineHeaders to GhcLibsWithReadline

[project @ 2003-11-14 17:30:54 by simonmar]
This file was used once; it isn't now.

[project @ 2003-11-14 14:28:07 by stolz]
Revert previous commit on request

[project @ 2003-11-14 13:44:11 by simonpj]
Remove redundant hi-boot files

[project @ 2003-11-14 09:27:00 by stolz]
Style police: Remove C++-style comments

[project @ 2003-11-13 15:03:20 by simonpj]
Maintain renaming envt during tyepcheck, so we can rename a splice

[project @ 2003-11-13 15:02:53 by simonpj]
Stop after renaming if errors are found in TH

[project @ 2003-11-13 15:02:25 by simonpj]
Improve type pretty-printer

[project @ 2003-11-13 15:01:53 by simonpj]
Check for class op that omits the class tyvar

[project @ 2003-11-12 17:49:05 by sof]
Tweaks to have RTS (C) sources compile with MSVC. Apart from wibbles
related to the handling of 'inline', changed Schedule.h:POP_RUN_QUEUE()
not to use expression-level statement blocks.

[project @ 2003-11-12 17:27:00 by sof]
Tidy up a couple of unportable coding issues:

- conditionally use empty structs.
- use GNU attributes only if supported.
- 'long long' usage
- use of 'inline' in declarations and definitions.

Upshot of these changes is that MSVC is now capable of compiling
the non-.hc portions of the RTS.

[project @ 2003-11-12 17:18:48 by sof]
FP_EMPTY_STRUCTS: empty struct feature test

[project @ 2003-11-12 17:18:05 by sof]
win32: Support for explicitly setting the execute bit
on pages containing code that we generate. Not yet enabled.

Starting with SP2, Windows XP will honour newer x86 CPUs
that lets you distinguish between readable and
readable-executable pages.

[project @ 2003-11-12 15:45:49 by sof]
ocResolve_PEi386(): improve(&flush) warning re: overflown relocation field.

merge to stable

[project @ 2003-11-12 14:54:32 by simonmar]
oops, committed wrong version of this file

[project @ 2003-11-12 14:44:17 by simonmar]
Add the ISO 8859-1 non-breaking space character '\xa0' to the list of
characters recognised as whitespace.

[project @ 2003-11-11 16:45:52 by simonmar]
libraries.html is now libraries/index.html

[project @ 2003-11-11 11:50:52 by simonmar]
Convert to use Haddock 0.6's combined contents/index functionality for
the hierarchical library docs.

HEADS UP: you need Haddock 0.6 in order to run 'make html' in
fptools/libraries now.

[project @ 2003-11-11 10:05:11 by simonmar]
wibble

[project @ 2003-11-10 12:05:04 by simonpj]
Corner case fix for -fundecidable-instances

[project @ 2003-11-10 12:04:25 by simonpj]
Better error message for ghc --show-iface, with no file supplied

[project @ 2003-11-10 11:23:54 by simonmar]
Make 'ghc --show-iface' give a reasonable error message on old
interface files again.  We previously disabled the version check for
--show-iface so that you could run --show-iface on a profiled
interface file, but this disabled too much error checking.  Really we
just want to disable the 'way' check, not the whole version check.

HEADS UP: interface format changed.  Recompile libraries.

[project @ 2003-11-10 09:48:38 by simonpj]
Add assertErrorName to the known-key names

[project @ 2003-11-06 17:09:50 by simonpj]
------------------------------------
Major increment for Template Haskell
------------------------------------

1.  New abstract data type "Name" which appears where String used to be.
    E.g.  data Exp = VarE Name | ...

2.  New syntax 'x and ''T, for quoting Names.  It's rather like [| x |]
    and [t| T |] respectively, except that

a) it's non-monadic:  'x :: Name
b) you get a Name not an Exp or Type

3.  reify is an ordinary function
reify :: Name -> Q Info
    New data type Info which tells what TH knows about Name

4.  Local variables work properly.  So this works now (crashed before):
f x = $( [| x |] )

5.  THSyntax is split up into three modules:

  Language.Haskell.TH TH "clients" import this

  Language.Haskell.TH.THSyntax data type declarations and internal stuff

  Language.Haskell.TH.THLib Support library code (all re-exported
by TH), including smart constructors and
pretty printer

6.  Error reporting and recovery are in (not yet well tested)

report :: Bool {- True <=> fatal -} -> String -> Q ()
recover :: Q a -> Q a -> Q a

7.  Can find current module

currentModule :: Q String

Much other cleaning up, needless to say.

[project @ 2003-11-06 10:31:55 by simonmar]
Add a separate --help message for GHCi.

[project @ 2003-11-06 09:42:45 by simonpj]
Import all instances in cases like C (a b)

[project @ 2003-11-05 14:52:28 by simonpj]
Part 2 of previous commit (fixes to derivable type classes)

[project @ 2003-11-05 14:51:53 by simonpj]
Fixes to derivable type classes; should work now

[project @ 2003-11-05 11:39:38 by simonpj]
Fix a stupid error in interactive environment handling (not present in STABLE)

[project @ 2003-11-04 13:15:20 by simonpj]
Beginnings of VarBr

[project @ 2003-11-04 13:14:06 by simonpj]
Remove dead code

[project @ 2003-11-04 00:38:34 by dons]
Error out if user tries to use in-tree GMP on mips.
Too many arithmetic errors in the resulting compiler otherwise.

[project @ 2003-11-03 17:26:04 by simonmar]
Remove references to non-existent g3 function.

[project @ 2003-11-03 17:24:41 by simonmar]
Remove references to Haskell 1.4, replace with up to date Haskell 98
references.  Includes removing a comment about the fact that Haskell
1.4 didn't have principle types (Haskell 98 fixed that bug).

[project @ 2003-11-03 16:00:57 by simonpj]
Wibbles to pretty printing of types

[project @ 2003-11-03 15:27:32 by simonpj]
Missing cases in isLiftedTypeKind etc

[project @ 2003-11-03 15:27:08 by simonpj]
Wibble to subordinate names

[project @ 2003-11-03 15:26:22 by simonpj]
The generic to/from methods for derivable type classes should only
be generated for types in the current group, rather than all the
in-scope tycons.  Otherwise they get generated multiple times in
a Template-Haskell situation.

[project @ 2003-11-03 12:25:39 by simonmar]
Add some I/O error checking so that an error when writing the output
file will correctly result in a non-zero exit code.

Currently, if you try to compile a literate Haskell file and /tmp is
full, unlit will write an empty file and exit successfully, leading to
confusing behaviour.

[project @ 2003-11-03 10:22:21 by simonmar]
merge rev. 1.9.6.2 to the HEAD (remove comment about multiple Main modules)

[project @ 2003-11-03 10:11:04 by simonmar]
merge rev. 1.9.6.1 to the HEAD (add overflown relocs bug)

[project @ 2003-11-02 06:55:24 by dons]
More RTLD_* symbols are now available on OpenBSD.
This does not mean that ghci works yet, though.

[project @ 2003-11-01 23:43:13 by panne]
Synched with hugs98 repository again (X_FLAGS handling this time)

Merge to STABLE.

[project @ 2003-11-01 20:05:57 by panne]
Synched with latest changes in hugs98 repository (finding "find" plus
#ifdef massage). Some common autoconf macro directory would be really
handy: ToDo...

[project @ 2003-11-01 01:52:01 by sof]
expandEnvVars.expandStrings: flatten the expanded strings so as to
permit a substitution to expand into multiple elements of the final
list.

merge to stable.

[project @ 2003-11-01 01:01:18 by sof]
Maintain order of 'objs' when adding them to v_Ld_inputs.
Fixes ghc-6.x linking bug when .a's are given explicitly
on the command-line.

merge to stable.

[project @ 2003-10-31 23:24:47 by sof]
tidy up siginterrupt() use

[project @ 2003-10-31 23:23:43 by sof]
check for siginterrupt()

[project @ 2003-10-31 16:48:45 by sof]
prog_name: use '\' as separator with mingw builds.

merge to stable

[project @ 2003-10-31 16:22:11 by sof]
Report max heap in Mbytes as well.

merge to stable

[project @ 2003-10-31 16:21:27 by sof]
win32: in case of a heap overflow, report this via heapOverflow(), and not
       by panic'ing.

merge to stable.

[project @ 2003-10-31 12:57:59 by simonpj]
Wibble to TH -> HsSyn conversion

[project @ 2003-10-31 12:57:15 by simonpj]
Trim exports

[project @ 2003-10-31 12:56:50 by simonpj]
Pretty-printing wibble; fixes many tests

[project @ 2003-10-30 16:01:49 by simonpj]
This commit does a long-overdue tidy-up

* Remove PprType (gets rid of one more bunch of hi-boot files)

* Put pretty-printing for types in TypeRep

* Make a specialised pretty-printer for Types, rather than
  converting to IfaceTypes and printing those

[project @ 2003-10-30 10:14:59 by simonpj]
1.  When desugaring a [d| ... |], do not gensym the method names of
    an instance declaration, else we get very confused!

2.  We don't need to make fresh Names in DsMeta.mkGenSym, because
    the existing Name will do, I believe.  We'll do the genSym when
    we *run* the splice.  (This stuff makes my head hurt.)

    Assuming this is so, we can simplify the mkGenSym stuff still more.

[project @ 2003-10-30 10:12:39 by simonpj]
Wibble