[project @ 2002-10-18 09:36:21 by simonmar]
Add a note about the profiling versions of the interface files in a package.

[project @ 2002-10-17 14:49:52 by simonmar]
- Don't flush the finder cache after adding a new package.  We'll
  assume that packages don't overlap.

- Add the extra command-line flags specified by a package when we
  add a package from the GHCi prompt.

[project @ 2002-10-17 14:26:16 by simonmar]
Finder overhaul.

The finder had got pretty complicated; this commit is mainly a
cleanup, with one new feature:

  - the finder has a cache (again).  The cache may be flushed by
    calling flushFinderCache, which actually only flushes home modules
    from the cache, because package modules are assumed not to move.
    This change is apropos of some other changes which will result in
    the finder being called more often, so we think a cache is going
    to be worthwhile.

Also a couple of bugs were fixed:

  - the field ml_hi_file in a ModLocation is now *always* the name
    of the .hi file.  If you need a .hi-boot file, you have to make
    it up by changing the suffix of ml_hi_file.  (DriverMkDepend and
    RnHiFiles do this).  This was the cause of a bug, but I can't
    remember the details.

  - The -odir flag now works in a more reasonable way: hierarchical
    modules get put in subdirectories of the -odir directory.  eg.
    if your module is A.B.C, and -odir D is specified, then the object
    will be D/A/B/C.o; previously it would have been D/C.o.

[project @ 2002-10-15 13:20:18 by simonmar]
beginMake: separate out compilation-manager inputs from linkable
objects in a way that is more consistent with the one-shot compilation
mode.  Specifically, we now pass anything that looks like a module
name or a Haskell source filename to the compilation manager, and
everything else to the linker.

MERGE TO STABLE

[project @ 2002-10-15 13:18:51 by simonmar]
Remove looksLikeModuleName, it is defined in Util now.

[project @ 2002-10-15 13:17:40 by simonmar]
Move looksLikeModuleName here from InterativeUI, so we can use it elsewhere.

[project @ 2002-10-15 12:56:03 by simonmar]
wibble

[project @ 2002-10-15 12:38:30 by simonmar]
wibble

[project @ 2002-10-15 12:04:05 by simonmar]
Don't use stdPackage (it has gone)

[project @ 2002-10-15 11:52:31 by simonpj]
------------------------------------------------
Fix exports for a module with  no local bindings
------------------------------------------------

Fix the export-list generation for a module with no local bindings.
This one bug was breaking a bunch of modxxx tests, plus some renamer
test, plus a desugarer test.

[project @ 2002-10-15 11:02:32 by simonmar]
Slight fix to the allocated memory calculation

[project @ 2002-10-15 11:01:29 by simonmar]
Don't need to export Exception.try or Exception.throwDyn here.

[project @ 2002-10-15 11:00:37 by simonmar]
Use Panic.tryMost rather than Exception.try, since we don't want to
catch ^C and panic exceptions.

[project @ 2002-10-15 10:59:38 by simonmar]
Remove unused 'stdPackage'

[project @ 2002-10-15 10:53:21 by simonmar]
Remove the "contributors" section herein an point the interested
reader to the contributors list on the web site which is much more
up-to-date.

[project @ 2002-10-15 08:56:50 by simonpj]
Some reorganising.  Simon and I agreed to leave out most of the (inaccurate) section
on primitive operations, pointing people instead to the Real Truth in primops.txt
and the External Core document.

Also: bugs section added

[project @ 2002-10-14 15:50:14 by sof]
make it compile again (x86)

[project @ 2002-10-14 14:54:16 by simonmar]
Put stdin back into non-blocking mode after calling readline, because
readline sometimes clears the O_NONBLOCK flag (done using the
GHC.Posix interface, so it shouldn't break Win32).

[project @ 2002-10-14 14:44:06 by sof]
make it compile again with 4.08.x

[project @ 2002-10-13 10:55:06 by wolfgang]
Darwin/PowerPC: Don't generate PIC code by default
Non-PIC-code is slightly smaller and faster.
This means that GHC now requires GCC3 (Mac OS X 10.2 Jaguar).

MERGE TO STABLE

[project @ 2002-10-12 23:28:48 by wolfgang]
The Native Code Generator for PowerPC.
Still to be done:
*) Proper support of Floats and Doubles
   currently it seems to work, but it's just guesswork.
