[project @ 2003-03-06 13:24:46 by ross]
notes for Hugs

[project @ 2003-03-06 13:24:08 by ross]
generate docs/libraries.html

[project @ 2003-03-06 12:03:34 by simonmar]
Split off the hierarchical libraries page, so the Hugs folks can use it too.

[project @ 2003-03-05 10:22:22 by simonmar]
Duh.  hsc2hs should be in $(GhcBinDistShScripts), not
$(GhcBinDistBins), otherwise it doesn't get the right directories
tacked on the front at installation time.  Strange that nobody
complained that hsc2hs wasn't working from a binary dist *shrug*.

[project @ 2003-03-04 11:12:11 by simonmar]
Make it compile again with 5.04.x

[project @ 2003-03-04 10:39:58 by simonmar]
Fix compilation breakage with GHC 4.08.x.

[project @ 2003-03-04 01:29:25 by sof]
win32/Ticker.c:startTicker(),
win32/IOManager.c:NewIOWorkerThread():
  pass in non-NULL pointer to _beginthreadex()'s outgoing thread ID arg.
  Needed to work with Win9x's impl of CreateThread().

[project @ 2003-03-03 12:43:31 by simonmar]
A round of space-leak fixing.

  - re-instate zapping of the PersistentCompilerState at various
    points during the compilation cycle in HscMain.  This affects
    one-shot compilation only, since in this mode the information
    collected in the PCS is not required after creating the final
    interface file.

  - Unravel the recursive dependency between MkIface and
    CoreTidy/CoreToStg.  Previously the CafInfo for each binding was
    calculated by CoreToStg, and fed back into the IdInfo of the Ids
    generated by CoreTidy (an earlier pass).  MkIface then took this
    IdInfo and the bindings from CoreTidy to generate the interface;
    but it couldn't do this until *after* CoreToStg, because the CafInfo
    hadn't been calculated yet.  The result was that the CoreTidy
    output lived until after CoreToStg, and at the same time as the
    CorePrep and STG syntax, which is wasted space, not to mention
    the complexity and general ugliness in HscMain.

    So now we calculate CafInfo directly in CoreTidy.  The downside is
    that we have to predict what CorePrep is going to do to the
    bindings so we can tell what will turn into a CAF later, but it's
    no worse than before (it turned out that we were doing this
    prediction before in CoreToStg anyhow).

  - The typechecker lazilly typechecks unfoldings.  It turns out that
    this is a good idea from a performance perspective, but it also
    means that it must hang on to all the information it needs to
    do the typechecking.  Previously this meant holding on to the
    whole of the typechecker's environment, which includes all sorts
    of stuff which isn't necessary to typecheck unfoldings.  By paring
    down the environment captured by the lazy unfoldings, we can
    save quite a bit of space in the phases after typechecking.

[project @ 2003-03-03 12:31:55 by simonmar]
Use listArray rather than array in (un)?boxedTupleArr.

[project @ 2003-03-03 12:30:59 by simonmar]
Remove unused export.

[project @ 2003-03-03 12:30:39 by simonmar]
underscore some variables that aren't used.

[project @ 2003-03-03 12:30:11 by simonmar]
Compilation fix after recent addition of environment stuff to System.Posix.

[project @ 2003-02-26 17:04:11 by simonpj]
----------------------------------
Improve higher-rank type inference
----------------------------------

Yanling Wang pointed out that if we have

f = \ (x :: forall a. a->a). x

it would be reasonable to expect that type inference would get the "right"
rank-2 type for f.  She also found that the plausible definition

f :: (forall a. a->a) = \x -> x

acutally failed to type check.

This commit fixes up TcBinds.tcMonoBinds so that it does a better job.
The main idea is that there are three cases to consider in a function binding:

  a) 'f' has a separate type signature
In this case, we know f's type everywhere

  b) The binding is recursive, and there is no type sig
