[project @ 2001-01-30 12:30:37 by rrt]
Modernise Perl paragraph.

[project @ 2001-01-30 12:14:02 by simonmar]
update documentation to reflect change from _scc_ to {-# SCC ".." #-}

[project @ 2001-01-30 12:13:34 by simonmar]
Allow {-# SCC "..." #-} to be used instead of _scc_ "...".  The latter
will be phased out in a couple of versions.

[project @ 2001-01-30 11:13:26 by simonmar]
Add Sigbjorn's hack to fix the Happy version test.

[project @ 2001-01-30 10:59:04 by simonmar]
put sys/types.h and sys/timeb.h includes under their own #ifdefs,
instead of all under HAVE_WINDOWS_H.

[project @ 2001-01-30 10:56:55 by simonmar]
lang package needs an undefined symbol (for deprecated rts_mkAddr)

[project @ 2001-01-30 10:55:04 by simonmar]
slight reorganisation of the -ddump-hi-diffs output

[project @ 2001-01-30 10:53:22 by simonmar]
Don't discard top-level functions in interactive mode, even if they're
not exported.  When typing expressions in the context of a module, the
entire top-level scope of the module should be available.

[project @ 2001-01-30 10:52:14 by simonmar]
remove unnecessary cases in static_flags

[project @ 2001-01-30 10:50:48 by simonmar]
remove CAF List hack; the RTS has support for CAF retension and reversion.

[project @ 2001-01-30 10:32:45 by simonpj]
Fix utter bogon in OccurAnal

[project @ 2001-01-30 09:53:11 by simonpj]
More on functional dependencies

My last commit allowed this:

instance C a b => C [a] [b] where ...

if we have

class C a b | a -> b

This commit completes the change, by making the
improvement stages improve only the 'shape' of the second
argument of C.

I also had to change the iteration in TcSimplify -- see
the comments in TcSimplify.inferLoop.

[project @ 2001-01-29 17:43:16 by simonmar]
track the changes in absCSyn/PprAbsC.lhs

[project @ 2001-01-29 17:25:54 by simonmar]
a static link field is required for CAFs, now

[project @ 2001-01-29 17:23:40 by simonmar]
Remove the old Hugs CAF code, install our own (minimal, somewhat
cryptic, but better commented) CAF reversion story.  See
Storage.c:newCaf() for the details.

[project @ 2001-01-29 16:42:59 by simonmar]
fix infinite loop problem in mkRecordSelId

[project @ 2001-01-29 15:09:34 by simonpj]
Remove trace

[project @ 2001-01-29 14:28:06 by simonpj]
Fix superclass bug in context reduction (gave infinite loops before!)

[project @ 2001-01-29 14:27:39 by simonpj]
Improve occurs check for synonyms => better error messages

[project @ 2001-01-29 08:42:54 by simonpj]
Be a bit more liberal about allowing instance decls through.
In particular, allow this:

instance C a b => C [a] [b] where ...

if we have

class C a b | a -> b

This is an experimental feature. Furthermore it requires a
little more work (which I have not yet done) to make improvement
work properly.

[project @ 2001-01-29 08:41:09 by simonpj]
Check class decls for validity only for source-code, not iface decls

[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>