[project @ 2001-02-23 01:28:12 by chak]
Added description for -fno-method-sharing.

Shouldn't that flag be under the heading `Individual optimisations'?

[project @ 2001-02-22 22:39:56 by qrczak]
Add --keep option to not delete *.hs_make.c.
Add -c -l -C -L -i as synonyms for --cc --ld --cflag --lflag --include.

[project @ 2001-02-22 17:25:27 by rrt]
Add -mno-cygwin to CPP rather than CPPFLAGS, so that it gets into mkdependC
and the like.

[project @ 2001-02-22 16:48:24 by qrczak]
Since fromInt was degraded to a function, do the same with toInt.

[project @ 2001-02-22 16:44:29 by rrt]
Add -mno-cygwin to CC_OPTS on mingwin (we were building all our auxiliary
programs Cygwinised before...).

[project @ 2001-02-22 16:10:12 by rrt]
-hisuf is now done by fptools/mk/target.mk

[project @ 2001-02-22 13:17:57 by simonpj]
fromInt

Remove fromInt from class Num, though it is retained
as an overloaded operation (with unchanged type) in PrelNum.

There are quite a few consequential changes in the Prelude.
I hope I got them all correct!

Also fix a bug that meant Integer (and its instances)
wasn't getting slurped in by the renamer, even though it
was needed for defaulting.

[project @ 2001-02-22 13:16:48 by simonpj]
Add more tests

[project @ 2001-02-21 17:35:01 by rrt]
Move rules to tag .hi files with the way from hslibs/mk/target.mk to
fptools/mk/target.mk.

[project @ 2001-02-21 17:23:59 by rrt]
Tidied up and removed discussion of solved mingw package problem.

[project @ 2001-02-21 17:15:45 by simonpj]
Add integerTyCon to the ubiquitous types

[project @ 2001-02-21 16:24:34 by simonmar]
Make this work with GHC 4.08, and remove duplicate (old) copy of Andy
Gill's HTML combinator package.

[project @ 2001-02-21 12:55:48 by simonpj]
Improve the identity-case transform in strange Coerce situations

[project @ 2001-02-21 12:14:45 by simonpj]
More wibbles

[project @ 2001-02-21 11:36:01 by simonmar]
-O turns on -fignore-asserts.

[project @ 2001-02-21 11:04:17 by simonpj]
Be a bit more careful in CoreSat.deLam

[project @ 2001-02-20 18:40:54 by qrczak]
Apply tweaks needed to let this compile: remove syn_map argument from
typecheckExpr in HscMain, import PrelNum.fromInt to modules which
use integer literals with -fno-implicit-prelude flag.