*) Some missing operations, only needed for -O, AFAICT.
*) Mach-O dynamic linker stub generation.
   (can't import foreign functions from dynamic libraries,
   and it might fail for big programs)

[project @ 2002-10-12 23:19:54 by wolfgang]
Object Splitting for Mac OS X.

MERGE TO STABLE (... but not today, I have to test it first)

[project @ 2002-10-12 23:12:08 by wolfgang]
Make the Mac OS X build use the HaskellSupport.framework (a MacOS-style "framework" that includes the required libraries libgmp and dlcompat) if it is present. The HaskellSupport.framework is not yet in CVS, but is available from me.

[project @ 2002-10-12 18:16:11 by erkok]
mdo wibbles

[project @ 2002-10-11 16:56:09 by simonpj]
Document infix type constructors

[project @ 2002-10-11 16:49:56 by simonpj]
title wibble

[project @ 2002-10-11 16:45:16 by simonpj]
More reification wibbling; and -ddump-splices

[project @ 2002-10-11 16:42:44 by simonpj]
Docs for Template Haskell

[project @ 2002-10-11 15:45:05 by simonpj]
Wibble

[project @ 2002-10-11 14:46:02 by simonpj]
------------------------------------------
Implement reification for Template Haskell
------------------------------------------

This is entirely un-tested, but I don't think it'll break non-TH stuff.

Implements
reifyDecl T :: Dec -- Data type T
reifyDecl C :: Dec -- Class C
reifyType f :: Typ -- Function f

I hope.

[project @ 2002-10-11 14:25:24 by stolz]
'usleep' nightmare: Sometimes return type is void, sometimes int.

[project @ 2002-10-11 08:48:13 by simonpj]
wibbles

[project @ 2002-10-11 08:47:12 by simonpj]
Fix mdo so that it works with polymorphic functions

[project @ 2002-10-11 08:46:26 by simonpj]
Remove usage-analysis guff in applyTys

[project @ 2002-10-11 08:45:43 by simonpj]
Compatibility fixes for Exception.try

[project @ 2002-10-11 08:04:55 by simonpj]
Add an example about -osuf etc

[project @ 2002-10-11 08:04:29 by simonpj]
Add a note about existential data constructors

[project @ 2002-10-11 07:22:05 by simonpj]
Fix two separate egregious errors in RdrHsSyn, which I
heavily modified when re-doing the top level plumbing.

One had the effect of throwing away fixity decls if there
was also a class decl

The other threw away all but the first and last equation of
a function definition.

Sorry about having so utterly broken the head, guys.

[project @ 2002-10-10 15:14:37 by sof]
rules: permit trailing semi-colon(s) again (inserted by the lexer & needed when compiling Base.lhs)

[project @ 2002-10-10 14:35:55 by sof]
make it compile with 4.08 (module author may very reasonably want to abstract away the ifdef this commit intros.)

[project @ 2002-10-10 14:20:54 by sof]
make it compile in non-DEBUG mode

