[project @ 2000-11-21 12:32:55 by rrt]
Added rules for GreenCard.

[project @ 2000-11-21 11:31:21 by simonmar]
make ":l hello" load hello.hs if it exists.

[project @ 2000-11-21 11:22:25 by sewardj]
Clean up CM's messages a bit.

[project @ 2000-11-21 10:48:20 by simonmar]
- add default default settings for typecheckExpr
- bugfixes in the interpreter

print (1+2) now works!!

[project @ 2000-11-21 10:46:01 by simonmar]
fix some cut-n-pastos

[project @ 2000-11-21 10:29:54 by simonpj]
Fix field name checking

[project @ 2000-11-21 10:00:44 by simonmar]
add \$Id\$

[project @ 2000-11-21 09:57:02 by sewardj]
rm debugging printfs

[project @ 2000-11-21 09:55:47 by simonmar]
add missing case

[project @ 2000-11-21 09:30:16 by simonpj]
Fix renamer bugs

[project @ 2000-11-20 17:42:00 by sewardj]
Split HscResult into HscFail | HscNoRecomp | HscRecomp, and clean up
producers and consumers of such.  In particular, if no recompilation
happens, the resulting iface is put into the HIT instead of being
thrown away.

Also (trivial) unify functions *ModuleInThisPackage with *HomeModule.

[project @ 2000-11-20 16:51:35 by simonmar]
wibble

[project @ 2000-11-20 16:40:12 by rrt]
Tag-o.

[project @ 2000-11-20 16:37:42 by sewardj]
Fix to -cpp not working?

[project @ 2000-11-20 16:28:29 by simonmar]
Allow the root of the module tree to have a filename which is
different from its module name.  The argument to cmLoadModule is now a
filename.

[project @ 2000-11-20 16:27:36 by simonmar]
Don't return the old iface from addVersionInfo, it might not have
reasonable mi_globals.

[project @ 2000-11-20 16:12:51 by rrt]
Simplified installation instructions (thanks to Christian Lescher) which
allow you to install Cygwin where you like.

[project @ 2000-11-20 16:08:13 by simonmar]
fix compile errors in hscExpr

[project @ 2000-11-20 16:07:12 by simonpj]
Remember local decls when no recompilation is required

[project @ 2000-11-20 15:54:27 by sewardj]
Summarise and mkDependHS faster, by doing fewer passes over the
module's text.

[project @ 2000-11-20 15:40:54 by simonmar]
fix bogus implementation of splitFilename3 (!!!)

[project @ 2000-11-20 14:48:52 by simonpj]
When renaming, typechecking an expression from the user
interface, we may suck in declarations from interface
files (e.g. the Prelude).  This commit takes account of that.

To do so, I did some significant restructuring in TcModule,
with consequential changes and tidy ups elsewhere in the type
checker.  I think there should be fewer lines in total than before.

[project @ 2000-11-20 14:26:27 by simonmar]
wibble

[project @ 2000-11-20 13:43:19 by sewardj]
Delete dead code resulting from redoing of source-up-to-date logic.

[project @ 2000-11-20 13:39:26 by sewardj]
Redo the source-up-to-date logic (in CompManager.upsweep_mod).

[project @ 2000-11-20 11:39:57 by sewardj]
* (CompManager) recompile if in interactive mode and no old linkable exists
* (HscMain) don't write interface files in interactive mode
* (everywhere) switch arg order to unJust for PAP purposes

[project @ 2000-11-20 11:19:21 by simonmar]
Don't put a label as the last thing in a statement block (ANSI C fix)

[project @ 2000-11-20 11:15:41 by simonmar]
remove #warn

[project @ 2000-11-19 19:40:07 by simonmar]
Cleanup sweep.

Includes code to get -H working again, #ifdefed out for the time being
since it needs support in the RTS.

[project @ 2000-11-19 18:39:53 by simonmar]
small fixes/cleanups

[project @ 2000-11-19 18:32:56 by simonmar]
Fix use of non-standard "+" in sed regexp (darn GNU "extensions" :-)

