[project @ 2002-04-02 10:34:56 by simonmar]
Add my build.mk file as a sample, and point to it in the comments at
the top of config.mk.

[project @ 2002-04-02 10:27:28 by simonpj]
Comments

[project @ 2002-04-02 10:18:07 by simonmar]
- Reverse the meaning of the *-prefix in the :module and :browse
  commands: '*Foo' now means the full contents of Foo, whereas just
  'Foo' means Foo's exports only.  This seems more intuitive to me,
  but the downside is that ':m Foo' doesn't do the same thing in
  GHC as Hugs (you have to say ':m *Foo' to get Hugs's behaviour).

- Update the help text

[project @ 2002-04-02 09:09:21 by simonmar]
The hPutBuf bug looks to be in 5.00 as well as 4.08 - so enable the
workaround on GHC <= 5.00.  Hopefully should fix bootstrapping
problems on Alpha.

[project @ 2002-04-01 15:32:46 by panne]
Sigbjorn's last optimization (checking for -mno-cygwin only for
mingw32 targets) kicked out -O from the default SRC_CC_OPTS. Apart
from a minor performance hit for some parts of GHC, it yields a GHCi
which can't load HSbase_cbits.o because `lstat' is unknown, at least
on SuSE 7.3.

A little investigation showed the rather arcane reason: lstat and
friends are inline functions and therefore not in libc.so, only in its
static counterpart. Normally this is not a problem at all, but the CPP
INLINE trickery in fptools/libraries/base/cbits/PrelIOUtils.c manages
to get a reference to lstat into PrelIOUtils.o if -O is not given. %-}
A similar problem exists for fstat, too.

Simple solution: Re-add -O to SRC_CC_OPTS, simplifying configure.in a
bit on the way.

[project @ 2002-04-01 13:57:10 by simonpj]
Use hasktags for the HSTAGS_PGM

[project @ 2002-04-01 12:23:20 by panne]
Fixed imports for GHC >= 5.03

[project @ 2002-04-01 11:18:18 by panne]
"warning: unused variable"-police

[project @ 2002-04-01 09:24:29 by simonpj]
Comments

[project @ 2002-04-01 08:53:35 by simonpj]
wibble

[project @ 2002-04-01 08:23:30 by simonpj]
------------------------------------
Change the treatment of the stupid
   context on data constructors
-----------------------------------

Data types can have a context:

data (Eq a, Ord b) => T a b = T1 a b | T2 a