[project @ 2002-10-10 13:58:18 by sof]
partial undo of prev commit (AC_CHECK_HEADERS([foo],..) isn't equal to AC_CHECK_HEADER([foo],..). Fixes HEAD breakage (cf. _SC_CLK_TCK undefinedness)

[project @ 2002-10-09 16:53:10 by simonpj]
Fix to mdo, plus SrcLocs on splices and brackets

[project @ 2002-10-09 16:35:56 by simonpj]
Import Exception.Try via HsVersions

[project @ 2002-10-09 16:28:56 by simonpj]
Fix and simplify renamer warnings about export lists

[project @ 2002-10-09 15:51:43 by simonpj]
Dont try to splice if compiler isnt bootstrapped

[project @ 2002-10-09 15:37:57 by simonpj]
Missing eqn in getMonoBind

[project @ 2002-10-09 15:36:47 by simonpj]
Remove circular dependencies

[project @ 2002-10-09 15:16:53 by simonpj]
Dont complain about unused things bound by deriving clause

[project @ 2002-10-09 15:15:59 by simonpj]
Bale out if duplicate binders

[project @ 2002-10-09 15:05:05 by simonpj]
---------------------
PS: remove ParseUtils
---------------------

I've combined ParseUtils into RdrHsSyn.  I could never
figure out which thing was defined in which module, and
they were both short.

[project @ 2002-10-09 15:03:48 by simonpj]
-----------------------------------
Lots more Template Haskell stuff
-----------------------------------

At last!  Top-level declaration splices work!
Syntax is

$(f x)

not "splice (f x)" as in the paper.

Lots jiggling around, particularly with the top-level plumbining.
Note the new data type HsDecls.HsGroup.

[project @ 2002-10-08 08:03:01 by wolfgang]
Make the new Posix bindings compile on Mac OS X.
Most notable, Mac OS X lacks
*) lchown
*) SIGPOLL
I don't know of a replacement of either, so they are just left out when
they are not detected by configure.

[project @ 2002-10-06 12:45:41 by wolfgang]
Make it compile for Mac OS X again.

[project @ 2002-10-05 23:54:53 by panne]
The never-ending docbook tragedy: Adapt the catalogs once more... >:-P
NOTE: I don't really have a clue what I'm doing here, but at least it
works with the current SuSE Linux distribution 8.1.

[project @ 2002-10-05 22:31:04 by panne]
Warning police #13: Sync fprintf format strings with args in an
architecture-neutral way.

[project @ 2002-10-05 22:18:45 by panne]
Warning police #12: Multi-line string literals are uncool.

[project @ 2002-10-02 09:36:00 by wolfgang]
PowerPC Mach-O:
Handle more kinds of relocations, so that non-PIC-code can be loaded

[project @ 2002-10-02 09:08:44 by wolfgang]
PowerPC-related changes:
Use proper register names for floating-point registers
Define SpillTmp registers for NCG

[project @ 2002-10-02 02:04:44 by erkok]
typos never end.

[project @ 2002-10-01 18:10:00 by erkok]
typo

[project @ 2002-10-01 17:48:37 by erkok]
wibbles on mdo-documentation

[project @ 2002-10-01 16:28:20 by simonpj]
Wibble in loading of boot interfaces

[project @ 2002-10-01 15:59:03 by erkok]
MonadRec => MonadFix changes

[project @ 2002-10-01 15:58:42 by erkok]
get mfix from Control.Monad.Fix

[project @ 2002-10-01 09:55:38 by simonpj]
Better derived Ord code

[project @ 2002-10-01 08:59:43 by simonpj]
Use the ModSummary fields in record construction

[project @ 2002-10-01 08:53:14 by simonmar]
The help text for the -i profiling option was wrong: it claimed the
argument was in milliseconds rather than seconds.

MERGE TO STABLE

[project @ 2002-09-30 13:42:01 by simonpj]
Move mdo section

[project @ 2002-09-30 13:38:30 by simonpj]
Minor wibble

[project @ 2002-09-30 10:53:21 by simonmar]
.PHONY: package-way-dist

[project @ 2002-09-30 10:34:04 by simonmar]
wibble in dist-manifest rule (writing to MANIFEST.tmp isn't necessary
and may hide errors)

[project @ 2002-09-30 10:32:41 by simonmar]
Don't bother with the $@.tmp hack in the rule for building libraries,
.DELETE_ON_ERROR (in suffix.mk) should do the job for us.

[project @ 2002-09-30 10:26:58 by simonmar]
s/rm -f/$(RM)

[project @ 2002-09-30 10:23:56 by simonmar]
Use $(RM) rather than explicit 'rm -f'

[project @ 2002-09-30 10:22:37 by simonmar]
Set .DELETE_ON_ERROR rather than using the strange construction

<command> || ($(RM) $@; exit 1)

in a few places.