[project @ 2000-11-17 17:03:17 by simonmar]
add a few missing cases

[project @ 2000-11-17 16:53:27 by simonmar]
Results of today's hacking:

  - We can now execute expressions from the GHCi prompt.  However,
    a problem with the typechecker environment means that identifiers
    from outside the current module aren't resolved :-(

  - loading up a multi-module program in the interpreter seems to
    work.  Interpreting is kinda slow (ok, very slow), but I'm hoping
    it'll get better when I compile the interpreter w/ optimisation.

  - :set sort of works - you can do ":set -dshow-passes", for example

  - lots of bugfixes, etc.

[project @ 2000-11-17 13:33:17 by sewardj]
Facilitate handling the situation where name of module /= name of file.
This is handled in CompManager.summarise, which can inspect the source
to see what the _real_ module name is, and act accordingly.
All a bit messy -- needs a rethink.

[project @ 2000-11-17 11:59:59 by sewardj]
Filter the HST and HIT passed to compile to only contain the downwards
closure of the module being compiled.  This means that the instance-env
construction machinery cannot pick up out-of-scope instances from HST.
Don't know if it's necessary to filter HIT -- perhaps not.

Instance env construction still doesn't work right, due to duplicates
being picked up from interface files.

[project @ 2000-11-17 10:13:21 by sewardj]
Make file up-to-dateness checking work in batch mode.

[project @ 2000-11-16 16:54:36 by simonmar]
WOOHOO!  GHCi interprets "Hello World":

 _____  __   __  ____         _________________________________________________
