[project @ 2001-07-02 12:00:44 by simonmar]
oops, cut-n-paste removed tabs

[project @ 2001-07-02 10:08:52 by simonmar]
The hc-file bundle should contain the .hs files generated from .hsc
files because of a chicken-egg problem with building hsc2hs.

[project @ 2001-06-30 22:57:20 by qrczak]
Don't add leading space to libdir (was harmful for drivers).

Don't add $(ProjectNameShort)-$(ProjectVersion) to libdir if
$(ProjectNameShort) is empty; I hope it's correct.

[project @ 2001-06-30 11:21:12 by simonmar]
sigh, the split script broke due to changes in gcc on FreeBSD (again).

[project @ 2001-06-30 00:12:52 by sof]
FPTOOLS_CC_FLAG: Save and restore CFLAGS

[project @ 2001-06-30 00:00:49 by sof]
Tidy up the handling of -mno-cygwin.

[project @ 2001-06-29 16:58:06 by sewardj]
Test for mingw32_TARGET_OS and cygwin32_TARGET_OS instead of WIN32.

[project @ 2001-06-29 16:17:28 by sewardj]
Let the PEi386 machinery recognise .rodata sections.

[project @ 2001-06-29 15:37:52 by simonmar]
The "Warning: deleting non-existent foo" message should only be
printed in verbose mode.

[project @ 2001-06-29 15:30:49 by simonmar]
reformat & add a comment

[project @ 2001-06-29 15:30:14 by simonmar]
Copy was ignoring its 'purpose' argument

[project @ 2001-06-29 15:10:14 by simonmar]
Change a '>' to '>=' when comparing the modification times of object &
source files, to match make's behaviour and eliminate some unnecessary
recompiles.

This introduces some potential unsafety, but it was felt that the
benefits in terms of unsurprising behaviour were worth it.

[project @ 2001-06-29 14:47:58 by sewardj]
Fix up package util.

[project @ 2001-06-29 14:47:20 by sewardj]
package util: don't include readline on Win32

[project @ 2001-06-29 13:57:08 by sewardj]
Remove spurious "return ()" from WIN32 hSetBinaryMode.  Why this didn't
cause a syntax error before now completely escapes me.

[project @ 2001-06-29 13:53:55 by simonmar]
Uncomment part of this test that works properly now.

[project @ 2001-06-29 13:42:19 by simonmar]
Test that openFile in WriteMode doesn't truncate the file if an error
occurs.

[project @ 2001-06-29 13:41:43 by simonmar]
Fix bug where openFile in WriteMode truncates the file even if the
open fails because of a locking violation.

[project @ 2001-06-29 13:40:50 by simonmar]
Test that readFile doesn't leave the file locked after its output has
been forced completely.

[project @ 2001-06-29 13:18:18 by sewardj]
Test for __MINGW32__, not __MINGW__.

[project @ 2001-06-29 12:58:20 by rrt]
Change the way that IO exceptions are handled and some associated details:

1. In the top-level exception handler, don't treat IO exceptions as a panic,
just print them out and stop.

2. In the slurping routines SysTools.copy and the fake cpp in
DriverPipeline, don't catch IO exceptions, just let them propagate.

[project @ 2001-06-29 12:45:39 by simonmar]
Fix a bug in hGetContents, namely that it wasn't closing the handle
when the end of file was reached.  Also tried to tidy the code up a
bit while I was here.

[project @ 2001-06-29 11:40:48 by simonpj]
Share handles with creator so that error messages come out

[project @ 2001-06-29 11:35:14 by simonpj]
Add comments

[project @ 2001-06-29 10:35:09 by rrt]
Stop copy adding a newline to the end of the copy

[project @ 2001-06-28 18:05:48 by rrt]
Split up win32 tests so CPP is only updated after cpp is found

[project @ 2001-06-28 17:56:10 by rrt]
Set C and CPP flags before finding gcc

[project @ 2001-06-28 16:44:18 by rrt]
Fix getCPUTime on Windows

[project @ 2001-06-28 16:44:07 by rrt]
Improve comment

[project @ 2001-06-28 15:45:49 by rrt]
Remove debugging statements^Wexpressions