It crashes later, on Directory.hs:
ghc: panic! (the `impossible' happened):
        srtExpr

I'm not sure if resolving numeric literals to top-level definitions
of fromInt/fromInteger with -fno-implicit-prelude is a good idea.
Using names from whatever module is called Prelude would be IMHO
better, probably when -fglasgow-exts is given. Prel* modules themselves
would import PrelNum as Prelude.

Both schemes break for fromInt, which is non-standard and by default
it's visible neither at the top level nor in the Prelude module. My
proposal for dealing with it is as follows (assuming that fromInteger
is taken from the module locally called Prelude instead of the top
level): when the standard Prelude is used, take fromInt from PrelNum;
when a Prelude replacement is used, use fromInt from it if available,
otherwise use its fromInteger instead. That way Prelude replacements
can ignore this non-standard extension and get the expected behavior,
or they can also choose to use this extension (in a way compatible
with Haskell implementations which allow to replace Prelude but don't
have fromInt).

[project @ 2001-02-20 18:05:23 by simonmar]
More doc hacking.

Call for Release Notes (CFRN): the 5-00-notes.sgml file is currently a
skeleton only; PLEASE add or expand entries for things you've done.

[project @ 2001-02-20 15:44:26 by simonpj]
Eta expansion wibbles
~~~~~~~~~~~~~~~~~~~~~
* Don't eta reduce, and do eta expand,
  data con workers and primops

  Reason: they don't have bindings, so they aren't really
  ordinary variables.

This is a bit of a swamp, provoked by moving CoreSat later,
something I'm beginning to wonder about...

Not are things settled yet -- I think some rules may
not fire that should because of constructor worker/wrapper
issues.  E.g when you have   foldr (:) [] xs = xs

[project @ 2001-02-20 15:38:45 by simonpj]
Import wibble

[project @ 2001-02-20 15:38:27 by simonpj]
Layout wibble

[project @ 2001-02-20 15:37:42 by simonpj]
Add another assert

[project @ 2001-02-20 15:36:55 by simonpj]
Remove IPName altogether

[project @ 2001-02-20 15:35:28 by simonpj]
Use tcIfaceType

[project @ 2001-02-20 13:15:11 by simonpj]
Fix top level float

[project @ 2001-02-20 11:04:42 by simonmar]
Make the warning package options (-W, -w, -Wall) dynamic.

[project @ 2001-02-20 09:55:12 by simonpj]
Wibble

[project @ 2001-02-20 09:45:57 by simonpj]
Import wibbles

[project @ 2001-02-20 09:45:30 by simonpj]
A bit more on deprecations

[project @ 2001-02-20 09:45:12 by simonpj]
A bit more on decoupling the prelude

[project @ 2001-02-20 09:42:50 by simonpj]
Typechecking [TcModule, TcBinds, TcHsSyn, TcInstDcls, TcSimplify]
~~~~~~~~~~~~
* Fix a bug in TcSimplify that broke functional dependencies.
  Interleaving unification and context reduction is trickier
  than I thought.  Comments in the code amplify.

* Fix a functional-dependency bug, that meant that this pgm:
class C a b | a -> b where f :: a -> b

g :: (C a b, Eq b) => a -> Bool
g x = f x == f x
  gave an ambiguity error report.  I'm afraid I've forgotten
  what the problem was.

* Correct the implementation of the monomorphism restriction,
  in TcBinds.generalise.  This fixes Marcin's bug report:
test1 :: Eq a => a -> b -> b
test1 x y = y

test2 = test1 (3::Int)
  Previously we were erroneously inferring test2 :: () -> ()

* Make the "unf_env" that is looped round in TcModule go round
  in a big loop, not just round tcImports.  This matters when
  we have mutually recursive modules, so that the Ids bound in
  the source code may appear in the imports.  Sigh.  But no big
  deal.

  It does mean that you have to be careful not to call isLocalId,
  isDataConId etc, because they consult the IdInfo of an Id, which
  in turn may be determined by the loop-tied unf_env.

[project @ 2001-02-20 09:41:48 by simonpj]
Deprecations [HscTypes, MkIface, Rename, RnEnv, RnIfaces]
~~~~~~~~~~~~
* Arrange that a change in deprecations is treated as a
  hi-file difference.

* Warn about deprecations at the usage site.  This entailed
  changing HscTypes.GlobalRdrEnv to include deprecations.
  While I was at it, I changed the range of GlobalRdrEnv
  to a data type, GlobalRdrElt, instead a of a pair.

[project @ 2001-02-20 09:40:43 by simonpj]
Decoupling the Prelude [HsExpr, HsLit, HsPat, ParseUtil, Parser.y, PrelNames,
~~~~~~~~~~~~~~~~~~~~~~  Rename, RnEnv, RnExpr, RnHsSyn, Inst, TcEnv, TcMonad,
TcPat, TcExpr]
The -fno-implicit-prelude flag is meant to arrange that when you write
3
you get
fromInt 3
where 'fromInt' is whatever fromInt is in scope at the top level of
the module being compiled.  Similarly for
* numeric patterns
* n+k patterns
* negation

This used to work, but broke when we made the static/dynamic flag distinction.
It's now tidied up a lot.  Here's the plan:

  - PrelNames contains sugarList :: SugarList, which maps built-in names
    to the RdrName that should replace them.

  - The renamer makes a finite map :: SugarMap, which maps the built-in names
    to the Name of the re-mapped thing

  - The typechecker consults this map via tcLookupSyntaxId when it is doing
    numeric things

At present I've only decoupled numeric syntax, since that is the main demand,
but the scheme is much more robustly extensible than the previous method.

As a result some HsSyn constructors don't need to carry names in them
(notably HsOverLit, NegApp, NPlusKPatIn)

[project @ 2001-02-20 09:38:59 by simonpj]
Back end changes [CgExpr, ClosureInfo, CoreSat, CoreUtils,
~~~~~~~~~~~~~~~~  CmdLineOpts, HscMain, CoreToStg, StgSyn]
* Move CoreTidy and interface-file dumping *before* CoreSat.
  In this way interface files are not in A-normal form, so
  they are less bulky, and a bit easier to use as input to
  the optimiser.

  So now CoreSat is regarded as a pre-pass to CoreToStg.
  Since CoreTidy pins on utterly-final IdInfo, CoreSat has to
  be very careful not to change the arity of any function.

* CoreSat uses OrdList instead of lists to collect floating binds
  This in turn meant I could simplify the FloatingBind type a bit

* Greatly simplfy the StgBinderInfo data type.  It was
  gathering far more information than we needed.

* Add a flag -fkeep-stg-types, which keeps type abstractions
  and applications in STG code, for the benefit of code generators
  that are typed; notably the .NET ILX code generator.

[project @ 2001-02-20 08:57:46 by simonpj]
Add fundeps tests

[project @ 2001-02-20 03:41:31 by qrczak]
Remove unbalanced #endif.

[project @ 2001-02-19 16:18:38 by rrt]
Use Sleep under mingw rather than sleep (which is obsolete), and try using
fork under cygwin (it should work by now, shurely...).

[project @ 2001-02-19 16:10:23 by rrt]
Don't declare unused struct termios on mingwin.

[project @ 2001-02-19 16:07:48 by rrt]
Move if #ifndefs so that no code is compiled on win32; the code that was
compiled was doing nothing useful, and probably shouldn't have been.

[project @ 2001-02-19 14:54:48 by rrt]
Add -mno-cygwin to CPPFLAGS on i386-unknown-mingw32 to stop configure.h
getting lots of bogus headers that aren't there. I'm not at all sure why
this hasn't caused problems before...

[project @ 2001-02-19 12:35:31 by simonmar]
fix the GHC_HAPPY_OPTS hack to correctly detect happy 1.10

[project @ 2001-02-19 12:13:49 by simonmar]
Rather than implement -K (which would probably need another primop),
simply bump the maximum stack size to 8M.  It dynamically grows
anyhow.

[project @ 2001-02-19 11:38:55 by sewardj]
Expand on comments re StString lifting activity

[project @ 2001-02-19 10:15:54 by sewardj]
Fix two bugs exposed when trying to boot HEAD on sparc with NCG and -O:

1.  StScratchWords on sparc were in the wrong place; they were
    immediately above %fp and should have been immediately below.
    Fixed.  Also removed a suspicious-looking "+1" in the x86
    version of same.

2.  (Potentially affects all platforms): Lift strings out from
    top-level literal data, and place them at the end of the block.
    The motivating example (bug) was:

     Stix:
        (DataSegment)
        Bogon.ping_closure :
        (Data P_ Addr.A#_static_info)
        (Data StgAddr (Str `alalal'))
        (Data P_ (0))
     results in:
        .data
                .align 8
        .global Bogon_ping_closure
        Bogon_ping_closure:
                .long   Addr_Azh_static_info
                .long   .Ln1a8
        .Ln1a8:
                .byte   0x61
                .byte   0x6C
                .byte   0x61
                .byte   0x6C
                .byte   0x61
                .byte   0x6C
                .byte   0x00
                .long   0
   ie, the Str is planted in-line, when what we really meant was to place
   a _reference_ to the string there.  This is Way Wrong (tm).  Fixed.

[project @ 2001-02-19 09:06:23 by qrczak]
Oops, I broke it yesterday; don't use autoheader.
(I don't see my yesterday's commit log. I changed #define to #undef
in autoconf templates.)

[project @ 2001-02-18 17:22:49 by qrczak]
Change #define to #undef in autoconf templates.

[project @ 2001-02-18 14:45:15 by qrczak]
Recent Unicode and future ISO-10646 finally decided that the character
code space ends at U+10FFFF. Let ghc follow the rules: maxBound::Char
is now '\x10FFFF', etc.

[project @ 2001-02-17 20:21:50 by sebc]
The LIBM variable was between two Readline related variables. Cleaned up.

[project @ 2001-02-17 19:52:56 by sebc]
Make LIBM be detected by autoconf.

[project @ 2001-02-16 17:35:01 by simonmar]
Today's doc hacking.

[project @ 2001-02-16 12:07:10 by sewardj]
Remove ghc-$(ProjectVersion) from GhcBinDistPrlScripts, since it's not
a perl script any more.

[project @ 2001-02-16 11:39:37 by sewardj]
Remove ghc-stats from GhcBinDistLibPrlScripts.

[project @ 2001-02-16 09:53:51 by simonmar]
deLam the contents of an _scc_: they don't disappear at code
generation time.

[project @ 2001-02-15 22:34:48 by qrczak]
Use ${1+"$@"} instead of "$@". How stupid are those shells.

[project @ 2001-02-15 19:43:18 by qrczak]
Use "$@" instead of $* to pass commandline arguments safely.

[project @ 2001-02-15 17:33:53 by simonmar]
More documentation rewriting...  I'm particularly proud of the "flag
reference" section, please check it out.

[project @ 2001-02-15 17:22:15 by sewardj]
Correct usage info for tryPutMVar#.

[project @ 2001-02-15 14:30:35 by sewardj]
VoidRep call/return support for interpreted code.

[project @ 2001-02-15 14:27:36 by sewardj]
VoidRep call/return support for the interpreter.

[project @ 2001-02-15 12:38:35 by simonmar]
re-order the WithHc and WithGhc tests: now if you specify
--with-ghc=<ghc>, then WithHc also gets <ghc> if you don't set it
explicitly.  Previously it got whatever ghc was in the PATH, which
would fail if there wasn't a ghc in the PATH at all.

[project @ 2001-02-15 10:02:43 by simonmar]
changes to support tryPutMVar which I forgot in the main commit.

[project @ 2001-02-14 14:28:49 by rrt]
Remove -l from library name in libraries list (oops!)

[project @ 2001-02-14 14:14:55 by simonmar]
simple tryPutMVar test.

[project @ 2001-02-14 14:02:58 by simonmar]
Tidy the type we get back from typecheckExpr.

[project @ 2001-02-14 13:56:50 by simonmar]
add tryPutMVarzh_fast

[project @ 2001-02-14 12:59:34 by simonmar]
- make putMVar block rather than raise an exception when it encounters a
  full MVar (to match the semantics in our recent paper on async excpetions).

- add tryPutMVar, a non-blocking version of putMVar.

[project @ 2001-02-14 12:43:24 by rrt]
Turn off linking under Windows until it's fixed (that's linking, there's no
hope of fixing Windows).