In this case we must give f a monotype in its RHS

  c) The binding is non-recursive, and there is no type sig
Then we do not need to add 'f' to the envt, and can
simply infer a type for the RHS, which may be higher
ranked.

[project @ 2003-02-24 13:12:08 by simonmar]
Remove mention of man pages, which we don't have, and clarify a couple
of other things while I'm here.

[project @ 2003-02-24 12:44:38 by simonpj]
*** My last commit had a bogus commit message **
*** This is the right one.  I've appended the **
*** list of files changed as well.

-------------------------------------
   Fix up HOST/TARGET_OS ifdefs
-------------------------------------

Sigbjorn and Simon helped me to understand when it's appropriate to
say 'ifdef mingw32_HOST_OS' and when 'ifdef mingw32_TARGET_OS'.  I've
documented this in the building guide.

I've fixed up the ifdefs I erroneously changed last week, in this
commit.  I'm not certain about all of them.  For examples, in
DriverPhases there's an ifdef that deals with filename suffices.
Should this be the filename suffices for the system on which GHC runs
(HOST), or the system on which the compiled code will run (TARGET)?
Currently it's the latter.

Similarly, there's some path mangling ('/' vs '\') in DriverState:
should this be for the system on which GHC runs (HOST) or the system
on which the compiled code will run (TARGET)?  Currently the former.

I think some of the darwin_TARGET_OS should be darwin_HOST_OS's.

Finally, for the GHCi stuff we require that HOST_OS = TARGET_OS.  Rather than
make an arbitrary choice in (e.g.) Linker.lhs, it's be better to say
'#ifdef mingw32_OS', and arrange that this macro is set only in stage-2.
I have not done this.

I think these are 'right'.  But I'm not sure the filename mangling is
consistent throughout.

[Changes in the original commit, which had a bogus message.]

  Revision  Changes    Path
  1.46      +30 -0     fptools/docs/building/building.sgml
  1.148     +4 -4      fptools/ghc/compiler/ghci/InteractiveUI.hs
  1.114     +2 -2      fptools/ghc/compiler/main/DriverFlags.hs
  1.23      +3 -1      fptools/ghc/compiler/main/DriverPhases.hs
  1.85      +11 -11    fptools/ghc/compiler/main/SysTools.lhs
  1.20      +3 -3      fptools/ghc/compiler/utils/Panic.lhs

[project @ 2003-02-24 12:39:24 by simonpj]
Three Template Haskell improvements

a) Add type synonyms to THSyntax (and DsMeta, Convert)

b) Make Q into a newtype instead of a type synonym

c) Eliminate tiresome and error prone argument to DsMeta.wrapGenSyms
   and similarly addTyVarBinds

[project @ 2003-02-22 06:13:41 by sof]
bring getourtimeofday() proto into scope

[project @ 2003-02-22 04:51:50 by sof]
Clean up code&interfaces that deals with timers and asynchrony:

- Timer.{c,h} now defines the platform-independent interface
  to the timing services needed by the RTS. Itimer.{c,h} +
  win32/Ticker.{c,h} defines the OS-specific services that
  creates/destroys a timer.
- For win32 plats, drop the long-standing use of the 'multimedia'
  API timers and implement the ticking service ourselves. Simpler
  and more flexible.
- Select.c is now solely for platforms that use select() to handle
  non-blocking I/O & thread delays. win32/AwaitEvent.c provides
  the same API on the Win32 side.
- support threadDelay on win32 platforms via worker threads.

Not yet compiled up on non-win32 platforms; will do once checked in.

[project @ 2003-02-21 14:52:54 by simonpj]
Typos

[project @ 2003-02-21 14:52:31 by simonpj]
Fix buglets in new unused-binding story

[project @ 2003-02-21 13:35:18 by simonpj]
Use old-style foreign import for bkwd compatibility

[project @ 2003-02-21 13:27:53 by simonpj]
-------------------------------------
Improve the "unused binding" warnings
-------------------------------------

