[project @ 2001-11-07 20:13:26 by sof]
FPTOOLS_HAPPY: have it subst default HappyOpts too

[project @ 2001-11-07 19:37:17 by sof]
made to work on Unices

[project @ 2001-11-07 19:36:11 by sof]
Cope with conditional presence of o_BINARY in PrelPosix.

(Something's not quite right here - O_BINARY, a non-Posix flag,
being defined by PrelPosix).

[project @ 2001-11-07 19:31:58 by sof]
Test for stddef.h

[project @ 2001-11-07 19:11:43 by sof]
Added #defines for HsBool values:
  - HS_BOOL_FALSE
  - HS_BOOL_TRUE
  - HS_BOOL_MIN
  - HS_BOOL_MAX

[project @ 2001-11-07 18:26:58 by sof]
remove extra .hsc deps; not needed

[project @ 2001-11-07 18:26:27 by sof]
bring writeErrString__() proto into scope

[project @ 2001-11-07 18:25:55 by sof]
no more

[project @ 2001-11-07 18:25:35 by sof]
Move towards having the IO implementation be plat-independent
at the Haskell source code level.

[project @ 2001-11-07 18:23:31 by sof]
prev. commit didn't introduce these two files correctly - PrelIOUtils.{c,h}
contain simple C wrappers to handle some aspects of OS I/O in a
plat-indep. manner.

[project @ 2001-11-07 18:19:49 by sof]
cbits/PrelIOUtils.c

[project @ 2001-11-07 18:18:51 by sof]
PrelTopHandler.lhs -> PrelTopHandler.hs

(CVS history for this file wasn't interesting enough for
a dirty behind-the-scenes repo move).

[project @ 2001-11-07 15:11:33 by simonpj]
Wibble in zonking of rules; fixes Manuels problem

[project @ 2001-11-07 08:34:45 by sof]
Nuke feature testing for misc error code values + its corresponding
CCONST_XXXX #defines.

[project @ 2001-11-07 08:32:34 by sof]
Function wrappers for misc error codes

[project @ 2001-11-07 08:31:29 by sof]
Delay committing to particular values for the misc error codes until
we're *compiling* the .hc / .hs file on a target platform, i.e., no
longer do this at configure-time.

It ain't pretty, but it works.

[project @ 2001-11-07 07:57:57 by sof]
Wrapper functions reqd to implement Directory

[project @ 2001-11-07 07:57:16 by sof]
no longer used

[project @ 2001-11-07 07:56:57 by sof]
Directory impl which interacts with OS plat via C wrappers

[project @ 2001-11-06 14:19:24 by simonpj]
---------------------------------------
Fix YET ANOTHER lub/both bug in DmdAnal
---------------------------------------