(|      ||   || (|  |)        GHC Interactive, version 5.00
||  __  ||___|| ||     ()     For Haskell 98.
||   |) ||---|| ||     ||     http://www.haskell.org/ghc
||   || ||   || ||     (|     Bug reports to: glasgow-haskell-bugs@haskell.org
(|___|| ||   || (|__|) \\______________________________________________________

Loading package std ... resolving ... done.
Prelude> :l Main
cmLoadModule: downsweep begins
getSummary: Main
after tsort:

NONREC
   ModSummary { ms_mod = Main, ms_imps = [] ms_srcimps = [] }
CHECKING OLD IFACE for hs = Just "./Main.hs", hspp = Just "/tmp/ghc25011.hspp"
COMPILATION IS REQUIRED
UPSWEEP COMPLETELY SUCCESSFUL
CmLink.link: linkables are ...
LinkableM Main [Trees [Main.main = letP stg_cIM = (@PP Native PrelShow.$fShow[] Native PrelShow.$fShowChar)
                                   in
                                   letP stg_cIL = (@IP Native PrelBase.unpackCString# 141613256#)
                                   in
                                   (@PP (@PP Native PrelIO.print stg_cIM) stg_cIL)]]
Main.main
CmLink.link: done
Prelude> Main.main
Run expression: Main.main
evalI:
141613256#

"Hello, world!"
done.

[project @ 2000-11-16 16:23:03 by sewardj]
* Move along the source-changed checkery.
* Make the driver put object files in the right place when using CM.
* Don't do hscNoRecomp in one-shot mode.

[project @ 2000-11-16 15:57:05 by simonmar]
Moving things around a bit to avoid cycles.

Further progress on interactive linker.

[project @ 2000-11-16 14:43:05 by simonpj]
Add stuff to support hscExpr

[project @ 2000-11-16 12:49:05 by simonmar]
oops, undo part of rev 1.57 that was commited by mistake.

[project @ 2000-11-16 11:39:36 by simonmar]
Current state of the interactive system; can load packages (in theory).

[project @ 2000-11-16 11:34:42 by simonmar]
Fix the order in which we look for .hi-boot files.

[project @ 2000-11-16 10:48:22 by simonmar]
on second thoughts, add this somewhere more sensible

[project @ 2000-11-16 10:32:30 by simonmar]
merge rev. 1.78.2.4 (applyTy bugfix)

[project @ 2000-11-16 10:00:01 by simonmar]
Add test for applyTy bug in the simplifier.

[project @ 2000-11-16 09:51:31 by simonmar]
merge rev. 1.66.2.6 (add splitMethodTy)

[project @ 2000-11-15 17:07:34 by simonpj]
I finally got tired of not having
splitTyConApp
tyConAppTyCon
tyConAppArgs

(Previously we called splitTyConApp_maybe,
 but it's a pain in the neck.)

[project @ 2000-11-15 17:07:17 by simonpj]
The main thing in this commit is to make sure the desugarer
looks a the right TyCon when desugaring a record update.
Again, it's because in GHCI-land, it's possible that the
some versions of the TyCon won't have the constructors;
but the one in the FieldLabel will.

[project @ 2000-11-15 15:43:30 by sewardj]
Overhaul of CM, reducing the complexity of recursive module machinery.
Also, don't compute package dependencies at all, and don't pass them
to the linker.

[project @ 2000-11-15 14:37:08 by simonpj]
The main thing in this commit is to change StgAlts so that
it carries a TyCon, and not a Type.  Furthermore, the TyCon
is derived from the alternatives, so it should have its
constructors etc, even if there's a module loop involved, so that
some versions of the TyCon don't have the constructors visible.

There's a comment in StgSyn.lhs, with the type decl for StgAlts

Also: a start on hscExpr in HscMain.

[project @ 2000-11-15 10:49:53 by sewardj]
Fix up the Batch vs Interactive plumbing.

[project @ 2000-11-15 09:58:00 by sewardj]
Fix z-encoding problem in findDependency (moduleNameString ->
moduleNameUserString).

[project @ 2000-11-14 17:41:04 by sewardj]
Fixes to do with CM and module cycles.  Also to do with OPTIONS pragmas.

[project @ 2000-11-14 16:28:38 by simonmar]
Make -fvia-C and -fasm-XXX into dynamic flags.  The HscLang handling
is somewhat cleaned up.

[project @ 2000-11-14 15:04:15 by sewardj]
Stop the world in the Approved Manner if the finder can't find a module.

[project @ 2000-11-14 15:03:46 by sewardj]
Don't forget to prepend paths to source module names.

[project @ 2000-11-14 14:47:23 by simonmar]
Don't redefine int8_t and friends, even if we didn't find a definition
of INT8_MIN.  Some /usr/includes, eg. cygwin it seems, like to define
the types but not the constants.

[project @ 2000-11-14 14:34:06 by simonmar]
remove all the module-specific -H settings.

[project @ 2000-11-14 14:33:02 by simonmar]
don't hardcode -H options in the Makefile

[project @ 2000-11-14 14:30:40 by simonmar]
don't prepend current_dir to the name of the hifile twice.

[project @ 2000-11-14 13:59:44 by sewardj]
Only do batch linking if the upsweep succeeds and someone exports Main.main.

[project @ 2000-11-14 12:53:29 by simonmar]
wibble

[project @ 2000-11-14 12:52:55 by simonmar]
catch_info ==> stg_catch_info
raise_entry ==> stg_raise_entry

[project @ 2000-11-14 12:51:51 by simonmar]
more renamings

[project @ 2000-11-14 12:49:57 by simonmar]
some more missing changes in the RTS renaming.

[project @ 2000-11-14 12:47:38 by simonmar]
Missing change in the recent renaming of RTS symbols.

[project @ 2000-11-14 12:07:44 by simonpj]
Fix another naming bug

[project @ 2000-11-14 11:25:22 by simonpj]
vanilla -> constantIdInfo

[project @ 2000-11-14 10:56:08 by simonmar]
Fix the non-GTKish build.

[project @ 2000-11-14 10:46:39 by simonpj]
Compiles now

[project @ 2000-11-14 08:07:11 by simonpj]
Changing the way we know whether
something is exported.

THIS COMMIT WON'T EVEN COMPILE
(I'm doing it to transfer from my laptop.)
Wait till later today before updating.

[project @ 2000-11-13 17:17:40 by simonmar]
Pull in inttypes.h if we have it, as the second-favourite option after
stdint.h.  This should fix problems building the readline cbits on Solaris.

[project @ 2000-11-13 17:13:51 by simonmar]
Test for inttypes.h: Solaris' version of stdint.h

[project @ 2000-11-13 17:12:37 by sewardj]
Temporarily turn off the source-unchanged? test in DriverPipeline.compile
whilst I figure out what's really supposed to happen :-)

[project @ 2000-11-13 17:08:36 by sewardj]
First shot at batch linking.  Does not attempt linking if upsweep
was not completely successful.  Always attempts linking if upsweep
successful, even if there's no 'main' to be found anywhere.

[project @ 2000-11-13 16:17:05 by sewardj]
Changes so that the new hsc-inplace can build the prelude unassisted.

[project @ 2000-11-13 16:16:05 by sewardj]
Implement -ddump-hi.

[project @ 2000-11-13 14:53:27 by simonmar]
merged from ghc-4-07-branch: don't save %i7 across the call.

[project @ 2000-11-13 14:45:22 by sewardj]
Deal correctly with module names containing underscores.

[project @ 2000-11-13 14:42:16 by simonmar]
Set tso->link to END_TSO_QUEUE in resumeThread.  This is probably
harmless, but it can trigger an assertion failure later on in the
scheduler.

[project @ 2000-11-13 14:41:13 by simonmar]
common up INTLIKE and CHARLIKE closures during GC.

[project @ 2000-11-13 14:40:36 by simonmar]
Change the names of several RTS symbols so they don't potentially
clash with user code.  All the symbols that may clash now have an
"stg_" prefix.

[project @ 2000-11-13 14:34:37 by sewardj]
-E now puts results in a <file>.hspp, doesn't dump to stdout.

[project @ 2000-11-13 14:34:03 by sewardj]
Document change in behaviour of -E.

[project @ 2000-11-13 13:57:31 by sewardj]
No longer needed.

[project @ 2000-11-13 12:43:20 by sewardj]
First shot at wiring up 'ghc --make'.

[project @ 2000-11-13 11:04:06 by simonmar]
Merge register allocation fix for idiv from before-ghci-branch:

  1.59.2.1  +2 -37     fptools/ghc/compiler/nativeGen/MachCode.lhs
  1.40.2.1  +15 -4     fptools/ghc/compiler/nativeGen/MachMisc.lhs
  1.43.2.1  +20 -1     fptools/ghc/compiler/nativeGen/PprMach.lhs
  1.26.2.1  +8 -15     fptools/ghc/compiler/nativeGen/RegAllocInfo.lhs

[project @ 2000-11-13 10:34:52 by simonmar]
merge rev. 1.46.2.3 from ghc-4-07-branch (fix line numbers in
defaulting warnings).

[project @ 2000-11-13 10:25:00 by simonmar]
merge rev. 1.45.2.4 from ghc-4.07-branch (fix location in warning)

[project @ 2000-11-10 17:04:01 by simonpj]
Fix printing of deprecations

[project @ 2000-11-10 15:12:50 by simonpj]
1. Outputable.PprStyle now carries a bit more information
In particular, the printing style tells whether to print
a name in unqualified form.  This used to be embedded in
a Name, but since Names now outlive a single compilation unit,
that's no longer appropriate.

So now the print-unqualified predicate is passed in the printing
style, not embedded in the Name.

   2. I tidied up HscMain a little.  Many of the showPass messages
have migraged into the repective pass drivers

[project @ 2000-11-10 14:29:20 by simonmar]
cleanups; print the full version number of the building compiler
(inc. the patchlevel) in verbose mode.

[project @ 2000-11-10 09:51:45 by simonmar]
Add test illustrating the BlockedOnDeadMVar exception.

[project @ 2000-11-09 12:54:08 by simonmar]
A few doLink fixes (merged from driver).

[project @ 2000-11-09 12:19:02 by rrt]
...that's about it.

[project @ 2000-11-09 12:14:56 by rrt]
...

[project @ 2000-11-09 11:54:36 by rrt]
Removed spurious file.

[project @ 2000-11-09 11:53:41 by rrt]
Spurious file.

[project @ 2000-11-09 11:48:14 by rrt]
...