[project @ 2000-11-27 10:52:29 by rrt]
Removed vsgml->sgml rule: we no longer have vsgml.

[project @ 2000-11-27 10:52:07 by rrt]
Removed second copy of sgml->ps rule and added latex->html rule (for use
with HeVeA).

[project @ 2000-11-27 10:51:14 by sewardj]
Nuked.  (Decided not to go this route in the end).

[project @ 2000-11-27 10:48:10 by simonmar]
rename filterNameEnv-->filterNameMap to avoid clash with Name.filterNameEnv.

[project @ 2000-11-27 09:55:43 by simonpj]
Fixes to new version machinery

[project @ 2000-11-24 17:09:52 by simonmar]
- Bug fixes to the interpreter.  Now much more stable - it hasn't crashed
  all day.

- Many improvements to the user interface (eg. :set +t and :set +s
  work just like Hugs).

- Several wibbles & message improvements: the interpreter now informs you
  when it's loading the object code for a given module.

[project @ 2000-11-24 17:02:01 by simonpj]
1. Make the new version machinery work.
   I think it does now!

2. Consequence of (1): Move the generation of
   default method names to one place (namely
   in RdrHsSyn.mkClassOpSigDM

3. Major clean up on HsDecls.TyClDecl
   These big constructors should have been records
   ages ago, and they are now.  At last.

[project @ 2000-11-24 09:51:38 by simonpj]
Unused imports and suchlike

[project @ 2000-11-24 09:51:03 by simonpj]
Version management

[WARNING: may not work!  Don't update till I've tested it.]

This commit is a first stab at getting version management to
work properly.  The main trick is to get consistent naming when
comparing old and new versions of the same module.

Some functionality has moved arond between
  coreSyn/CoreTidy, which tidies up the result of
the middle end of the compiler
Main change: now responsible for figuring out which
Ids are "external" (i.e visible to importing modules),
and constructing the final IdInfo for each Id

  main/MkIface, which produces the ModIface and ModDetails
for the module being compiled
Main change: CoreTidy does more, so MkIface does less

  stgSyn/CoreToStg, which converts Core to STG
Main change: responsible for globalising internal
names when we are doing object code splitting

The game plan is documented at the top of CoreTidy.

[project @ 2000-11-24 09:24:40 by simonpj]
Slurp unpackCString even for interfaces

[project @ 2000-11-23 14:35:01 by simonmar]
more hacking

[project @ 2000-11-22 17:51:16 by simonmar]
Today's hacking; more things work, but StgInterp is rapidly heading
for a brick wall.  Fortunately we're planning to swerve at the last
minute.

[project @ 2000-11-22 16:58:31 by sewardj]
Infrastructure for the (machine-independent) assembler.

[project @ 2000-11-22 15:51:48 by simonmar]
:l now unloads the previously loaded module collection before loading
the new ones.  This allows you to :l Main, :cd <somewhere-else> and :l
Main again without it saying "compilation IS NOT required".

[project @ 2000-11-22 12:27:57 by simonmar]
omit PrelMain from the GHCi library.

[project @ 2000-11-22 12:22:15 by simonmar]
remove some duplicate showPasses.

[project @ 2000-11-22 12:19:29 by simonmar]
message wibble

[project @ 2000-11-22 12:14:56 by simonmar]
add stuff for building GHCi libraries automatically.

[project @ 2000-11-22 11:18:40 by simonmar]
Fix problems with errors during renaming causing the PIT to get out of
whack.

[project @ 2000-11-22 11:12:52 by simonmar]
typos

[project @ 2000-11-22 10:56:53 by simonmar]
- :type now prints names unqualified when possible.
- :module is implemented

[project @ 2000-11-22 10:13:43 by sewardj]
Don't commit junk in the Makefile :-(

[project @ 2000-11-22 10:01:45 by sewardj]
compiling-with-4.08.1 wibbles

[project @ 2000-11-22 09:24:42 by simonmar]
message wibbles: don't print "compilation IS required" in -v0 mode.

[project @ 2000-11-21 16:42:58 by simonmar]
Bugfixes, bugfixes:

  - allow compiling expressions in the context of any module we have
    an interface for, including "Prelude".
  - don't forget to pull in things like unpackCString# in the renamer,
    we might need to use them for desugaring Strings, for example.  I'm
    sure there are other things we'll need to pull in too.
  - :quit now works from the interpreter (!)

[project @ 2000-11-21 16:33:18 by simonmar]
Zonk the expr we return from typecheckExpr.

[project @ 2000-11-21 16:31:51 by sewardj]
Delete pci field from PersistentCMState.  Now that the list of available
packages is a global variable (v_Packages), there's no point in having it
in PersistentCMState.

[project @ 2000-11-21 16:30:04 by simonmar]
merge rev. 1.9.2.6

[project @ 2000-11-21 16:29:26 by simonmar]
merge rev. 1.44.2.4

[project @ 2000-11-21 16:19:15 by sewardj]
Message wibbles.

[project @ 2000-11-21 16:18:17 by sewardj]
Only let the finder see the set of packages which will be available for
linking with, rather than all available packages.

[project @ 2000-11-21 15:41:10 by sewardj]
Add dummy import dependency to CgExpr so that booting in batch mode works.

[project @ 2000-11-21 15:00:57 by simonmar]
* :t works !!!  (but it's a bit excessive about qualifying everything
  at the moment).

* lots of other things work.

[project @ 2000-11-21 14:43:30 by sewardj]
Return the correct file name for .stub_[ch] files.

[project @ 2000-11-21 14:31:58 by simonmar]
Mostly verbosity changes.

GONE AWAY:  -dshow-passes, -ddump-all, -ddump-most.

NEW:
    -v<n>, where <n> is

    0 |   print errors & warnings only
    1   |   minimal verbosity: print "compiling M ... done." for each module.
    2   |   equivalent to -dshow-passes
    3   |   equivalent to existing "ghc -v"
    4   |   "ghc -v -ddump-most"
    5   |   "ghc -v -ddump-all"

4 & 5 are the same at the moment.  -dshow-passes also prints out the
passes in the driver, and some in the compilation manager.

[project @ 2000-11-21 13:13:25 by simonpj]
In the ModIface for an interface from a .hi file, generate an environment

[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