[project @ 2001-01-29 08:40:18 by simonpj]
BinderInfo --> OccInfo (a long-awaited tidy-up)

[project @ 2001-01-28 23:55:34 by simonmar]
fix typos in new print-wrapping code

[project @ 2001-01-28 20:53:38 by qrczak]
Added rts symbols to the list:
    stg_sig_install, nocldstop, createAdjustor, rts_mkInt,
    rts_mkStablePtr, rts_apply, rts_evalIO, rts_checkSchedStatus,
    rts_getInt, stg_sel_13_upd_info, stg_sel_14_upd_info,
    stg_sel_15_upd_info.

Could the list be somehow generated automatically?

[project @ 2001-01-28 19:43:01 by simonmar]
remove old PrelHugs slime trail

[project @ 2001-01-28 19:40:17 by simonmar]
-recomp is the default, so remove it here

[project @ 2001-01-28 17:15:33 by simonmar]
fill in the export list

[project @ 2001-01-28 17:14:11 by simonmar]
- make the #ifdefs in this file less arch-specific
- support FreeBSD
- add a missing symbol (__gmpz_cmp_ui)

[project @ 2001-01-27 07:46:27 by qrczak]
Rename errno.h to ghc_errno.h.
(We could as well use hsc2hs.)

[project @ 2001-01-26 17:51:54 by rrt]
Windows fixes and tidying up.

[project @ 2001-01-26 17:51:40 by rrt]
Windows fixes.

[project @ 2001-01-26 17:37:27 by simonmar]
merge PersistentCmState and CmState

[project @ 2001-01-26 17:29:34 by simonmar]
Ok, don't throw away interfaces and symbol tables as part of the
pre-upsweep.  This seems to fix the recompilation problems (well, some
of them anyway...).

[project @ 2001-01-26 17:21:51 by simonmar]
Greatly simplify the story about linkables, source_unchanged, and the
pre-upsweep.

Now we pre-generate the list of valid linkables; that is, for each
module if a linkable exists and is newer than the source, we keep it.
If a module has a valid linkable, then it is "source unchanged", and
it is also possibly "stable" as far as the pre-upsweep is concerned
(as long as its imports are also stable).

The pre-upsweep is no longer dependent on the mode
(interactive/batch).

There's still a bug here, though: the pre-upsweep removes old
interfaces from the HIT, so we don't get an opportunity to avoid
compilation for non-stable modules.  That's the next job.

[project @ 2001-01-26 17:14:58 by simonmar]
drop spaces around commands, and fix some compilation breakage

[project @ 2001-01-26 16:16:19 by rrt]
Tidy up. timeb has a millitm field, not a millitime field.

[project @ 2001-01-26 16:15:00 by qrczak]
Fix typos in comments.

[project @ 2001-01-26 16:13:54 by qrczak]
Eta-expand to avoid monomorphism restriction.

[project @ 2001-01-26 15:04:16 by simonpj]
Fix a bug that meant functions mentioned only in orphan rules were discarded

[project @ 2001-01-26 14:54:52 by qrczak]
Fix generating HS*.o: don't confuse make by changing timestamps.

[project @ 2001-01-26 14:42:51 by simonmar]
add comments about enabling GHCi in the RTS.

[project @ 2001-01-26 14:40:18 by simonmar]
don't add -DGHCI when GhcWithInterpreter is on.  This needs to be done
in the compiler we're booting *from*, not the current compiler.

[project @ 2001-01-26 14:36:40 by simonpj]
More comments

[project @ 2001-01-26 14:17:31 by simonpj]
Move TEXT_BEFORE_HEAP to rts/Storage.h

[project @ 2001-01-26 14:17:01 by simonpj]
Lots of comments

[project @ 2001-01-26 11:50:39 by simonpj]
Wibbles

[project @ 2001-01-26 10:01:39 by simonpj]
Add a few new tests

[project @ 2001-01-26 09:58:05 by simonpj]
Add dupChan test

[project @ 2001-01-25 17:54:24 by simonpj]
------------------------------------
   Mainly FunDeps (23 Jan 01)
------------------------------------

This commit re-engineers the handling of functional dependencies.
A functional dependency is no longer an Inst; instead, the necessary
dependencies are snaffled out of their Class when necessary.

As part of this exercise I found that I had to re-work how to do generalisation
in a binding group.  There is rather exhaustive documentation on the new Plan
at the top of TcSimplify.