We've had a succession of hacks for reporting warnings for
unused bindings.  Consider

module M( f ) where

  f x = x

g x = g x + h x
h x = x

Here, g mentions itself and h, but is not itself mentioned. So
really both g and h are dead code.  We've been getting this wrong
for ages, and every hack so far has failed on some simple programs.

This commit does a much better job.  The renamer applied to a bunch
of bindings returns a NameSet.DefUses, which is a dependency-ordered
lists of def/use pairs.  It's documented in NameSet.
Given this, we can work out precisely what is not used, in a nice
tidy way.

It's less convenient in the case of type and class declarations, because
the strongly-connected-component analysis can span module boundaries.
So things are pretty much as they were for these.

As usual, there was a lot of chuffing around tidying things up.
I havn't tested it at all thoroughly yet.

Various unrelated import-decl-pruning has been done too.

[project @ 2003-02-21 13:27:30 by simonpj]
Import pruning

[project @ 2003-02-21 13:26:58 by simonpj]
Import pruning, use mingw32_TARGET not HOST, use old-style foreign import (for 4.08 compat)

[project @ 2003-02-21 13:25:17 by simonpj]
Import pruning

[project @ 2003-02-21 13:24:06 by simonpj]
More tidy up

[project @ 2003-02-21 13:02:58 by simonpj]
Small fix to a TH bug; this one concerning the constraint-gathering mechanism

[project @ 2003-02-21 12:28:35 by simonpj]
Another typo; sigh

[project @ 2003-02-21 12:26:41 by simonpj]
Typo

[project @ 2003-02-21 12:16:44 by simonpj]
Debugging hook jiggling

[project @ 2003-02-21 12:16:05 by simonpj]
Fix a type-error in desugaring TH code

[project @ 2003-02-21 05:34:12 by sof]
Asynchronous / non-blocking I/O for Win32 platforms.

This commit introduces a Concurrent Haskell friendly view of I/O on
Win32 platforms. Through the use of a pool of worker Win32 threads, CH
threads may issue asynchronous I/O requests without blocking the
progress of other CH threads. The issuing CH thread is blocked until
the request has been serviced though.

GHC.Conc exports the primops that take care of issuing the
asynchronous I/O requests, which the IO implementation now takes
advantage of. By default, all Handles are non-blocking/asynchronous,
but should performance become an issue, having a per-Handle flag for
turning off non-blocking could easily be imagined&introduced.

[Incidentally, this thread pool-based implementation could easily be
extended to also allow Haskell code to delegate the execution of
arbitrary pieces of (potentially blocking) external code to another OS
thread. Given how relatively gnarly the locking story has turned out
to be with the 'threaded' RTS, that may not be such a bad idea.]

[project @ 2003-02-21 04:57:16 by sof]
deja vu all over again

[project @ 2003-02-20 18:53:15 by panne]
* Nuked unused --with-glut-api and --with-glut-xlib arguments
* Only check for OpenGL headers and libs when --enable-hopengl is given

[project @ 2003-02-20 18:34:11 by simonpj]
typo