[project @ 2002-09-30 10:17:38 by simonmar]
Replace
.PRECIOUS: %.hs
with
.SECONDARY: %.hs

.PRECIOUS is the wrong thing: it keeps the file when 'make' is
killed, as well as preventing automatic deletion.  .SECONDARY just
prevents the automatic deletion.

Spotted by: Ian Lynagh.

[project @ 2002-09-30 10:14:02 by simonmar]
Fix cut-n-pasto

[project @ 2002-09-30 10:13:23 by simonmar]
$(EXE_SUFFIX) duplicates $(exeext), and the latter seems to be more
widely used, so nuke the former.

[project @ 2002-09-30 10:09:38 by simonmar]
Remove unused $(PRINTER)

[project @ 2002-09-28 07:12:55 by erkok]
clarifications on the mdo documentation.

[project @ 2002-09-28 00:29:32 by erkok]
documentation for the mdo-notation.

(I've run this through jade, no syntax errors, but couldn't get
any html output as my docbook installation is a bit weird: couldn't
find style-files etc. it'll be great if someone can run it through
to make sure what I added looks acceptable..)

[project @ 2002-09-27 23:10:59 by erkok]
get mfix from MonadRec

[project @ 2002-09-27 17:12:23 by erkok]
make sure we get the name right when we call doStmtListErr

[project @ 2002-09-27 12:42:42 by simonpj]
Wibbles to improve error reporting

[project @ 2002-09-27 08:20:43 by simonpj]
--------------------------------
        Implement recursive do-notation
--------------------------------

This commit adds recursive do-notation, which Hugs has had for some time.

mdo { x <- foo y ;
      y <- baz x ;
      return (y,x) }

turns into

do { (x,y) <- mfix (\~(x,y) -> do { x <- foo y;
    y <- baz x }) ;
     return (y,x) }

This is all based on work by Levent Erkok and John Lanuchbury.

The really tricky bit is in the renamer (RnExpr.rnMDoStmts) where
we break things up into minimal segments.  The rest is easy, including
the type checker.

Levent laid the groundwork, and Simon finished it off. Needless to say,
I couldn't resist tidying up other stuff, so there's no guaranteed I
have not broken something.

[project @ 2002-09-27 08:16:24 by simonpj]
--------------------------------
     Do type-checking of external-core input
--------------------------------

When we read in an External Core file, we should really type-check it.
We weren't, because we treated it as if it were trusted, interface-file
material.

This commit fixes the problem, albeit in a bit of a hacky way.  The
typechecking is done by Lint, which does not give as friendly error
messages as does the normal typechecker.  But it's much better than nothing.

I also removed the entirely-unused 'warnings' from the Lint monad.

[project @ 2002-09-27 07:51:57 by simonpj]
typo

[project @ 2002-09-26 16:29:10 by simonpj]
Fix case of C {} for non-record constructor C, but with strict fields

[project @ 2002-09-26 16:28:35 by simonpj]
Fix egregious loop error

[project @ 2002-09-26 09:07:50 by simonmar]
In 'make html', bale out with a useful message if Haddock is not installed.

[project @ 2002-09-26 09:01:34 by simonpj]
Notes on .exe files

[project @ 2002-09-26 08:44:48 by simonpj]
Bale out a little earlier on renamer errors

[project @ 2002-09-26 08:44:14 by simonpj]
Comments

[project @ 2002-09-25 21:30:26 by wolfgang]
merge rev. 1.78.2.7

[project @ 2002-09-25 20:44:23 by wolfgang]
merge rev. 1.33.8.1

[project @ 2002-09-25 20:43:34 by wolfgang]
merge rev. 1.19.2.1

[project @ 2002-09-25 16:10:36 by simonmar]
Update the list of packages already loaded to match recent changes.

[project @ 2002-09-25 16:00:50 by simonmar]
When a command-line evaluation returns an exception, revert to the old
interactive context, because the new context will bind 'it' to a name
that doesn't exist in the linker's symbol table.

[project @ 2002-09-25 15:36:50 by sof]
fix logic in prev. commit