******************
WARNING: I have compiled all the libraries with this new compiler
 and all looks well, but I have not run many programs.
 Things may break.  Let me know if so.
******************

The main changes are these:

1.  typecheck/TcBinds and TcSimplify have a lot of changes due to the
    new generalisation and context reduction story.  There are extensive
    comments at the start of TcSimplify

2.  typecheck/TcImprove is removed altogether.  Instead, improvement is
    interleaved with context reduction (until a fixpoint is reached).
    All this is done in TcSimplify.

3.  types/FunDeps has new exports
* 'improve' does improvement, returning a list of equations
* 'grow' and 'oclose' close a list of type variables wrt a set of
  PredTypes, but in slightly different ways.  Comments in file.

4.  I improved the way in which we check that main::IO t.  It's tidier now.

In addition

*   typecheck/TcMatches:
a) Tidy up, introducing a common function tcCheckExistentialPat

b) Improve the typechecking of parallel list comprehensions,
   which wasn't quite right before.  (see comments with tcStmts)

WARNING: (b) is untested!  Jeff, you might want to check.

*   Numerous other incidental changes in the typechecker

*   Manuel found that rules don't fire well when you have partial applications
    from overloading.  For example, we may get

f a (d::Ord a) = let m_g = g a d
 in
 \y :: a -> ...(m_g (h y))...

    The 'method' m_g doesn't get inlined because (g a d) might be a redex.
    Yet a rule that looks like
g a d (h y) = ...
    won't fire because that doesn't show up.  One way out would be to make
    the rule matcher a bit less paranoid about duplicating work, but instead
    I've added a flag
-fno-method-sharing
    which controls whether we generate things like m_g in the first place.
    It's not clear that they are a win in the first place.

    The flag is actually consulted in Inst.tcInstId

[project @ 2001-01-25 17:48:27 by simonpj]
Import edits

[project @ 2001-01-25 17:47:12 by simonpj]
A big improvement to the way command-line expressions are typechecked.
Now we don't wrap in "print" and hope for the best (the wrong "print"
might be in scope).  Instead we work on the renamed epxression and
do the Right Thing by using the correct "print".

Also do generalisation, so that we get the right type back from
the :t command.

WARNING: it's possible that these files overlap with my fortcoming
Big Commit of typechecker stuff, so you may need to hang on for
a few mins.

[project @ 2001-01-25 17:41:33 by simonpj]
Improve printing

[project @ 2001-01-25 17:32:42 by simonpj]
Add comments about CafRefs

[project @ 2001-01-25 17:21:59 by simonpj]
Formatting only

[project @ 2001-01-25 17:20:47 by simonpj]
Remove redundant import

[project @ 2001-01-25 17:16:41 by simonpj]
Tidy up in tryRhsTyLam

[project @ 2001-01-25 17:15:30 by simonpj]
Arrange that we pass the real-world token *last* when
there are no arguments to a worker.  There might still
be type arguments, and most of GHC kind-of-expects the
type arguments to be first.

[project @ 2001-01-25 17:14:06 by simonpj]
Add ASSERT to knownCon

[project @ 2001-01-25 17:12:34 by simonpj]
Tidy up intersectsVarSet and subVarSet

[project @ 2001-01-25 17:09:46 by simonpj]
Add elemSubstEnv

[project @ 2001-01-25 17:08:51 by simonpj]
Add comment

[project @ 2001-01-25 13:30:42 by rrt]
Removed lots of spurious "Section"s (<XRef> puts the word in anyway), and
fixed a typo.

[project @ 2001-01-25 13:30:31 by simonmar]
Use gettimeofday() to set the target for threadDelay.  The previous
timestamp + ticks hack was wrong, because the virtual timer ticks in
CPU time rather than wall-clock time.

[project @ 2001-01-25 10:44:34 by qrczak]
Correctly generate HS*.o (first collect each module's object files, then
collect modules).

[project @ 2001-01-24 22:37:15 by qrczak]
Add #warning support.

[project @ 2001-01-24 15:46:19 by simonmar]
Add a CAF list for GHCI.

Retaining all looked-up symbols in a list in the interpreter was the
Wrong Thing To Do, since we can't guarantee that the transitive
closure of this list points to all the CAFs so far evaluated (the
transitive closure gets smaller as reachable CAFs are evaluated).