[project @ 2003-02-20 18:33:50 by simonpj]
-------------------------------------
      Add Core Notes and the {-# CORE #-} pragma
-------------------------------------

This is an idea of Hal Daume's. The key point is that Notes in Core
are augmented thus:

  data Note
    = SCC CostCentre
    | ...
    | CoreNote String     -- NEW

These notes can be injected via a Haskell-source pragma:

   f x = ({-# CORE "foo" #-} show) ({-# CORE "bar" #-} x)

This wraps a (Note (CoreNote "foo")) around the 'show' variable,
and a similar note around the argument to 'show'.

These notes are basically ignored by GHC, but are emitted into
External Core, where they may convey useful information.

Exactly how code involving these notes is munged by the simplifier
isn't very well defined.  We'll see how it pans out.  Meanwhile
the impact on the rest of the compiler is minimal.

[project @ 2003-02-20 18:27:13 by simonpj]
Document {-# CORE #-} pragma (thanks to Hal Daume)

[project @ 2003-02-20 18:18:55 by simonpj]
Import pruning

[project @ 2003-02-20 16:02:57 by simonpj]
Add comments

[project @ 2003-02-20 16:01:56 by simonpj]
Comments and imports only

[project @ 2003-02-20 15:39:59 by simonmar]
closureSatisfiesConstraints: check whether the retainer set is valid
before attempting to match it against a constraint.  It might not be
valid if the object is an ex-weak-pointer which was finalized after
the last GC.

MERGE TO STABLE

[project @ 2003-02-20 13:23:47 by simonpj]
-------------------------------------
   Complete an earlier TH commit
-------------------------------------

In this earlier commit:

  3.  Ensure that a declaration quotation [d| ... |] does not have a
      permanent effect on the instance environment. (A TH fix.)

I had forgotten to do a stage2 compile.  This commit just completes
the earlier work.  I moved some code from TcExpr (long) to TcSplice
(shorter) which had the happy effect of bringing related code together.

[project @ 2003-02-20 13:21:15 by simonpj]
-------------------------------------
   Generate correct dependencies when reading External Core
-------------------------------------

We have to be more careful than I realised when doing strongly-connected
component analysis of type/class decls when reading External Core.

Here's the relevant new comment:

-- Building edges for SCC analysis
--
-- When building the edges, we treat the 'main name' of the declaration as the
-- key for the node, but when dealing with External Core we may come across
-- references to one of the implicit names for the declaration.  For example:
-- class Eq a where ....
-- data :TSig a = :TSig (:TEq a) ....
-- The first decl is sucked in from an interface file; the second
-- is in an External Core file, generated from a class decl for Sig.
-- We have to recognise that the reference to :TEq represents a
-- dependency on the class Eq declaration, else the SCC stuff won't work right.
--
-- This complication can only happen when consuming an External Core file
--
-- Solution: keep an "EdgeMap" (bad name) that maps :TEq -> Eq.
-- Don't worry about data constructors, because we're only building
-- SCCs for type and class declarations here.  So the tiresome mapping
-- is need only to map   [class tycon -> class]

[project @ 2003-02-20 13:18:10 by simonpj]
Part 2 of fix :i in InteractiveUI

[project @ 2003-02-20 13:17:02 by simonpj]
Comments only

[project @ 2003-02-20 13:16:31 by simonpj]
Another datacon-naming wibble

[project @ 2003-02-20 13:12:40 by simonpj]
Fix :i in InteractiveUI

[project @ 2003-02-20 13:01:20 by simonpj]
Eliminate brain-dead outputC pattern-match failure

[project @ 2003-02-20 13:00:24 by simonpj]
Eliminate bogus string-literal duplication

[project @ 2003-02-20 12:59:55 by simonpj]
Compile binary stuff with -O always

[project @ 2003-02-20 11:45:24 by simonmar]
Add -fvia-C to utils/Panic_HC_OPTS, and remove it from main/Main_HC_OPTS.

[project @ 2003-02-19 16:38:35 by sof]
odir-ify prelude/PrimOp.o dependency

[project @ 2003-02-19 16:30:17 by simonpj]
Document phase control

[project @ 2003-02-19 15:54:05 by simonpj]
-------------------------------------
  Two minor wibbles
-------------------------------------

1.  Make the generic toT/fromT Ids for "generic derived classes" into
    proper ImplicitIds, with their own GlobalIdDetails. This makes it
    easier to identify them.  (The lack of this showed up as a bug
    when I made an apparently-innocuous other change.)

2.  Distinguish ClassOpIds from RecordSelIds in their GlobalIdDetails.
    They are treated differently here and there, so I made this change
    as part of (1)

3.  Ensure that a declaration quotation [d| ... |] does not have a
    permanent effect on the instance environment. (A TH fix.)

[project @ 2003-02-19 13:05:45 by simonpj]
Wibbles to the new datacon story; fixes ds002

[project @ 2003-02-19 11:52:42 by simonmar]
Add note to description of -no-hs-main: it forces linking in --make
mode too.

[project @ 2003-02-19 11:51:35 by simonmar]
If -no-hs-main is specified in --make mode, attempt linking even when
there's no Main module.

Fixes bug #686620

MERGE TO STABLE

[project @ 2003-02-18 16:23:35 by igloo]
Support strictness annotations on data declarations and support the record
and infix constructors. Also tweaked the pretty printer a bit.

[project @ 2003-02-18 15:54:42 by simonpj]
Remove un-necessary case

[project @ 2003-02-18 15:54:19 by simonpj]
-------------------------------------
  Two minor wibbles
-------------------------------------

[These two unrelated fixes just got tangled together in my tree.]

1.  Fix a crash when a class op is used as a record selector

2.  Fix a wibble related to the new DataCon naming story.
    In tcId, treat the DataCon case entirely separately, because
    its "stupid context" doesn't show up in its type.

    On the way, remove the DataCon cases in tcLookupId and tcLookupGlobalId
    The should not be necessary.  He says hopefully.

[project @ 2003-02-18 15:54:02 by simonpj]
Cosmetic wibble

[project @ 2003-02-18 15:42:59 by simonpj]
Comments only

[project @ 2003-02-18 09:57:19 by simonmar]
Fix build on GHC < 5.00

[project @ 2003-02-18 05:47:53 by sof]
make use of MBLOCK_ROUND_DOWN()

[project @ 2003-02-18 05:40:20 by sof]
arenaAlloc(): tidy up alignment calc

[project @ 2003-02-17 15:14:25 by simonpj]
More notes about building on Win32

[project @ 2003-02-17 15:11:47 by simonpj]
Use hasktags by default

[project @ 2003-02-17 12:24:26 by simonmar]
Restore interrupt/quit signal handlers after every evaluation in GHCi,
just in case the program set its own.

[project @ 2003-02-17 11:42:15 by simonmar]
Comment change only

[project @ 2003-02-17 11:26:43 by simonmar]
GHC is pre-supposed in order to build GHC.  We weren't making this
nearly as explicit as it should have been.

[project @ 2003-02-17 11:18:45 by simonmar]
Emit an error if we're trying to build GHC from source without GHC installed.

[project @ 2003-02-14 19:21:57 by panne]
Not sure if this fix is correct, but at least this module compiles
again...

[project @ 2003-02-14 14:22:24 by simonpj]
-------------------------------------
   Do the top-level tcSimpifyTop (to resolve monomorphic constraints)
   once for the whole program, rather than once per splice group
-------------------------------------

This change makes the trivial program

main = return ()

work again.  It had stopped working (emitting an error about Monad m
being unconstrained) because the 'checkMain' stuff (which knows special
things about 'main' was happening only *after* all the groups of
decls in the module had been dealt with and zonked (incl tcSimplifyTop).

Better to postpone.  A little more plumbing, but one fewer unexpected
happenings.

[project @ 2003-02-14 14:19:29 by simonpj]
Comments

[project @ 2003-02-14 14:19:15 by simonpj]
A bit more debug info + comments

[project @ 2003-02-14 14:18:02 by simonpj]
A bit more about scoped type variables

[project @ 2003-02-14 14:17:43 by simonpj]
wibble

[project @ 2003-02-14 13:01:32 by simonpj]
Fix for deriving of records with leading underscore, and corresponding lex

[project @ 2003-02-13 15:45:05 by wolfgang]
support many more MachOps in the PowerPC NCG

[project @ 2003-02-13 15:20:27 by sof]
upd wrt spacy filenames

[project @ 2003-02-13 08:41:54 by simonpj]
Commit a couple of hi-boot files I forgot

[project @ 2003-02-13 01:50:04 by sof]
Be sensitive to filenames containing spaces when processing
:load & :add commands. Ditto when interpreting filenames given
on GHCi's cmd-line.

Merge to STABLE.

[project @ 2003-02-12 23:38:23 by wolfgang]
Threaded RTS: improve ccall performance by allocation parameters as a
variable length array instead of using malloc

[project @ 2003-02-12 22:17:04 by wolfgang]
Enable building the native code generator for PowerPC/Mac OS X by default.
It's still not used by default, so you have to specify -fasm when you want
it.

[project @ 2003-02-12 21:39:43 by wolfgang]
Finally enable GHCi by default on Mac OS X, this should have been done a
long time ago...

MERGE TO STABLE

[project @ 2003-02-12 17:57:34 by simonpj]
A wibble to the constructor-naming story

[project @ 2003-02-12 17:48:45 by qrczak]
Another typo.

[project @ 2003-02-12 17:36:52 by qrczak]
Typo.

[project @ 2003-02-12 15:01:31 by simonpj]
-------------------------------------
  Big upheaval to the way that constructors are named
-------------------------------------

This commit enshrines the new story for constructor names.  We could never
really get External Core to work nicely before, but now it does.

The story is laid out in detail in the Commentary
ghc/docs/comm/the-beast/data-types.html
so I will not repeat it here.

[Manuel: the commentary isn't being updated, apparently.]

However, the net effect is that in Core and in External Core, contructors look
like constructors, and the way things are printed is all consistent.

It is a fairly pervasive change (which is why it has been so long postponed),
but I hope the question is now finally closed.

All the libraries compile etc, and I've run many tests, but doubtless there will
be some dark corners.

[project @ 2003-02-12 11:59:49 by simonmar]
Fix two bugs/omissions in the new THUNK_SELECTOR code which cause
biographical profiling to fall over.

(aka rev. 1.135.4.10)

[project @ 2003-02-12 11:05:41 by simonmar]
Fix bug caused by non-use of function prototypes (grrr!).

[project @ 2003-02-12 10:32:38 by simonmar]
Adapt the dist target a little to work with the nightly build's new
way of building source dists.

It now works by building a link tree to the build tree, and doing
'make dist' on the link tree, to avoid destroying the real build tree.
This just needed a couple of tweaks to the dist target to work.

[project @ 2003-02-11 17:19:35 by simonpj]
Lots of new stuff about data types

[project @ 2003-02-11 15:27:32 by simonpj]
More Win32 notes

[project @ 2003-02-11 11:53:51 by wolfgang]
Mac OS X:
Add support for dynamic linker "symbol stubs". For every function that might
be imported from a dynamic library, we have to generate a short piece of
assembly code.
Extend the NatM monad to keep track of the list of imports (for which stubs
will be generated later).
Fix a bug concerning 64 bit ints (hi and low words were swapped in one place).

[project @ 2003-02-11 04:32:06 by sof]
Tighten up prev commit:
- win32: only add default --template=... option if the template file
  exists.
- if user has supplied --cc=.., use it as a default for 'ld'.

[project @ 2003-02-10 23:35:03 by wolfgang]
Mac OS X:
add one more relocation type (PPC_RELOC_BR24)
and add more C run-time library symbols to the symbol table
(made more difficult by the fact that these symbols don't
have an underscore prefix, while everything else on Mac OS X has)

[project @ 2003-02-10 10:41:52 by simonmar]
Add some missing symbols.

Should fix several recent test breakages with GHCi.

[project @ 2003-02-10 10:13:13 by simonmar]
Add GHC_Ptr_FunPtr_con_info symbol in the other branch of the #ifdef, too.

[project @ 2003-02-08 20:14:19 by wolfgang]
PowerPC: for ccalls, use the correct minimum size (32 bytes) for the
parameter area