and that makes the constructors have a context too
(notice that T2's context is "thinned"):

T1 :: (Eq a, Ord b) => a -> b -> T a b
T2 :: (Eq a) => a -> T a b

Furthermore, this context pops up when pattern matching
(though GHC hasn't implemented this, but it is in H98, and
I've fixed GHC so that it now does):

f (T2 x) = x
gets inferred type
f :: Eq a => T a b -> a

I say the context is "stupid" because the dictionaries passed
are immediately discarded -- they do nothing and have no benefit.
It's a flaw in the language.

Up to now I have put this stupid context into the type of
the "wrapper" constructors functions, T1 and T2, but that turned
out to be jolly inconvenient for generics, and record update, and
other functions that build values of type T (because they don't
have suitable dictionaries available).

So now I've taken the stupid context out.  I simply deal with
it separately in the type checker on occurrences of a constructor,
either in an expression or in a pattern.

To this end

* Lots of changes in DataCon, MkId

* New function Inst.tcInstDataCon to instantiate a data constructor

I also took the opportunity to

* Rename
dataConId --> dataConWorkId
  for consistency.

* Tidied up MkId.rebuildConArgs quite a bit, and renamed it
mkReboxingAlt

* Add function DataCon.dataConExistentialTyVars, with the obvious meaning

[project @ 2002-04-01 08:22:38 by simonpj]
Comments

[project @ 2002-04-01 08:17:57 by simonpj]
Split out FastMutInt separately

[project @ 2002-04-01 08:17:03 by simonpj]
Comments

[project @ 2002-04-01 08:16:49 by simonpj]
Import wibbles

[project @ 2002-03-29 21:39:36 by sof]
Front end for External Core.

Initial go at implementing a Core front end
(enabled via -fcore); work in progress (renamer
is currently not willing to slurp in & resolve
imports.)

[project @ 2002-03-29 20:46:50 by krasimir]
Latest Win32 implementation allows dynamic loading only for *.dll libraries. This commit add checking for *.drv libraries (drivers). This allows loading of winspool.drv needed for ObjectIO

[project @ 2002-03-29 20:14:31 by krasimir]
Hack hs_libraries package info for HSobjectio[1,2,3,4]

[project @ 2002-03-28 17:52:08 by simonmar]
In lookupTopBndrRn, if we're in an interface file, then create the
binder in the cache with the correct Module (inc. package name) rather
than making a vanilla module as we do currently.

This helps to get the package names right in names from interfaces
that we've read via checkOldIface (ie. "skipped" modules), and fixes a
bug to do with unnecessary version bumping and recompilation.

(Simon P.J. will add a better comment later)

MERGE TO STABLE

[project @ 2002-03-28 15:31:05 by simonpj]
Another readHoleResult glitch (fixes rn003)

[project @ 2002-03-28 15:11:48 by sof]
running binary-dist without having BIN_DIST set is now a no-no, I believe.

[project @ 2002-03-28 14:46:59 by sof]
recognise new cygwin moniker reported by config.guess

[project @ 2002-03-28 14:43:14 by sof]
cygwin-specific path mangling of CWD no longer reqd

[project @ 2002-03-28 09:59:03 by simonmar]
The test suite wins again: re-enable empty contexts in data
declarations.

[project @ 2002-03-28 08:39:33 by stolz]
posix/DLPrim now uses configure to check for RTLD_LOCAL.

[project @ 2002-03-27 16:48:47 by simonmar]
Sigh, recompilation checking in --make mdoe has been badly broken for
well, probably ever.

The problem is that in GHCi mode there's a restriction on the use of
object files, namely that an object file may only depend on other
up-to-date object files in order to be up-to-date itself, because we
don't have support for linking object code to interpreted code.
Unfortunately we were applying this restriction to --make compilations
too, with the result that far too much recompilation was happening.

MERGE TO STABLE

[project @ 2002-03-27 12:35:44 by simonmar]
Update the comment about how to add a new primop.

[project @ 2002-03-27 12:09:00 by simonpj]
More validity checking, esp for existential ctxt on data cons

[project @ 2002-03-27 12:07:42 by simonpj]
Comments and tracing only

[project @ 2002-03-26 23:56:44 by sof]
TEXT_BEFORE_HEAP & cygwin: same as for mingw

[project @ 2002-03-26 23:51:27 by sof]
initDefaultHandlers(): siginterrupt() not supported w/ cygwin

[project @ 2002-03-26 23:47:17 by sof]
re-add way 'p' to GhcLibWays

[project @ 2002-03-26 22:08:44 by sof]
mingw32_TARGET_OS -> mingw32_HOST_OS

[project @ 2002-03-26 21:59:41 by sof]
the platform-specific features to use to compile the compiler sources are dependent on the host, not the target platform

[project @ 2002-03-26 20:14:38 by sof]
only test for -mno-cygwin if the target is mingw32

[project @ 2002-03-26 19:08:19 by simonpj]
Fix readHoleResult bug

[project @ 2002-03-26 16:36:09 by stolz]
Add dlopen() and friends to package 'posix'.
A configure-test for RTLD_NEXT is required. Record if -ldl is
required in posix.conf.

[project @ 2002-03-26 11:09:34 by simonmar]
Make the closure types consecutive

[project @ 2002-03-26 10:43:15 by simonmar]
A couple of cleanups to the previous change: we should test
TABLES_NEXT_TO_CODE rather than USE_MINIINTERPRETER to enable the
MacOSX "plan C", and use structure field selection rather than array
indexing to get the entry code ptr from the info table.

[project @ 2002-03-26 10:35:20 by simonmar]
Changes to support powerpc-apple-darwin

From: Wolfgang Thaller <wolfgang.thaller@gmx.net>

[project @ 2002-03-26 10:33:46 by simonmar]
Changes to support powerpc-apple-macosx

From: Wolfgang Thaller <wolfgang.thaller@gmx.net>

[project @ 2002-03-26 10:30:44 by simonmar]
Changes to support powerpc-apple-macosx

From: Wolfgang Thaller <wolfgang.thaller@gmx.net>

[project @ 2002-03-26 10:27:35 by simonmar]
Changes to support powerpc-apple-macosx.

From Wolfgang Thaller <wolfgang.thaller@gmx.net>.

[project @ 2002-03-25 15:56:00 by sof]
hc-file-bundle: removed dangling ParseIface.hs pointer

[project @ 2002-03-25 15:08:38 by simonpj]
-------------------------------
Fix bugs in rank-N polymorphism
-------------------------------

Discussion with Mark showed up some bugs in the rank-N
polymorphism stuff, especally concerning the treatment of
'hole' type variables.

See especially TcMType:
newHoleTyVar
readHoleResult
zapToType

Also the treatment of conditionals and case branches
is done right now, using zapToType

[project @ 2002-03-25 14:58:32 by simonpj]
imports

[project @ 2002-03-25 14:41:05 by simonpj]
Comments

[project @ 2002-03-25 05:21:19 by sof]
RTS_MINGW_ONLY_SYMBOLS: added rewinddir()

[project @ 2002-03-25 05:11:16 by sof]
not using -lpthread w/ mingw

[project @ 2002-03-21 11:23:59 by sebc]
Implement Plan C, with correct code to detect the data and text
sections for MacOS X.
Also add a sanity check in initStorage, to make sure we are able to
make the distinction between closures and infotables.

[project @ 2002-03-21 09:00:54 by simonpj]
Restore lost imports for catchJust, ioErrors, accidentally removed
by Sigbjorn's commit. (Hard to spot -- it's only needed for 4.08 and earlier.)

[project @ 2002-03-20 23:07:02 by sebc]
Update a comment only.

[project @ 2002-03-20 20:21:15 by sof]
findPackageMod: for source imports, restrict ourselves to looking for hi-boots only

[project @ 2002-03-20 20:20:26 by sof]
import tidyup

[project @ 2002-03-20 19:42:49 by sof]
maybeHomeModule: if chasing after a source import, _only_ look for hi-boots

[project @ 2002-03-20 14:46:17 by simonpj]
Put module dependency info in the commentary

[project @ 2002-03-20 11:24:42 by simonpj]
Unravel module loop again (tested this time; sorry)

[project @ 2002-03-19 11:37:38 by simonpj]
Unravel accidental module loop (sorry)

[project @ 2002-03-19 11:24:51 by simonmar]
Fix 64-bit shift operations.

- Move the declarations of the 64-bit "primops" from PrimOps.h to
  HsBase.h where they more properly belong.

- change the names of the 64-bit shift ops to include the "unchecked"
  prefix

- add checked versions of these primops to GHC.Int and GHC.Word, and
  use them.

- update the FFI declarations in GHC.Int and GHC.Word while I'm there.

[project @ 2002-03-18 15:27:08 by simonpj]
More on linear implicit params

[project @ 2002-03-18 15:23:05 by simonpj]
Tidier printing routines for Rules

[project @ 2002-03-18 15:22:31 by simonpj]
Remove spurious ? in linear implicit parameter printing

[project @ 2002-03-18 15:21:59 by simonpj]
Fix grevious bug in linear implicit parameter splitting for free Insts

[project @ 2002-03-18 15:21:25 by simonpj]
Splittable class comes from GlaExts now

[project @ 2002-03-18 09:47:35 by simonmar]
PrelGHC ==> GHC.Prim, for what it's worth (this documentation is quite
out of date).