[project @ 2001-02-14 12:41:15 by rrt]
Add winmm to libraries for RTS under Windows, where it's now used for
threadDelay.

[project @ 2001-02-14 12:37:10 by rrt]
Remove inadvertently committed debugging gumph.

[project @ 2001-02-14 12:36:06 by rrt]
Make isDirectory work on Windows (dirent.d_name is a char *, not a char []);
also getDirectoryContents (readdir helpfully sets errno to ENOENT when we've
read the last entry, rather than leaving it at 0).

Windows is *not* the way of the future.

[project @ 2001-02-14 12:32:48 by rrt]
Remove an out-of-date comment and correct a Windows wibble.

[project @ 2001-02-14 11:54:33 by simonmar]
PrimOp dependency wibble

[project @ 2001-02-14 11:36:07 by sewardj]
Remove support for directly loading .so's/.DLL's from the cmd line
in interactive mode and instead support the -lfooble mechanism.

[project @ 2001-02-14 11:03:59 by sewardj]
Show error messages generated from failed .so/.DLL load attempts.

[project @ 2001-02-14 11:02:36 by sewardj]
Allow addDLL to return error message strings to caller.

[project @ 2001-02-14 10:33:05 by simonmar]
Fix for tail-calling on HP-UX, and a lengthy explanation, thanks to
Andy Bennet <andy_bennet@hp.com>.