A Better Thing To Do is just to retain all the CAFs.  A refinement is
to only retain all CAFs in dynamically linked code, which is what this
patch implements.

[project @ 2001-01-24 15:41:30 by simonmar]
make +RTS -Sstderr work in the interpreter

[project @ 2001-01-24 15:39:50 by simonmar]
Change the types of is_dynamically_blahblahblah to take void * rather
than char *.

[project @ 2001-01-24 15:37:34 by simonmar]
rename sig_install to stg_sig_install

[project @ 2001-01-21 16:37:22 by sewardj]
Add support for Word#.

[project @ 2001-01-21 16:37:06 by sewardj]
fix typo

[project @ 2001-01-20 21:02:19 by panne]
Remove bogus case alternative

[project @ 2001-01-20 20:55:58 by panne]
Import Prelude explicitly to generate a dependency. Is this the only
place where this is missing? Let's hope for the best...

[project @ 2001-01-19 17:31:24 by simonmar]
back out accidental change that sneaked in with the last commit

[project @ 2001-01-19 15:26:37 by simonmar]
Merge the DriverState and the DynFlags structures - it was silly
having both.

[project @ 2001-01-19 15:02:38 by rrt]
Path mangling for Windows to try to make ghc-inplace work when installed on
other drives than C:.

[project @ 2001-01-19 12:46:07 by simonmar]
compile VoidRep arguments

[project @ 2001-01-19 12:23:16 by simonmar]
ignore Notes when compiling tail calls.

[project @ 2001-01-19 11:08:05 by simonmar]
Sync this with the rest of the RTS and make it compile again.

[project @ 2001-01-19 11:06:20 by simonmar]
DEAD_WEAK ==> stg_DEAD_WEAK

[project @ 2001-01-19 09:53:58 by simonmar]
Protect includes properly.

[project @ 2001-01-19 09:53:33 by simonmar]
protect against systems where

eval ""

returns false (namely MacOS X)

[project @ 2001-01-18 17:19:26 by simonmar]
_scc_'s for the NCG

[project @ 2001-01-18 16:55:03 by simonmar]
add some _scc_'s

[project @ 2001-01-18 16:30:00 by simonmar]
Problem 1
=========

The typechecker, when deciding whether to extend the Package
environment with any new typechecked declarations in its hand, was
inserting new declarations into the environment only if the
declaration's module differed from the "current" module.  This doesn't
work if the "current" module is a package module, as it could be at
the GHCi command line, for example.

The solution is to filter the declarations only if the current module
is not a package module.

Problem 2
=========

The "current" module, as obtained from the compilation manager, was
always bogusly a Home module (it used mkHomeModule).  To properly fix
this, the GHCi state has to carry around Modules instead of
ModuleNames, and CompMan.cmLoadModule needs to return a list of
Modules.

[project @ 2001-01-18 15:19:42 by simonmar]
DocBook police

[project @ 2001-01-18 15:19:22 by simonmar]
update mailing-list info

[project @ 2001-01-18 14:52:07 by simonmar]
update mailing-list info

[project @ 2001-01-18 14:50:52 by simonmar]
Replace majordomo-specific instructions with mailman ones.

[project @ 2001-01-18 14:48:02 by rrt]
Merge fix from ghc-4-07-branch (remove spurious bug-catching code that
messes up stderr files).

[project @ 2001-01-18 12:54:16 by simonmar]
Make the GHCi command line behave as if an "import qualified M" was in
force for all M.

The renamer now has a new "mode": CmdLineMode, which changes the
lookup machinery to turn a qualified lookup into an original name
lookup if the qualified name isn't otherwise in scope.

[project @ 2001-01-18 12:27:42 by sewardj]
Require happy-1.9 now.

[project @ 2001-01-18 11:33:08 by sewardj]
On sparc, do not make %i7 and %o7 available for allocation.  Quite how
it ever worked before I don't know (and I bootstrapped the compiler with
the sparc NCG).  Perhaps it was all just an illusion.  Reminds me of how
Bobby Ewing was (utterly implausibly) bought back to life in Dallas.

[project @ 2001-01-18 11:28:50 by sewardj]
fix typo in comment

[project @ 2001-01-18 11:16:08 by simonmar]
When constructing a GlobalRdrEnv from an interface file for use from
the GHCi command line, don't export the qualified names: a module
which happens to export f from module M shouldn't bring into scope the
qualified identifier M.f when we use it from the command line.

