[project @ 2002-10-27 10:38:32 by mthomas]
Remove Win32 library dependency.

[project @ 2002-10-25 21:59:51 by simonpj]
Put findLinkable in Finder.lhs, where it can be found in non-ghci stage1 compilers!

[project @ 2002-10-25 21:58:24 by simonpj]
Import wibbles

[project @ 2002-10-25 16:54:55 by simonpj]
Import wibbles

[project @ 2002-10-25 15:57:03 by simonpj]
Reduce exports, and add comments

[project @ 2002-10-25 15:23:03 by simonpj]
------------------------
More dependency fiddling
------------------------

WARNING: Interface file format has changed (again)
 You need to 'make clean' in all library code

* Orphan modules are now kept separately
  Home-package dependencies now contain only home-package dependencies!
  See HscTypes.Dependencies

* Linker now uses the dependencies to do dynamic linking

Result: Template Haskell should work even without --make (not yet tested)

[project @ 2002-10-25 12:56:34 by simonmar]
We shouldn't be using MAP_FIXED on solaris (fixes last night's crash).

Unfortunately on Solaris the heuristics don't work too well.  Solaris
seems to ignore the addr argument to mmap when MAP_FIXED is not
specified, and starts handing out memory from the top of the address
space.  So we allocate 2M each time and munmap() ends to leave an
aligned 1M chunk.  This will eventually leave the address space
completely full of 1M holes.  I don't have a good solution to this at
the moment.

MERGE TO STABLE

[project @ 2002-10-25 12:34:12 by michaelw]
* typo (dl -> dnl)

[project @ 2002-10-25 11:33:27 by simonpj]
Wibble; cures failure in stage2 build

[project @ 2002-10-25 09:40:47 by simonmar]
In eval_thunk_selector(), don't follow IND_STATICs because they might
lead us into to-space.  Fixes a case of "EVACUATED object entered!".

Also, add an assertion to catch this bug earlier.

MERGE TO STABLE

[project @ 2002-10-24 16:54:19 by simonpj]
Uh oh; got the versioning stuff a bit wrong in the last commit

[project @ 2002-10-24 14:17:46 by simonpj]
------------------------------------------
1. New try and module and package dependencies
2. OrigNameCache always contains final info
------------------------------------------

These things nearly complete sorting out the incremental
linking problem that started us off!

1. This commit separates two kinds of information:

  (a) HscTypes.Dependencies:
What (i)  home-package modules, and
     (ii) other packages
      this module depends on, transitively.

      That is, to link the module, it should be enough
      to link the dependent modules and packages (plus
      any C stubs etc).

      Along with this info we record whether the dependent module
      is (a) a boot interface or (b) an orphan module.  So in
      fact (i) can contain non-home-package modules, namely the
      orphan ones in other packages (sigh).

  (b) HscTypes.Usage:
      What version of imported things were used to
      actually compile the module.  This info is used for
      recompilation control only.

2. The Finder now returns a correct Module (incl package indicator)
first time, so we can install the absolutely final Name in the
OrigNameCache when we first come across an occurrence of that name,
even if it's only an occurrence in an unfolding in some other interface
file.  This is much tidier.

As a result Module.lhs is much cleaner
No DunnoYet
No mkVanillaModule
ALl very joyful stuff.

[project @ 2002-10-24 13:08:35 by simonmar]
In --make mode, consider everything that doesn't contain a '.' to be a
compilation manager input.  This fixes cases like

  ghc --make test37

where test37.hs exists.  I broke this in the previous commit, causing
a number of tests to break.

[project @ 2002-10-23 15:56:39 by simonpj]
Document implicit parameter bindings

[project @ 2002-10-23 14:30:00 by simonpj]
------------------------------------------------
Allow implicit-parameter bindings anywhere that
a normal binding group is allowed.
------------------------------------------------

That is, you can have implicit parameters

* in a let binding
* in a where clause (but then you can't have non-implicit
  ones as well)
* in a let group in a list comprehension or monad do-notation

The implementation is simple: just add IPBinds to the allowable forms of HsBinds,
and remove the HsWith expression form altogether.   (It now comes in via the
HsLet form.)

It'a a nice generalisation really.  Needs a bit of documentation, which I'll do next.

[project @ 2002-10-23 12:26:11 by mthomas]
Declare loop index i.