[project @ 2002-03-18 09:46:35 by simonmar]
PrelGHC ==> GHC.Prim (comments only)

[project @ 2002-03-18 09:45:54 by simonmar]
PrelGHC ==> GHC.Prim (in comments only)

[project @ 2002-03-18 09:45:10 by simonmar]
PrelGHC ==> GHC.Prim

[project @ 2002-03-18 09:44:46 by simonmar]
update mention of PrelGHC

[project @ 2002-03-15 16:08:16 by simonpj]
Import wibbles

[project @ 2002-03-15 13:57:27 by simonmar]
Take the old strictness analyser out of #ifdef DEBUG and put it
instead in #ifdef OLD_STRICTNESS.  DEBUG was getting a bit slow.

[project @ 2002-03-14 17:10:14 by simonmar]
No need to compile Printf.lhs with -fvia-c now.

[project @ 2002-03-14 17:09:46 by simonmar]
The foreign declaration for snprintf was wrong, because we need to
give the type of the C function after applying C's type promotion
rules.  Hence the Float argument should be a Double, because it
occurs in the vararg section of the function type.

[project @ 2002-03-14 17:05:13 by simonmar]
Back out previous fix, it was wrong.

[project @ 2002-03-14 16:22:31 by simonmar]
Misc cleanup: remove the iface pretty-printing style, and clean up
bits of StringBuffer that aren't required any more.