[project @ 2001-01-18 10:51:53 by simonmar]
save the state after a ':t'

[project @ 2001-01-18 10:31:38 by simonmar]
add mkApUpd0zh_fast

[project @ 2001-01-18 10:26:42 by simonmar]
fix multiple instances of objects on the link line

[project @ 2001-01-17 17:32:35 by sewardj]
Update documentation for this magic program a little.

[project @ 2001-01-17 16:54:04 by simonmar]
Remove IfaceStuff and ParserStuff hacks, use happy-1.9's new multiple
%name feature.  GHCi's command line isn't stuck in -fglasgow-exts mode
any more.

<CoverMyBack>
YOU NOW NEED HAPPY 1.9 TO BUILD GHC.
</CoverMyBack>

[project @ 2001-01-17 16:46:01 by sewardj]
Changes needed to get the head to compile on sparc-solaris.

[project @ 2001-01-17 15:23:39 by sewardj]
Bye bye STG Hugs!

[project @ 2001-01-17 15:11:04 by simonmar]
Update sweep

[project @ 2001-01-17 12:46:13 by simonmar]
dcs.gla.ac.uk ==> haskell.org

[project @ 2001-01-17 12:14:30 by simonmar]
merge changes from gmp-3.1.1

[project @ 2001-01-17 12:06:02 by simonmar]
Import stripped down gmp-3.1.1

[project @ 2001-01-17 10:14:40 by simonmar]
more wibbles

[project @ 2001-01-17 10:11:17 by sewardj]
Remove semicolon which was causing a syntax error on sparc-solaris /bin/sh.

[project @ 2001-01-17 10:08:10 by simonmar]
wibbles

[project @ 2001-01-17 10:07:14 by simonmar]
remove the message that says "now do gmake boot followed by gmake..."

[project @ 2001-01-16 21:05:51 by qrczak]
Correctly delimit a LINE pragma.

[project @ 2001-01-16 17:47:10 by simonmar]
Change the way the top-level Makefile works, now that we have a
dependency between ghc and hslibs which means that you can't `make
boot' in hslibs until you've done `make all' in ghc.

  - now you just type `make all' at the top-level, and the makefile
    arranges to do `make boot all' in each of the subdirectories.
    Typing `make boot' at the top-level now yields a message explaining
    what's going on.

  - Now it's no longer necessary to set $(ProjectsToBuild).  If you don't
    set it, the build system attempts to build all the projects in
    the source tree, in the order determined by $(AllProjects) in
    config.mk.  I've been meaning to fix this for ages, since it meant
    that one had to hand-edit config.mk.in when making a distribution
    for anything other than GHC - this is no longer the case.

    You still *can* set ProjectsToBuild if you want to, however.

  - ProjectsToInstall has been replaced by ProjectsDontInstall, and
    has the obvious, reverse, meaning.  It also has a reasonable default,
    so the need to set it should be rare.

All this has the obvious benefit that to build GHC you need one fewer
commands (no more `make boot'), and anyone that has "./configure &&
make && make install" hardwired into their brains will feel right at
home.

[project @ 2001-01-16 17:09:43 by sewardj]
Various ghci interactive UI fixes/improvements.

[project @ 2001-01-16 15:44:42 by sewardj]
hscExpr: be a bit more careful about which pcs version is returned, so
that the environment isn't totally hosed following a type error.

[project @ 2001-01-16 14:16:44 by simonmar]
Improve a parser error message.

[project @ 2001-01-16 14:06:14 by simonmar]
Fix a problem with our use of tcsetattr() which caused background
processes to stop when the buffering mode, or the echo status, was
changed.

tcSetAttr() is a wrapper around tcsetattr() that temporarily blocks
SIGTTOU around the call.

[project @ 2001-01-16 12:44:34 by sewardj]
Give the correct commit message for rev 1.59:
"rm debug printing"

[project @ 2001-01-16 12:42:18 by sewardj]
Fill in some more missing cases.

[project @ 2001-01-16 12:41:05 by sewardj]
rm

[project @ 2001-01-16 12:41:03 by simonmar]
take account of GhcUnregisterised

[project @ 2001-01-16 12:32:45 by simonmar]
add GhcUnregisterised to Config.hs