[project @ 2001-02-14 09:50:00 by simonmar]
add -ldl to SRC_HC_OPTS if GhcWithInterpreter=YES and HaveLibDL=YES.

[project @ 2001-02-13 18:37:53 by qrczak]
Fix evalExpr's comment: it's Bool again, not Maybe.

[project @ 2001-02-13 18:08:44 by simonmar]
beginnings of a documentation revamp

[project @ 2001-02-13 18:01:22 by simonmar]
style nitpicking

[project @ 2001-02-13 17:48:25 by sewardj]
Improve detection and rejection of unboxed tuples.

[project @ 2001-02-13 17:40:37 by qrczak]
No, please don't pass hsc2hs/Main.hs through cpp :-)
It corrupts __GLASGOW_HASKELL__ in strings (because of string gaps).

I moved the system-dependent thing to KludgedSystem (it should be
named better as it no longer contains only the system function)
so it does not require cpp.

(I keep it in sync with QForeign, which is easier if the same source
can work in both places.)

[project @ 2001-02-13 17:13:39 by sewardj]
* Turn off -O when --interactive is engaged.
* Check and abort if --interactive is used together with any non-std Way.

[project @ 2001-02-13 16:58:34 by simonmar]
markup fix

[project @ 2001-02-13 16:11:27 by rrt]
Make work again on Windows. Main.hs has to be passed through CPP now.