[project @ 2002-03-14 15:52:13 by simonmar]
undo accidental commits

[project @ 2002-03-14 15:49:36 by simonpj]
Documentation about type system extensions

[project @ 2002-03-14 15:47:52 by simonmar]
Remove the interface file parser, and move .hi-boot parsing into the
main parser.  The syntax of .hi-boot files is now greatly improved in
terms of readability; here's an example:

module M where
data T
f :: T -> GHC.Base.Int

note that
(a) layout can be used
(b) there's no explcit export list; everything declared
    is implicitly exported
(c) Z-encoding of names is no longer required
(d) Any identifier not declared in the current module must
    still be quailified with the module which originally
    defined it (eg. GHC.Base.Int above).

We'd like to relax (d), but that will come later.

[project @ 2002-03-14 15:27:15 by simonpj]
------------------------
Change
GlobalName --> ExternalName
LocalName  ->  InternalName
------------------------

For a long time there's been terminological confusion between

GlobalName vs LocalName  (property of a Name)
GlobalId vs LocalId  (property of an Id)

I've now changed the terminology for Name to be

ExternalName vs InternalName

I've also added quite a bit of documentation in the Commentary.

[project @ 2002-03-14 15:26:53 by simonpj]
Lots of stuff about external and internal names

[project @ 2002-03-14 11:23:42 by simonmar]
Turn "return e" into "return $! e" in several places to improve
performance.

[project @ 2002-03-13 16:31:05 by simonmar]
Remove -fall-strict

[project @ 2002-03-13 14:37:11 by simonmar]
Update the documentation to reflect new commands since 5.02.2:

:browse
:set args
:set prog
:show bindings
:show modules

and the new syntax for :module.

[project @ 2002-03-13 13:51:34 by simonmar]
Fix the -fasm/-fvia-C auto-selection again: now we're back to the
proper behaviour, namely -fasm is the default unless you specify -O or
-fvia-C, but only on arch's that support it.

I screwed it up in the previous commit, but it exposed a bug in the
NCG so it wasn't all bad :)

[project @ 2002-03-13 13:48:32 by simonmar]
Cope with VoidRep fields in a static constructor.

[project @ 2002-03-13 13:48:04 by simonmar]
It *is* possible to get VoidRep fields in a constructor, but their
representation should be empty (not a zero word).

[project @ 2002-03-13 13:39:15 by simonmar]
Fix panic message.

[project @ 2002-03-13 11:27:11 by simonmar]
GHC version wibble