[project @ 2001-06-28 15:11:07 by simonpj]
Fix a missing case in kcHsType.

[Could be merged into 5.00.3, but we probably
 aren't going to have such a thind.]

[project @ 2001-06-28 15:06:47 by lewie]
Here ya go!

[project @ 2001-06-28 14:51:57 by rrt]
Fix mangling of -B path.

[project @ 2001-06-28 14:41:19 by simonmar]
fix the ghc-inplace script w.r.t. the latest changes to SysTools.hs

[project @ 2001-06-28 14:26:58 by sewardj]
Add enough syms to get packages  lang text concurrent  into GHCi.

[project @ 2001-06-28 14:15:01 by simonmar]
First cut of the Haskell Core Libraries
=======================================

NOTE: it's not meant to be a working snapshot.  The code is just here
to look at and so the NHC/Hugs guys can start playing around with it.

There is no build system.  For GHC, the libraries tree is intended to
be grafted onto an existing fptools/ tree, and the Makefile in
libraries/core is a quick hack for that setup.  This won't work at the
moment without the other changes needed in fptools/ghc, which I
haven't committed because they'll cause breakage.  However, with the
changes required these sources build a working Prelude and libraries.

The layout mostly follows the one we agreed on, with one or two minor
changes; in particular the Data/Array layout probably isn't final
(there are several choices here).

The document is in libraries/core/doc as promised.

The cbits stuff is just a copy of ghc/lib/std/cbits and has
GHC-specific stuff in it.  We should really separate the
compiler-specific C support from any compiler-independent C support
there might be.

Don't pay too much attention to the portability or stability status
indicated in the header of each source file at the moment - I haven't
gone through to make sure they're all consistent and make sense.

I'm using non-literate source outside of GHC/.  Hope that's ok with
everyone.

We need to discuss how the build system is going to work...

[project @ 2001-06-28 13:48:32 by rrt]
Fix Unix copy (now same as Windows: slow, but working).

[project @ 2001-06-28 11:51:52 by simonmar]
clean up remove_suffix:

  - only use it when getExecDir works (i.e. on Windows)
  - therefore, don't require that the build-tree TOPDIR has a
    /ghc/compiler suffix.
  - fix a bug with the installed build, where the binary lives
    in $libdir/bin not $libdir.

ghci-inplace should work again now.

[project @ 2001-06-28 11:47:03 by simonmar]
revert a change from SOF that looks like it sneaked in accidentally
(and broke happy configuration).

[project @ 2001-06-28 11:34:42 by simonmar]
ghci may take multiple modules on the command line.

[project @ 2001-06-28 11:33:24 by simonmar]
document :add and multiple arguments to :load

[project @ 2001-06-28 11:29:26 by simonmar]
:add and :load take multiple arguments.

[project @ 2001-06-28 10:39:54 by rrt]
Reimplement copy as a slurp in Haskell to avoid problems with pesky
Windows command-line tools. Grr.

[project @ 2001-06-28 10:25:30 by sewardj]
Add comment referring to horrible hack to do with HSstd splitting/merging.

[project @ 2001-06-28 10:19:48 by sewardj]
For Win32 only: institute a totally horrible, temporary hack
in getPackageLibraries, which merges HSstd1 and HSstd2 back into
HSstd.  TEMPORARY!

[project @ 2001-06-28 09:57:32 by simonmar]
include version.mk before boilerplate.mk, so that boilerplate.mk has
the project name and version available.

Override libdir and datadir in fptools/mk/config.mk to add the project
name and version.

Suggested by: Manuel

[project @ 2001-06-28 09:49:40 by simonmar]

[project @ 2001-06-28 08:36:30 by simonpj]
Comment and import wibbles

[project @ 2001-06-27 19:42:19 by reid]
Inching closer to making the HGL part of the standard build.

This commit is mostly to remove bits of xlib and greencard whch had
crept into the source tree.

ToDo:

- make greencard part of standard build (waiting for response from
  simonM)
- make greencard install libHSgreencard when it builds
- find a autoconf-respecting way of installing the package
- only build xlib and HGL if you have X11 installed
- merge all these changes into HEAD
- should the demos/ tests be built as part of the standard build?
  what's the convention here?
  (Note that the tests can't be used in batch more - you gotta click
  on the window.)
- a little debugging - the tests aren't quite working.

[project @ 2001-06-27 17:00:44 by simonmar]
Clean up the hierarchical-module-name lexical analysis and fix a
couple of bugs at the same time.

[project @ 2001-06-27 16:38:17 by simonmar]
When we're in --interactive or --make mode, we don't even *look* for
interface files in the home package.

This means that cd'ing into fptools/ghc/lib/std and starting up GHCi
Just Works, which is a good thing.  It also subsumes the previous hack
about checking whether we're renaming a command-line expression before
allowing a home interface to be loaded.

The downside is that if you try to use a qualified name for a home
module that's not loaded, you'll get a slightly less informative error
message: "interface file not found" rather than "module not loaded",
but this could be improved.

[project @ 2001-06-27 16:34:55 by simonmar]
Allow a module to be found on the package path only, by adding

  findPackageModule :: ModuleName -> IO (Maybe (Module,ModuleLocation))

[project @ 2001-06-27 16:33:59 by simonmar]
Print the contents of opt_InPackage rather than "<THIS>" for the home
package.

[project @ 2001-06-27 16:33:10 by simonmar]
PrelGHC is package 'std'

[project @ 2001-06-27 15:26:56 by chak]
And removed bin/ from $(GHCBIN) again *sigh*

[Yeah, I tested the previous commit before committing and it worked for me
due to a not-clean build tree.]

I don't think that it is a good idea to redefine execlibdir in
`ghc/mk/boilerplate.mk'.  Makes already complicated scripts even harder to
understand...

[project @ 2001-06-27 15:03:35 by sewardj]
wibble to do with findOnPackagePath

[project @ 2001-06-27 14:26:36 by sewardj]
mingw ghci linking wibble.

[project @ 2001-06-27 13:56:01 by sewardj]
Clean up Win32 linking a bit, by fishing symbols out of msvcrt.dll
as needed.  This reduces the size of but unfortunately does not
eliminate the RTS_MINGW_ONLY_SYMBOLS hack.

[project @ 2001-06-27 13:42:32 by chak]
Added bin/ to $(GHCBIN)

[project @ 2001-06-27 13:16:59 by rrt]
use xcopy, as copy is a cmd.exe built-in

[project @ 2001-06-27 13:16:30 by rrt]
Tidy up formatting

[project @ 2001-06-27 13:13:57 by rrt]
Fix comment typo

[project @ 2001-06-27 11:39:54 by simonmar]
- take into account the extra_ghc_opts field in a package spec.
- 80-columnize
- remove unused imports.

[project @ 2001-06-27 11:29:10 by sewardj]
Reinstate the no-duplicates ASSERTion.  This was perfectly correct
and the GHCi-on-windows bug which triggered it is elsewhere.

[project @ 2001-06-27 11:18:26 by simonmar]
add a commented out trace that was useful for debugging.

[project @ 2001-06-27 11:17:47 by simonmar]
GHCi may now have multiple targets, from the command line or via the
:a command.

[project @ 2001-06-27 11:16:28 by simonmar]
QCONID may now contain multiple dots.

[project @ 2001-06-27 11:15:34 by simonmar]
modid may be a QCONID, and make sure we use modid in an import spec.

[project @ 2001-06-27 11:14:07 by simonmar]
Allow multiple targets to be specified on the command line for ghc
--make and GHCi.  Also implement :a command in GHCi (untested and
undocumented so far).

[project @ 2001-06-27 11:11:31 by simonmar]
fix hierarchical modules in a package

[project @ 2001-06-27 11:11:03 by simonmar]
allow '.' in a module name

[project @ 2001-06-27 11:04:33 by sewardj]
On mingw32, package std for ghci is split into HSstd1.o and HSstd2.o.

[project @ 2001-06-27 10:35:48 by simonpj]
Add comment

[project @ 2001-06-27 10:14:13 by rrt]
Close file after reading OPTIONS pragma

[project @ 2001-06-27 06:52:16 by reid]
[After fumbling around in the makefile forest for a while, Sigbjorn
enlightened me as to where one registers new hslib packages.  Golly,
never thought of looking over here.  I'd kinda expected that it would
be in the makeforest since makefiles seem to contain all (or almost
all) the information needed to install a package.  (Any chance this
stuff could be moved into the makeforest in the new library
infrastructure?)  It seems that'd be more effective since it'd be able
to benefit from all that good information that autoconf spent so long
figuring out about your X installation, your platform, your
internationalisation library, etc.]

Oh, yeah, the change... Added xlib to the package list.  Result looks
plausible.

[project @ 2001-06-27 06:18:40 by sof]
mingw: derive plat-specific HSC2HS_EXTRA settings from the default SRC_CC_OPTS

[project @ 2001-06-27 06:17:22 by sof]
try to get rid off a special case for mingw, where CC_OPTS was forced to always contain '-mno-cygwin -mwin32'

[project @ 2001-06-26 23:22:37 by sof]
wibble

[project @ 2001-06-26 23:12:19 by sof]
Test whether $(CC) supports -mwin32 + have configure script set SRC_CC_OPTS

[project @ 2001-06-26 16:32:03 by rrt]
Get rid of quotes around arguments to -D and -U. These get stripped by the
Unix shell, but not by Windows's system, which upsets gcc.

[project @ 2001-06-26 16:31:07 by rrt]
Make system.c get compiled properly

[project @ 2001-06-26 16:30:50 by rrt]
Fix typos

[project @ 2001-06-26 15:51:55 by rrt]
Make stage two getExecDir for Windows work again. Where did it go before?

[project @ 2001-06-26 11:07:55 by simonpj]
Add #include for SysTools

[project @ 2001-06-26 11:07:42 by simonpj]
Add comments

[project @ 2001-06-26 08:13:04 by reid]
NOTE: new configure.in - remember to autoconf and reconfig

I'm moving X.gc and Xlib.gc from hslibs/graphics/lib/x11 to
hslibs/xlib and integrating them into the hslibs maketree.  This lib
now lives at the same place in the hierarchy as win32 - probably not
perfect for the new library story but good enough for the old hslibs I
think.

I'm not converting them from GreenCard to hsc2hs but I think that
would be a good medium term goal.  I'd like to do it myself because
I'd like to try using hsc2hs but I can't imagine when I'll get the
time so if someone feels like doing it, go right ahead.  (The HGL
(hslibs/graphics/lib/x11) is probably the only code that depends on
the Xlib interface - so mild changes to the Xlib API would be fairly
easy to fix up.)

It all seems to build and compile (not sure about linking yet) but,
for the life of me, I can't figure out what part of the makefile calls
ghc-pkg -a so that isn't quite working yet.  (I _think_ the makefile
does this - but could be wrong.)

If someone could either point me at the relevant part of the makefile
docs or just fix it for me, I could move onto getting the graphics lib
integrated into the hslibs maketree - which would leave me with just
the Hugs part of the HGL distribution to fix before the next Hugs
release.  (If I was a good Haggis, I'd beat up on Hugs' ffi too - but
I'm a very overworked Haggis at the moment so I'm not sure I'll get
that far.)

[project @ 2001-06-25 21:08:01 by sof]
sorry - prev. commit didn't take into account that the ghc version scheme isn't just a.bb[.c], but also a.bb[.yyyymmdd]. This broke the nightly build, my bad

[project @ 2001-06-25 17:28:30 by sof]
Replace GHC version testing with something a bit more sturdy

[project @ 2001-06-25 14:50:22 by simonpj]
Keep pgm paths in native format

[project @ 2001-06-25 14:36:04 by simonpj]
Import wibbles

[project @ 2001-06-25 13:13:58 by simonpj]
In nubBy, put argument to eq in the standard order

[project @ 2001-06-25 11:11:16 by rrt]
Fix so that it compiles on both pre and post 5.00 series compilers.

[project @ 2001-06-25 09:49:59 by rrt]
Comment out an uncomfortable ASSERT for now.

[project @ 2001-06-25 09:44:10 by rrt]
Add more symbols for mingwin version to get it to work. This still needs
tidying up.

[project @ 2001-06-25 09:34:11 by rrt]
Remove hacked-in definition of system for mingwin; instead we now just link
against the new version of systemCmd from lib/std/cbits/system.c.

[project @ 2001-06-25 08:09:57 by simonpj]
----------------
Squash newtypes
----------------

This commit squashes newtypes and their coerces, from the typechecker
onwards.  The original idea was that the coerces would not get in the
way of optimising transformations, but despite much effort they continue
to do so.   There's no very good reason to retain newtype information
beyond the typechecker, so now we don't.

Main points:

* The post-typechecker suite of Type-manipulating functions is in
types/Type.lhs, as before.   But now there's a new suite in types/TcType.lhs.
The difference is that in the former, newtype are transparent, while in
the latter they are opaque.  The typechecker should only import TcType,
not Type.

* The operations in TcType are all non-monadic, and most of them start with
"tc" (e.g. tcSplitTyConApp).  All the monadic operations (used exclusively
by the typechecker) are in a new module, typecheck/TcMType.lhs

* I've grouped newtypes with predicate types, thus:
data Type = TyVarTy Tyvar | ....
  | SourceTy SourceType

data SourceType = NType TyCon [Type]
| ClassP Class [Type]
| IParam Type

[SourceType was called PredType.]  This is a little wierd in some ways,
because NTypes can't occur in qualified types.   However, the idea is that
a SourceType is a type that is opaque to the type checker, but transparent
to the rest of the compiler, and newtypes fit that as do implicit parameters
and dictionaries.

* Recursive newtypes still retain their coreces, exactly as before. If
they were transparent we'd get a recursive type, and that would make
various bits of the compiler diverge (e.g. things which do type comparison).

* I've removed types/Unify.lhs (non-monadic type unifier and matcher),
merging it into TcType.

Ditto typecheck/TcUnify.lhs (monadic unifier), merging it into TcMType.

[project @ 2001-06-25 08:08:32 by simonpj]
---------------------------
Add a new case optimisation
---------------------------

I found that lib/std/PrelCError had a case-expression that was
generating terrible code.   Something like this

x | p `is` 1 -> e1
  | p `is` 2 -> e2
...etc...

where @is@ was something like

p `is` n = p /= (-1) && p == n

This gave rise to a horrible sequence of cases

case p of
  (-1) -> $j p
  1    -> e1
  DEFAULT -> $j p

and similarly in cascade for all the join points!

Solution: add the following transformation:

case e of =====>     case e of
  C _ -> <expr>      D v -> ....v....
  D v -> ....v....      DEFAULT -> <expr>
  DEFAULT -> <expr>

The point is that we merge common RHSs, at least for the DEFAULT case.
[One could do something more elaborate but I've never seen it needed.]

This transformation is implemented in SimplUtils.mkCase

*** WARNING ***
To make this transformation easy, I have switched the convention
for DEFAULT clauses.  They must now occur FIRST in the list of
alternatives for a Core case expression.  (The semantics is
unchanged: they still are a catch-all case.)

The reason is that DEFAULT clauses sometimes need special treatment,
and it's a lot easier to find them at the front.

The easiest way to be insensitive to this change is to use
CoreUtils.findDefault to pull the default clause out.

I've made the (surprisingly few) changes consequent on this changed
of convention, but they aren't in this commit.  Instead they are part
of the big commit on newtypes I'm doing at the same time.

[project @ 2001-06-25 08:01:16 by simonpj]
----------------------------------
Fix a predicate-simplification bug
----------------------------------

Fixes a bug pointed out by Marcin

    data R = R {f :: Int}
    foo:: (?x :: Int) => R -> R
    foo r = r {f = ?x}

    Test.hs:4:
Could not deduce `?x :: Int' from the context ()
arising from use of implicit parameter `?x' at Test.hs:4
In the record update: r {f = ?x}
In the definition of `foo': r {f = ?x}

The predicate simplifier was declining to 'inherit' an
implicit parameter.  This is right for a let-binding, but
wrong for an expression binding.  For example, a simple
expression type signature:

(?x + 1) :: Int

This was rejected because the ?x constraint could not be
floated out -- but that's wrong for expressions.

[project @ 2001-06-25 05:25:31 by sof]
One RCS  will do

[project @ 2001-06-25 01:35:07 by sof]
With -no-hs-main, don't force PrelMain.o to be linked (=> Main.o)