[project @ 2002-10-23 08:52:26 by simonmar]
Add atomicModifyIORefzh_fast symbol (should have been done with the
rest of the atomicModifyIORef# commit, thanks to Manuel Chakravarty
for pointing out the problem).

[project @ 2002-10-23 02:36:37 by chak]
Added an import to make TH compile.

[project @ 2002-10-22 13:36:56 by simonmar]
Fix recent FreeBSD breakage in the mangler: the "Prologue Junk" test
was a little bit too strict about whitespace.

[project @ 2002-10-22 11:01:18 by simonmar]
change the types of cmp_thread, rts_getThreadId, and labelThread to
take StgPtr rather than StgTSO *, since the compiler now has no
distinction between these two types in the back end.

I also noticed that labelThread need not be a primitive: it could just
as well be a normal C function called by the FFI, but I haven't made
that change.

[project @ 2002-10-22 10:31:21 by simonpj]
Import wibbles

[project @ 2002-10-21 12:42:31 by simonmar]
Turn an instance of 0xfff00000 into ~MBLOCK_MASK in the Win32 code.

[project @ 2002-10-21 11:38:53 by simonmar]
Bite the bullet and generalise the central memory allocation scheme.
Previously we tried to allocate memory starting from a fixed address,
which was set for each architecture (0x5000000 was a common one), and
to decide whether a particular address was in the heap or not we would
do a simple comparison against this address.

This doesn't work too well, because:

 - if we dynamically-load some objects above the boundary, the
   heap-allocated test becomes invalid

 - on windows we have less control, and the heap might be
   split into multiple sections

 - it turns out that on some Linux kernels we don't get memory where
   we asked for it.  This might be a bug in those kernels, but it
   exposes the fragility of our allocation scheme.

The solution is to bite the bullet and maintain a table mapping
addresses to a value indicating whether that address is in the heap or
not.  Since we normally allocate heap in chunks of 1Mb, the table is
quite small: 4k on a 32-bit machine, using one byte for each 1Mb
block.  Testing an address for heap residency now involves a memory
access, but the table is normally cache-resident.  I didn't manage to
measure any slowdown after making the change.

On a 64-bit machine, we'll need to use a 2-level table; I haven't
implemented that yet.

Now we can generalise the procedure used to grab memory from the OS.
In the general case, we allocate one megablock more than we need to,
and trim off the slop around the allocation to leave an aligned chunk.
The next time around, however, we try to allocate memory right after
the last chunk allocated, on the grounds that it is aligned and
probably free: if this doesn't work, we have to back off to the
general mechanism (it seems to work most of the time).

This cleans up the Windows story too: is_heap_alloced() has gone, and
we should be able to handle more than 256M of memory (or whatever the
arbitrary limit was before).

MERGE TO STABLE (after lots of testing)

[project @ 2002-10-19 10:42:23 by stolz]
Retro Police: There are hosts w/o in_addr_t (e.g. SuSE 7.0)

[project @ 2002-10-18 13:41:50 by simonpj]
--------------------------------
   Fix a serious error in the "newtype deriving" feature
--------------------------------

The "newtype deriving" feature lets you derive arbitrary classes for
a newtype, not just the built-in ones (Read, Show, Ix etc).  It's very
cool, but Hal Duame discovered that it did utterly the Wrong Thing
for superclasses.  E.g.

newtype Foo = MkFoo Int deriving( Show, Num, Eq )

You'd get a Num instance for Foo that was *identical* to the
Num instance for Int, *including* the Show superclass. So the
superclass in the Num dictionary would show a Foo just like an
Int, which is wrong... it should show as "Foo n".

This commit fixes the problem, by building a new dictionary every time,
but using the methods from the dictionary for the representation type.

I also fixed a bug that prevented it working altogether when the
representation type was not the application of a type constructor.
For example, this now works

newtype Foo a = MkFoo a deriving( Num, Eq, Show )

I also made it a bit more efficient in the case where the type is
not parameterised.  Then the "dfun" doesn't need to be a function.

[project @ 2002-10-18 13:36:17 by simonpj]
Add a trace

[project @ 2002-10-18 13:35:46 by simonpj]
Import wibbles

[project @ 2002-10-18 10:16:04 by simonmar]
Add the Haskell Web Server to the fptools repository so I can give it
a proper license.

[project @ 2002-10-18 09:51:03 by simonmar]
Add atomicModifyIORef, as discussed on the FFI list.

[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