[project @ 2002-03-12 16:48:52 by simonmar]
Fix a bug in the native code generator's handling of floating-point
arguments to ccalls: it wasn't correctly promoting float arguments to
doubles.  Amazingly this has gone undetected for quite a while.

Fixes bug #523996.

[project @ 2002-03-12 16:45:59 by simonmar]
Forced commit: note that the previous revision also improved the error
message for a compiler stack overflow slightly.

[project @ 2002-03-12 16:40:57 by simonmar]
eek!  Somehow, I managed to make -fvia-C the default on the HEAD and
nobody noticed for two months.

[project @ 2002-03-12 15:55:26 by simonpj]
------------------------
Fix a type-invariant bug
------------------------

We need to call Type.mkGenTyConApp from Type.mkAppTy, in
case there's a partially applied type synonym.  Explanation
with Type.mkAppTy.  All part of GHC's rather liberal treatment
of type synonyms.

Shown up by a program from Ralf Laemmel:

type Generic i o = forall x. i x -> o x
type Id x = x
comb :: Generic Id Id

Test is typecheck/should_compile/tc149.hs

[project @ 2002-03-12 15:28:25 by simonmar]
Add a magic number to the beginning of interface files (0x1face :-) to
avoid trying to read old text-style interfaces as binary (the usual
result is an attempt to allocate a ByteArray larger than the available
memory size and an obscure crash).

[project @ 2002-03-12 13:57:11 by simonmar]
If we are in a deadlock situation but there are signal handlers
installed, pause() instead of reporting deadlock.  One of the signal
handlers may allow the process to continue after being triggered.

Fixes bug #525772.

I've made a half-hearted attempt to clean up the deadlock code in the
scheduler, it now looks slightly better.

[project @ 2002-03-12 11:50:02 by simonmar]
Main threads are now not kept alive artificially, so it is possible
for a main thread to be sent the BlockedOnDeadMVar exception.  Main
threads are no longer GC roots.

This involved cleaning up the weak pointer processing somewhat, and
separating the processing of real weak pointers from the processing of
the all_threads list (which can be thought of as "weaker pointers": a
finalizer can keep a blocked thread alive, but not vice-versa).  The
new story is described in a detailed comment in GC.c.

One interesting consequence is that it's much harder to get a Deadlock
exception now - many deadlock situations involving main threads will
turn into BlockedOnDeadMVar situations instead.  For example, if there
are a group of threads in a circular deadlock, then they will all be
sent BlockedOnDeadMVar simultaneously, whereas before if one of them
was the main thread it would be sent Deadlock.  It's really hard to
get Deadlock now - you have to somehow keep an MVar independently
reachable, eg. by using a StablePtr.

[project @ 2002-03-12 10:41:48 by simonmar]
When deciding whether the source for a module is unchanged, don't look
at the file referred to in the argument of '-o' unless it really is
the object file for this compilation (it might be the binary instead).

MERGE TO STABLE

[project @ 2002-03-12 10:37:31 by simonmar]
- Fix brokenness in foreign export.
- Remove some unused imports.

[project @ 2002-03-12 09:23:01 by simonmar]
- Add quotes around invocation of ${WithGhc-ghc}, in case the pathname
  has spaces in (bug #528810).

- remove now-unused definition of is_gcc_v3.

[project @ 2002-03-12 09:13:08 by simonpj]
-----------
Fix mkSynTy
-----------

Fix a nasty and long-lived bug in mkSynTy which meant that in:

newtype A a = A a
type B = A
f :: B Double

the type (B Double) wasn't regarded properly as (A Double).  This bug
has lasted for a long time because the type inference engine is fairly
forgiving about missing the invariant that a TyConApp always looks
like one right at the top level.  In fact, it's so forgiving that I
don't know how to tickle this bug into showing up.  (It showed up in
5.02, becuase the context-simplification for 'deriving' is done by a
different engine as all the other context simplification.)

Still, the invariant should hold, and this fix makes it so.

[project @ 2002-03-12 09:12:57 by simonpj]
Comments