MERGE TO 5.02 branch (it's a real bug)

Two bugs actually.  One showed up in a program by
Jeremy Manson, and led to an "entered absent arg"
error.  The problem was

Err `lub` U(L,A)  /=  U(L,A)

which is what we had.  It should be

Err `lub` U(L,A) = U(Err `lub` L, Err `lub` A)
 = U(LL)

The second bug was found by Peter Sestoft while
staring at the code.

V `lub` Defer(ds) /= U(L)

It should be Lazy on the RHS.

Very large sigh.

[project @ 2001-11-06 11:11:07 by simonmar]
- Make the psecs field of a ClockTime measure picoseconds rather than
  nanoseconds.

- toClockTime was throwing away the picoseconds field of the input
  CalendarTime: fix this.

[project @ 2001-11-06 11:07:39 by simonmar]
Don't use a combination of '=' and ':=' to override libdir and
datadir, as it appears to not have the same behaviour in all versions
of GNU make.

[project @ 2001-11-06 11:05:22 by simonmar]
Make compilation of javaGen conditional on $(GhcWithJavaGen) in the
same way as the ILX and native backends.

[project @ 2001-11-06 11:04:16 by simonmar]
cosmetic only: reformat to 80 cols

[project @ 2001-11-06 11:03:19 by simonmar]
Add an ASSERT

[project @ 2001-11-06 11:03:00 by simonmar]
Add a comment explaining the discount subtraction in mkSizeIs.

[project @ 2001-11-06 11:02:05 by simonmar]
Change an ASSERT into an ASSERT2

[project @ 2001-11-06 05:08:52 by chak]
* added SPJ to authors list and bumped the version number

* documented the buildCoreToDo story and related issues

[project @ 2001-11-05 16:45:02 by simonpj]
Wibble to eta reduction

[project @ 2001-11-05 14:16:48 by simonpj]
Wibbles for scoped type variables

[project @ 2001-11-05 14:15:53 by simonpj]
Tidy up activation pragmas

[project @ 2001-11-05 14:08:28 by chak]
Activation phase in a __R pragma must be in square brackets.

[project @ 2001-11-05 05:12:55 by sof]
merge revision 1.32.4.2 (ghc-5-02-branch)

  TIC_TO_DOUBLE --> TICK_TO_DOUBLE

[project @ 2001-11-03 01:44:04 by sof]
mingw32: -#include process.h to bring _getpid() proto into scope when
compiling main/SysTools.lhs

[project @ 2001-11-03 01:30:42 by sof]
main: in both exception handlers, explicitly flush stdout before
      emitting bytes onto stderr, since the two aren't connected
      any longer.

[project @ 2001-11-03 00:33:24 by sof]
Removed 'paren' and 'brack' helpers; use Outputable / Pretty equivalents
instead.

[project @ 2001-11-03 00:29:13 by sof]
mingw32: #include process.h to bring _getpid() proto into scope.

[project @ 2001-11-02 14:40:24 by simonpj]
Fix a STG lint bug

[project @ 2001-11-02 11:15:00 by simonmar]
Add a couple of missing TICK_TO_DBL()s.

Noticed by: Nicholas Nethercote <njn25@cam.ac.uk>

[project @ 2001-11-02 10:35:14 by simonpj]
Stingy -> thrifty

[project @ 2001-11-02 10:19:24 by simonpj]
wibble

[project @ 2001-11-02 09:50:32 by simonpj]
Add missing cases to pp_origin; MERGE TO STABLE

[project @ 2001-11-01 13:20:42 by simonpj]
wibble

[project @ 2001-11-01 13:20:05 by simonpj]
---------------------------------------
Fix a unboxed-binding bug in SpecConstr
---------------------------------------

[HEAD only]

This fixes a rather obscure bug in the constructor
specialiser discovered by Ralf Hinze.  It was
generating a specialised version of the function
with no arguments --- and the function returned an
unboxed type.

Solution: same as for worker-wrapper; add a dummy
argument.

Several files are affected because I added
CoreUtils.mkPiTypes, as a useful helper function.

[project @ 2001-11-01 12:07:09 by simonpj]
Correct the zero-arg stuff in worker/wrapper generation

[project @ 2001-11-01 10:33:58 by simonpj]
----------------------------------
Fix a bug in Simplify.mkDupableAlt
----------------------------------

[This is the HEAD commit; I've fixed
 the branch separately.]

This fixes a funResultTy panic that Koen encountered.

The reason was that the simplifier was doing a
case-of-case where the result had a polymorphic type.
This in turn showed up because of a newtype (now
transparent) with a forall inside it.

The fix is very easy; can't think how I got it wrong
in the first place.

[project @ 2001-11-01 09:50:53 by simonpj]
Add missing import of dropList for mingw32 build

[project @ 2001-10-31 17:04:45 by rrt]
Many changes, presumably by Don.

[project @ 2001-10-31 17:00:49 by rrt]
Beginnings of .NET Integer support.

[project @ 2001-10-31 16:38:55 by rrt]
Beginnings of .NET Integer support.

[project @ 2001-10-31 16:24:43 by simonpj]
Document scoped type variables

[project @ 2001-10-31 16:17:59 by simonpj]
Add hi-boot files for the new knot

[project @ 2001-10-31 15:22:53 by simonpj]
------------------------------------------
Improved handling of scoped type variables
------------------------------------------

The main effect of this commit is to allow scoped type variables
in pattern bindings, thus

(x::a, y::b) = e

This was illegal, but now it's ok.  a and b have the same scope
as x and y.

On the way I beefed up the info inside a type variable
(TcType.TyVarDetails; c.f. IdInfo.GlobalIdDetails) which
helps to improve error messages. Hence the wide ranging changes.
Pity about the extra loop from Var to TcType, but can't be helped.

[project @ 2001-10-31 14:52:08 by simonpj]
1. Correct the handling of selectors for
   newtypes with polymorphic fields

2. Make certain that trivial constructor wrappers get inlined

[project @ 2001-10-31 14:38:00 by simonmar]
Add missing MUT_CONS case (reported by Andy Cheadle)

[project @ 2001-10-31 12:51:08 by simonmar]
Load the files given on the command line a bit later, and catch any
exceptions so that errors while loading these files don't cause GHCi
to exit completely.

[project @ 2001-10-31 12:26:17 by simonmar]
Handle completely empty files without crashing in slurpFileExpandTabs.

[project @ 2001-10-31 11:37:14 by rrt]
The new story where InstallShield just crawls over a make install tree,
rather than having to specify the directory layout by hand. Some tweaks to
the way that external programs are installed, so that they too can be just
crawled over.

[project @ 2001-10-31 10:34:29 by simonmar]
Fix a problem when a Haskell process is suspended/resumed using shell
job control in Unix.  The shell tends to put stdin back into blocking
mode before resuming the process, so we have to catch SIGCONT and put
it back into O_NONBLOCK.

Also:

  - fix a bug in the scheduler: reverse the order of the check
    for pending signals and the call to awaitEvent to block on I/O.

  - do a style sweep in Signals.c

[project @ 2001-10-31 10:30:29 by simonmar]
Add setNonBlockingFd(), for use in the SIGCONT handler in Signals.c.

[project @ 2001-10-30 19:02:26 by rrt]
Fix typo.

[project @ 2001-10-30 19:01:43 by rrt]
Made db2pdf use jadetex|dvips|ps2pfd, not pdfjadetex. Two benefits:

  1. Smaller PDF files.
  2. jadetex is a little less exotic, and more likely to be on a given
system.

The actual motivation is only knowing of a working version of jadetex
for Windows and not of pdfjadetex (at least, not one that works on the
gargantuan tome that is the combined User's Guide and Libraries
Guide).

[project @ 2001-10-30 18:58:46 by rrt]
Much more in-depth description. Switch to the new more automated
process, and concentrate on dukin' it out with InstallShield.

[project @ 2001-10-30 16:18:12 by simonmar]
Update sample output.  All the GHCi tests work as of today.

[project @ 2001-10-30 16:17:34 by simonmar]
Add deadlock-detection test.

[project @ 2001-10-30 16:16:17 by simonmar]
Add ':set args' and ':set prog' test.

[project @ 2001-10-30 16:12:51 by simonmar]
- Fix the free variable calculation in schemeE following some changes
  to the global-vs-local name story in earlier parts of the compiler.
  (fixes GHCi breakage on the HEAD).

- Eliminate some duplicate free variable calculations.

[project @ 2001-10-30 11:30:30 by rrt]
The .NET BigInteger support class (yup, the all-embracing .NET
Framework classes don't include big integers; clearly not important
for Real Programmers).

This is basically Julian's sainteger.c module from STG Hugs
resurrected and with lots of # signs added.

[project @ 2001-10-30 10:57:50 by simonpj]
Specialise-constructor rules active only in phase 0 (for Manuel & Gaby)

[project @ 2001-10-29 17:59:37 by simonmar]
Give the template tyvars nice print names, as per a suggestion from
Koen Claessen.

Prelude> :i []
-- [] is a data constructor
[] :: forall a. [a]

-- [] is a type constructor
data [] a = [] | (:) a [a]

[project @ 2001-10-29 13:42:52 by simonmar]
- document --print-libdir
- replace some <literal>s with <option>s where appropriate

[project @ 2001-10-29 13:25:19 by simonmar]
Add --print-libdir flag

[project @ 2001-10-29 12:21:57 by simonmar]
Add C++ extern "C" wrappers to generated stubs.

[project @ 2001-10-29 12:00:06 by rrt]
Set libdir to prefix on Windows only. Windows install paths are
currently different from those used under Unix, and it's probably best
to change the layout of the InstallShield to match Unix in the long
term. For now, just Make It Work.

[project @ 2001-10-29 11:33:37 by simonmar]
Wrap the include file entry-points in extern "C" { ... } if this is a
C++ compiler.

[project @ 2001-10-29 11:31:51 by simonmar]
Understand the various C++ suffixes.

[project @ 2001-10-27 22:05:48 by sof]
Added Show instance for Concurrent.ThreadId; useful when
debugging/diagnosing.

[project @ 2001-10-27 21:44:54 by sof]
Move extern declaration for 'environ' from Stg.h into HsPosix.h

[project @ 2001-10-26 11:59:36 by sewardj]
merge from stable, revs:

  1.41.4.1  +4 -1      fptools/ghc/compiler/nativeGen/AbsCStixGen.lhs
  1.61.4.3  +10 -0     fptools/ghc/driver/mangler/ghc-asm.lprl

  Place a zero word after each reversed vector table, so that the vtbl
  label is really in the section we would like to claim it is in.  This
  is needed for the GC to work correctly.  Fixes a GHCi segfault
  reported by Ryszard Kubiak.

  1.41.4.2  +7 -0      fptools/ghc/compiler/nativeGen/AbsCStixGen.lhs
  1.61.4.4  +18 -0     fptools/ghc/driver/mangler/ghc-asm.lprl

  Add comments, much longer than the fix itself, giving explaination
  for yesterday's dummy-word-after-vtbl fix.

[project @ 2001-10-26 11:53:34 by sewardj]
merge from stable, revs:

  1.74.4.1  +12 -11    fptools/ghc/compiler/nativeGen/MachCode.lhs
  1.30.4.1  +23 -0     fptools/ghc/compiler/nativeGen/Stix.lhs
  1.70.4.1  +2 -5      fptools/ghc/compiler/nativeGen/StixPrim.lhs

  Route all NCG panics to do with missing primop implementations and any
  other panic which could be caused by compiling legitimate sources
  through the function Stix.ncgPrimopMoan.  This emits a helpful message
  explaining what has happened, advises the use of -fvia-C as a
  workaround, and says please mail us.

[project @ 2001-10-26 11:49:19 by sewardj]
merge from stable, rev 1.23.4.1:

  Win32 only: implement sane failure semantics + message when out of
  memory, rather than continuing and allowing the rest of the system
  to seg out.  Also, increase the 128M limit to 256M.

  This allegedly fixes the Antony Courtney Win32 segfault.

[project @ 2001-10-26 11:33:13 by sewardj]
merge from stable, rev 1.60.2.10:

  Implement a debugging aid: look in GHCi's object symbol tables for
  symbols within DELTA bytes of the specified address, and show their
  names.  Only compiled with -DDEBUG.  The new fn is called ghci_enquire
  and you can call it from within a gdb session.

[project @ 2001-10-26 05:31:05 by sof]
pipeLoop: Handle pipelines that end with ineffective
final stages (e.g., CPP and/or PP) correctly. i.e.,
need to copy the outcome of the pipeline into the
expected output file, since the final stage didn't.

[project @ 2001-10-26 00:53:56 by sof]
Custom pre-processor documentation

[project @ 2001-10-26 00:53:27 by sof]
Added support for a custom pre-processor pass:

  ghc -F -pgmF/path/to/a/pre/processor ...

will now run /path/to/a/pre/processor over Haskell
input sources. It is positioned in the compilation
pipeline just before the compiler proper, but after
unlit'ing and CPP'ing. The pre-processor is passed
the following command-line when invoked:

   /path/to/a/pre/processor orig_input_source_file_path
        input_source_file
    output_source_file
    <other options>

Additionally options can be fed directly to the
pre-processor via -optF<option> options.

The -F option causes the pre-processor to run _iff_ one
has been specified via -pgmF (there's some redundancy
here, but I went for this cmd-line interface as it's
consistent with the general -pgm<Foo> story).

Motivation:

 * hooking in a pre-processor is occasionally useful;
   e.g., cheap&cheerful way to integrate language
   extensions with GHC, compile-time syntax/style
   checking etc.

 * Artfully re-using the CPP phase (by specifying your
   own via -pgmP) doesn't really work as the driver
   really assumes that GNU cpp is what's being invoked
   (and path mangling is also performed on Win32 platforms).

   Additionally, there are cases when you want to be
   able to run CPP _and_ a pre-processor.

 * The alternative of running the pre-processor as a
   separate program in a Makefile (say) doesn't work
   in interpreted mode, and this approach also forces
   you to give up on recompilation checking when in
   batch mode.

[project @ 2001-10-25 14:50:00 by rrt]
Tidy up after my assumption-busting.

[project @ 2001-10-25 14:48:26 by rrt]
Why should pdfjadetex be in the same directory as Jade? Make the much
less silly assumption that it's on the PATH.

[project @ 2001-10-25 14:30:43 by simonpj]
-------------------------------------------------------
  Correct an error in the handling of implicit parameters
  -------------------------------------------------------

MERGE WITH STABLE BRANCH UNLESS HARD TO DO

Mark Shields discovered a bug in the way that implicit parameters
are dealt with by the type checker.  It's all a bit subtle, and
is extensively documented in TcSimplify.lhs.

This commit makes the code both simpler and more correct.  It subtly
changes the way in which type signatures are treated, but not in a way
anyone would notice: see notes with "Question 2: type signatures"
in TcSimplify.lhs.

[project @ 2001-10-25 12:56:54 by rrt]
Renumber tuples (decrement by one) to conform to new primop naming scheme.

[project @ 2001-10-25 12:55:18 by rrt]
ILX fixes to get the standard library to build and verify.

[project @ 2001-10-25 11:47:03 by simonmar]
-Wall cleanup:

  - move some imports inside #ifdef GHCI
  - remove some unused bindings

[project @ 2001-10-25 11:37:49 by simonmar]
- only generate split markers if we're splitting
- remove a couple of unused imports

[project @ 2001-10-25 10:00:05 by simonpj]
Fix egregious bug in cloning

[project @ 2001-10-25 09:59:39 by simonpj]
Move defer from NewDemand to DmdAnal

[project @ 2001-10-25 09:58:39 by simonpj]
Cosmetica

[project @ 2001-10-25 09:57:52 by simonpj]
Attach arity info to generic to/from ids

[project @ 2001-10-25 05:07:32 by sof]
follow-on from prev. commit; more tidyups

[project @ 2001-10-25 02:13:10 by sof]
- Pet peeve removal / code tidyup, replaced various sub-optimal
  uses of 'length' with something a bit better, i.e., replaced
  the following patterns

   *  length as `cmpOp` length bs
   *  length as `cmpOp` val   -- incl. uses where val == 1 and val == 0
   *  {take,drop,splitAt} (length as) bs
   *  length [ () | pat <- as ]

  with uses of misc Util functions.

  I'd be surprised if there's a noticeable reduction in running
  times as a result of these changes, but every little bit helps.

  [ The changes have been tested wrt testsuite/ - I'm seeing a couple
    of unexpected breakages coming from CorePrep, but I'm currently
    assuming that these are due to other recent changes. ]

- compMan/CompManager.lhs: restored 4.08 compilability + some code
  cleanup.

None of these changes are HEADworthy.

[project @ 2001-10-24 18:12:17 by rrt]
$$j -> $$i (in tandem with other renaming). i.e., remove a spurion or two.

[project @ 2001-10-24 17:15:25 by rrt]
Separate installation of SGML docs and non-SGML docs. That should fix
it when there are either no docs of one sort or the other, or no
SGMLDocWays.