[project @ 2001-02-13 15:53:10 by qrczak]
Main.hs is not passed through cpp, so I moved #ifdefed defaultCompiler
to module KludgedSystem which is passed through cpp.

[project @ 2001-02-13 15:51:57 by sewardj]
In interactive mode, pre-load into the runtime linker any .so/.o/.DLL
files specified on the command line.

[project @ 2001-02-13 15:23:33 by rrt]
Remove typos, and NO_LARGE_TUPLES, which was the wrong way round anyway (so
we never had large tuples).

[project @ 2001-02-13 15:12:42 by rrt]
Update tests not to use deprecated features (except that I had to write
Exception.catch everywhere instead of catch for some reason, because ghc
complained that catch was ambiguous (Exception. vs PrelException.).

Also add some cases to make mingwin work.

[project @ 2001-02-13 15:09:02 by rrt]
Make it work on Cygwin. Story of my life.

[project @ 2001-02-13 14:34:40 by simonmar]
oops, back out accidental changes

[project @ 2001-02-13 14:18:49 by simonmar]
Don't build HS*.o for ways other than the normal way.

[project @ 2001-02-13 13:11:07 by sewardj]
Add more general support for linking .so's into the running image.

[project @ 2001-02-13 13:10:14 by sewardj]
Move library names from extra_ld_opts to extra_libraries.

[project @ 2001-02-13 13:09:36 by sewardj]
Properly handle loading .so's in interactive mode.

[project @ 2001-02-13 11:11:06 by simonmar]
make this compile with profiling on (it probably won't work, though).

[project @ 2001-02-13 11:10:28 by rrt]
Use MM timers on Windows even when not profiling, as threadDelay needs it
to work properly.

Flush stdout when quitting (in RtsUtils), as Linux glibc probably works now,
and it reveals error messages that are otherwise truncated when one's
program segfaults.

[project @ 2001-02-13 10:57:24 by simonmar]
do the dlopen() check a better way.

[project @ 2001-02-13 10:47:33 by simonmar]
update the configure system to find dlopen(), whether it lives in -ldl
or in the standard C library.

I'd like to take this opportunity to throw a few bricks in the general
direction of whoever invented this godforsaken tool.

[project @ 2001-02-13 10:12:45 by sewardj]
PrelCError_HC_OPTS = +RTS -K4m -RTS