ghc.git
13 years ago'time' depends on 'Win32' when Windows=YES; mirror that
sof@galois.com [Tue, 30 May 2006 22:30:09 +0000 (22:30 +0000)] 
'time' depends on 'Win32' when Windows=YES; mirror that
when setting up SUBDIRS.

13 years agoWin32: add _imp__tzname
simonmar@microsoft.com [Tue, 30 May 2006 10:14:52 +0000 (10:14 +0000)] 
Win32: add _imp__tzname

13 years agofix Win32 build
simonmar@microsoft.com [Tue, 30 May 2006 10:14:18 +0000 (10:14 +0000)] 
fix Win32 build

13 years agoreplace stgMallocBytesRWX() with our own allocator
Simon Marlow [Tue, 30 May 2006 10:02:11 +0000 (10:02 +0000)] 
replace stgMallocBytesRWX() with our own allocator

See bug #738

Allocating executable memory is getting more difficult these days.  In
particular, the default SELinux policy on Fedora Core 5 disallows
making the heap (i.e. malloc()'d memory) executable, although it does
apparently allow mmap()'ing anonymous executable memory by default.

Previously, stgMallocBytesRWX() used malloc() underneath, and then
tried to make the page holding the memory executable.  This was rather
hacky and fails with Fedora Core 5.

This patch adds a mini-allocator for executable memory, based on the
block allocator.  We grab page-sized blocks and make them executable,
then allocate small objects from the page.  There's a simple free
function, that will free whole pages back to the system when they are
empty.

13 years agoadd time subdir
Simon Marlow [Tue, 30 May 2006 07:07:21 +0000 (07:07 +0000)] 
add time subdir

13 years agoMake rule-matching robust to lets
simonpj@microsoft.com [Thu, 25 May 2006 15:44:47 +0000 (15:44 +0000)] 
Make rule-matching robust to lets

Consider a RULE like
forall arr. splitD (joinD arr) = arr

Until now, this rule would not match code of form
splitD (let { d = ... } in joinD (...d...))
because the 'let' got in the way.

This patch makes the rule-matcher robust to lets.  See comments with
the Let case of Rules.match.

This improvement is highly desirable in the fusion rules for NDP
stuff that Roman is working on, where we are doing fusion of *overloaded*
functions (which may look lazy).  The let expression that Roman tripped
up on was a dictioary binding.

13 years agoImprove error reporting in interface typechecking
simonpj@microsoft.com [Thu, 25 May 2006 09:45:45 +0000 (09:45 +0000)] 
Improve error reporting in interface typechecking

13 years agoFix egregious and long-standing tidying bug
simonpj@microsoft.com [Thu, 25 May 2006 09:43:00 +0000 (09:43 +0000)] 
Fix egregious and long-standing tidying bug

A typo in tidyAlt meant that we could get shadowing of occurrence names
in the output of tidying.  (Specifically, of existentially bound type
variables.)  That in turn meant that an IfaceExpr could have shadowing, so
when the IfaceExpr was read in, it meant something different.
That in turn led to an obscure crash like:
Panic: tcIfaceTyVar

Anyway, this fixes it.  MERGE into 6.4.3.

13 years agoPrune imports
simonpj@microsoft.com [Thu, 25 May 2006 09:42:51 +0000 (09:42 +0000)] 
Prune imports

13 years agoperformGC_(): don't use the existing Task, always grab a new one
Simon Marlow [Thu, 25 May 2006 09:00:35 +0000 (09:00 +0000)] 
performGC_(): don't use the existing Task, always grab a new one

13 years agoBetter control of the IO manager thread; improvements to deadlock checking
Simon Marlow [Wed, 24 May 2006 12:28:39 +0000 (12:28 +0000)] 
Better control of the IO manager thread; improvements to deadlock checking

In the threaded RTS on *nix platforms:

 - we now start the IO manager thread eagerly at startup time
   (previously was started on demand).

 - we now ask the IO manager thread to stop at shutdown

 - In Timer.c:handle_tick, if it looks like we might be in a
   deadlock, instead of calling prodOneCapability() which was known to be
   wrong, we now send a byte down the IO manager's pipe to wake it up.

This also avoids a case of double-acquisition of a mutex, which
happened if prodOneCapability() was called while the current thread
was holding a mutex.

13 years agoTARGET_OS ==> HOST_OS
Simon Marlow [Wed, 24 May 2006 12:21:03 +0000 (12:21 +0000)] 
TARGET_OS ==> HOST_OS

13 years agofix a _TARGET_ARCH that should be _HOST_ARCH
Simon Marlow [Wed, 24 May 2006 12:20:22 +0000 (12:20 +0000)] 
fix a _TARGET_ARCH that should be _HOST_ARCH

13 years agowe don't need OutOfHeapHook(), and the version in the RTS has a better message
Simon Marlow [Wed, 24 May 2006 11:20:07 +0000 (11:20 +0000)] 
we don't need OutOfHeapHook(), and the version in the RTS has a better message

13 years agoBug-fix to patch "Run simplifier before SpecConstr"
simonpj@microsoft.com [Tue, 23 May 2006 13:00:22 +0000 (13:00 +0000)] 
Bug-fix to patch "Run simplifier before SpecConstr"

13 years agoRun simplifier before SpecConstr
simonpj@microsoft.com [Tue, 23 May 2006 08:55:46 +0000 (08:55 +0000)] 
Run simplifier before SpecConstr

Arrange to run the simplifier before SpecConstr, to (almost entirely)
eliminate shadowing.

Reason: otherwise SpecConstr can generate a RULE that never
files; and LiberateCase specifically *does* generate lots of shadowing.

See Note [Shadowing] in SpecConstr.lhs

13 years agoPrune imports
simonpj@microsoft.com [Mon, 22 May 2006 19:25:32 +0000 (19:25 +0000)] 
Prune imports

13 years agoAdd deShadowBinds
simonpj@microsoft.com [Mon, 22 May 2006 19:24:04 +0000 (19:24 +0000)] 
Add deShadowBinds

Add CoreSubst.deShadowBinds, which removes shadowing from
a Core term.  I thought we wanted it for SpecConstr, but in
fact decided not to use it. Nevertheless, it's a useful sort
of function to have around, and it has a particularly simple
definition!

13 years agoInline in a call argument if the caller has RULES
simonpj@microsoft.com [Mon, 22 May 2006 16:32:55 +0000 (16:32 +0000)] 
Inline in a call argument if the caller has RULES

This is an experimental change suggested by Roman.  Consider

{-# INLINE f #-}
f x y = ...

....(g (f a b))...

where g has RULES.  Then we'd like to inline f, even though the context of
the call is otherwise 100% boring -- g is lazy and we know nothing about
x and y.

This patch just records in the continuation that f has rules.  And does so
somewhat recursively...e.g.

...(g (h (f a b)))...

where g has rules.

13 years agoAdd idHasRules
simonpj@microsoft.com [Mon, 22 May 2006 16:31:09 +0000 (16:31 +0000)] 
Add idHasRules

Add Id.idHasRules :: Id -> Bool, with the obvious semantics.
This patch makes sense by itself, but it's just a tidy-up.

13 years agoTransmit inline pragmas faithfully
simonpj@microsoft.com [Mon, 22 May 2006 11:02:56 +0000 (11:02 +0000)] 
Transmit inline pragmas faithfully

*** WARNING: you will need to recompile your libraries
***      when you pull this patch (make clean; make)

The inline pragma on wrapper-functions was being lost; this patch
makes it be transmitted faithfully.

The reason is that we don't write the full inlining for a wrapper into
an interface file, because it's generated algorithmically from its strictness
info.  But previously the inline pragma as being written out only when we
wrote out an unfolding, and hence it was lost for a wrapper.

This makes a particular difference when a function has a NOINLINE[k] pragma.
Then it may be w/w'd, and we must retain the pragma.  It's the only consistent
thing to do really.

The change does change the binary format of interface files, slightly.
So you need to recompile all your libraries.

13 years agoImproved RULE lhs typechecking; less dictionary sharing
simonpj@microsoft.com [Fri, 19 May 2006 10:34:33 +0000 (10:34 +0000)] 
Improved RULE lhs typechecking; less dictionary sharing

See long comment with Simplify.tcSimplifyRuleLhs.

Here's the key example:

  RULE "g"  forall x y z. g (x == y) (y == z) = ...

Here, the two dictionaries are *identical*, but we do NOT WANT to
generate the rule

RULE forall x::a, y::a, z::a, d1::Eq a
  f ((==) d1 x y) ((>) d1 y z) = ...

Instead we want

RULE forall x::a, y::a, z::a, d1::Eq a, d2:Eq a
  f ((==) d1 x y) ((>) d2 y z) = ...

13 years agoBug-fix for infix function definitions (parse/rename)
simonpj@microsoft.com [Fri, 19 May 2006 09:50:22 +0000 (09:50 +0000)] 
Bug-fix for infix function definitions (parse/rename)

Fix a crash provoked by

x `op` y = x
op       = True

The trouble was that there is currently a single 'infix' flag for the
whole group; and RnTypes.checkPrecMatch was therefore expecting the
second eqn to have two args.

This fixes the crash, and also or-s the infix flags for the various
eqns together; previously it was just taken from the first eqn, which
was wrong.

13 years agoRemove misleading comments
simonpj@microsoft.com [Fri, 19 May 2006 09:49:36 +0000 (09:49 +0000)] 
Remove misleading comments

13 years agoFix a nasty continuation-duplication bug
simonpj@microsoft.com [Thu, 18 May 2006 16:36:17 +0000 (16:36 +0000)] 
Fix a nasty continuation-duplication bug

For a long-time mkDupableCont has had a bug that allows it to duplicate
an arbitrary continuation, which it should not do, of course.

The bug was that in the Select case of mkDupableCont we were calling
prepareCaseCont, which did not duplicate the continuation if there is
but a single alternative.  This is quite right in the case of the call
in rebuildCase, but quite wrong in mkDupableCont.

The bug manifest as follows. In the expression
f (case ... of { ..several alts.. })
(when f is strict), we should transform to
f (...transformed arg...)
The application of f should not be pushed down (see notes with the
ArgOf case of mkDupableCont.  But that was not happening in an example
like this (see how the call to f is pushed inwards).

f (a `div` abs (b::Int))
--->
    case b_afT of wild_aHa { GHC.Base.I# x_aHc ->
    let {
      $j_sIe :: GHC.Prim.Int# -> GHC.Base.Int
      []
      $j_sIe =
\ (ds1_aHr [Nothing OneShot] :: GHC.Prim.Int#) ->
  Foo7.f
    (case ds1_aHr of ds2_aHq {
       __DEFAULT ->
 case a_afS of wild1_aHM { GHC.Base.I# x_aHO ->
 GHC.Base.I# (GHC.Base.divInt# x_aHO ds2_aHq)
 };
       0 -> GHC.Err.divZeroError @ GHC.Base.Int
     })
    } in
      case GHC.Prim.>=# x_aHc 0 of wild1_aHe [Dead Nothing] {
GHC.Base.False ->
  let {
    ds1_aHr :: GHC.Prim.Int#
    []
    ds1_aHr = GHC.Prim.negateInt# x_aHc
  } in  $j_sIe ds1_aHr;
GHC.Base.True -> $j_sIe x_aHc
      }
    }

13 years agoMake simplifier report which phase it is doing in -ddump output
simonpj@microsoft.com [Thu, 18 May 2006 16:34:48 +0000 (16:34 +0000)] 
Make simplifier report which phase it is doing in -ddump output

13 years agoComments only
simonpj@microsoft.com [Thu, 18 May 2006 16:34:25 +0000 (16:34 +0000)] 
Comments only

13 years agotake parsec out of $(GhcBootLibs)
Simon Marlow [Thu, 18 May 2006 13:15:06 +0000 (13:15 +0000)] 
take parsec out of $(GhcBootLibs)

13 years agoImprove documentation of INLINE pragmas
simonpj@microsoft.com [Thu, 18 May 2006 11:32:12 +0000 (11:32 +0000)] 
Improve documentation of INLINE pragmas

13 years agoa couple of additions
Simon Marlow [Thu, 18 May 2006 10:40:25 +0000 (10:40 +0000)] 
a couple of additions

13 years ago#define _REENTRANT 1 (needed to get the right errno on some OSs)
Simon Marlow [Thu, 18 May 2006 10:37:15 +0000 (10:37 +0000)] 
#define _REENTRANT 1   (needed to get the right errno on some OSs)
Partial fix for hanging problems on Solaris and possibly *BSD.
A similar fix is also required to libraries/base/includes/HsBase.h.

13 years agoDeclare this file to be POSIX
Simon Marlow [Thu, 18 May 2006 10:28:58 +0000 (10:28 +0000)] 
Declare this file to be POSIX
This is simpler than using _POSIX_THREAD_SEMANTICS on Solaris to get
the right version of ctime_r().

13 years agosomewhere to keep track of release notes for 6.6
Simon Marlow [Thu, 18 May 2006 07:44:15 +0000 (07:44 +0000)] 
somewhere to keep track of release notes for 6.6

13 years agoNewtype data constructors get a compulsory unfolding
simonpj@microsoft.com [Wed, 17 May 2006 15:50:09 +0000 (15:50 +0000)] 
Newtype data constructors get a compulsory unfolding

With this change, newtype data constructors get a "compulsory" unfolding,
which means that they *must* be inlined, and no top-level definition of
the constructor is provided at all.  Since these constructors are no-ops,
I'm not sure why this wasn't the case all along.

13 years agoWhite space only
simonpj@microsoft.com [Wed, 17 May 2006 15:49:36 +0000 (15:49 +0000)] 
White space only

13 years agoRetain InlinePragInfo on wrappers
simonpj@microsoft.com [Wed, 17 May 2006 15:47:25 +0000 (15:47 +0000)] 
Retain InlinePragInfo on wrappers

For some reason, when doing the worker/wrapper split, we transferred the
InlinePragInfo from the original function, but expunging it from the wrapper.
This meant, for example, that a NOINLINE function would have its wrapper
inlined, which isn't sensible.

For a change, fixing a bug involves only deleting code!

13 years agoSpelling correction
simonpj@microsoft.com [Wed, 17 May 2006 15:47:10 +0000 (15:47 +0000)] 
Spelling correction

13 years agoRetain INLINE pragma information during indirection-shorting
simonpj@microsoft.com [Wed, 17 May 2006 15:44:49 +0000 (15:44 +0000)] 
Retain INLINE pragma information during indirection-shorting

During indirection-shorting, we were dropping the InlinePragInfo,
although were were carefully retaining strictness info etc.
I think this is a long-standing bug.

13 years agoImprove pretty-printing
simonpj@microsoft.com [Wed, 17 May 2006 15:43:49 +0000 (15:43 +0000)] 
Improve pretty-printing

13 years agoComments only
simonpj@microsoft.com [Wed, 17 May 2006 15:43:04 +0000 (15:43 +0000)] 
Comments only

13 years agoImprove pretty-printing slightly
simonpj@microsoft.com [Wed, 17 May 2006 15:42:04 +0000 (15:42 +0000)] 
Improve pretty-printing slightly

13 years agoLet GHCi work with with Sparc32+/V8+ .o files
Duncan Coutts [Tue, 16 May 2006 09:04:30 +0000 (09:04 +0000)] 
Let GHCi work with with Sparc32+/V8+ .o files
Currently the GHCi linker looks exclusively for V7 ABI .o files.

You can generate V8+ ABI .o files using flags to gcc such as:
 -optc-mcpu=ultrasparc -opta-mcpu=ultrasparc

Note that this allows gcc to generate hardware integer division and
hardware floating point instructions rather than using software emulation.
All recent sparc hardware is V8+ or later. Perhaps we should check for the
cpu generation in configure and use the later ABI if possible.

Tested briefly on a SunBlade 100 (TI UltraSparc IIe) sparc-unknown-linux

13 years agomatch up more closely with compiler/main/DynFlags.hs:machdepCCOpts
Simon Marlow [Mon, 15 May 2006 09:00:31 +0000 (09:00 +0000)] 
match up more closely with compiler/main/DynFlags.hs:machdepCCOpts
In particular, add -fno-builtin to x86 and x86_64, which was missing.

13 years agoset $(GhcVersion) and $(GhcPatchLevel) correctly when $(UseStage1)==YES
Simon Marlow [Wed, 10 May 2006 12:46:21 +0000 (12:46 +0000)] 
set $(GhcVersion) and $(GhcPatchLevel) correctly when $(UseStage1)==YES

13 years ago.raw_s and .s live in $(odir), not the source dir
Simon Marlow [Wed, 10 May 2006 12:15:24 +0000 (12:15 +0000)] 
.raw_s and .s live in $(odir), not the source dir

13 years agoadditions from Reilly Hayes
Simon Marlow [Wed, 10 May 2006 12:00:00 +0000 (12:00 +0000)] 
additions from Reilly Hayes

13 years agosome tweaks to the HC bootstrapping instructions
Simon Marlow [Wed, 10 May 2006 11:52:36 +0000 (11:52 +0000)] 
some tweaks to the HC bootstrapping instructions

13 years agoIgnore unboxed values in breakpoints.
Lemmih [Wed, 10 May 2006 07:27:22 +0000 (07:27 +0000)] 
Ignore unboxed values in breakpoints.

13 years agoDon't read ~/.ghci on breakpoints.
Lemmih [Tue, 9 May 2006 22:34:55 +0000 (22:34 +0000)] 
Don't read ~/.ghci on breakpoints.

13 years agomake it possible to define an alias for :quit
Simon Marlow [Tue, 9 May 2006 08:31:24 +0000 (08:31 +0000)] 
make it possible to define an alias for :quit

13 years agoDo not put wired-in things in interface files
simonpj@microsoft.com [Mon, 8 May 2006 14:29:46 +0000 (14:29 +0000)] 
Do not put wired-in things in interface files

There is no need for wired-in things to go into interface files; the compiler
knows about them anyway.  Worse, it turns ou that if they are in an interface
file, they may get read in with not-quite-right type info (e.g. GHC.Err.error),
and the not-quite-right thing gets into the type envt.  Than it gets used
instead of the wired in thing.

Best all round never to put them into interface files.  This is the way
it used to be, but it looks as if it rotted away some time ago.

(I noticed this when fixing unsafePerformIO stuff, becuase 'lazy' was getting
an unfolding when it shouldn't.)

13 years agoRemove NOINLINE strictness hack
simonpj@microsoft.com [Mon, 8 May 2006 14:28:34 +0000 (14:28 +0000)] 
Remove NOINLINE strictness hack

The stricteness analyser used to have a HACK which ensured that NOINLNE things
were not strictness-analysed.  The reason was unsafePerformIO. Left to itself,
the strictness analyser would discover this strictness for unsafePerformIO:
unsafePerformIO:  C(U(AV))
But then consider this sub-expression
unsafePerformIO (\s -> let r = f x in
       case writeIORef v r s of (# s1, _ #) ->
       (# s1, r #)
The strictness analyser will now find that r is sure to be eval'd,
and may then hoist it out.  This makes tests/lib/should_run/memo002
deadlock.

Solving this by making all NOINLINE things have no strictness info is overkill.
In particular, it's overkill for runST, which is perfectly respectable.
Consider
f x = runST (return x)
This should be strict in x.

So the new plan is to define unsafePerformIO using the 'lazy' combinator:

unsafePerformIO (IO m) = lazy (case m realWorld# of (# _, r #) -> r)

Remember, 'lazy' is a wired-in identity-function Id, of type a->a, which is
magically NON-STRICT, and is inlined after strictness analysis.  So
unsafePerformIO will look non-strict, and that's what we want.

Now we don't need the hack in the strictness analyser.

13 years agoTrim imports
simonpj@microsoft.com [Mon, 8 May 2006 14:18:04 +0000 (14:18 +0000)] 
Trim imports

13 years agoTrim imports
simonpj@microsoft.com [Mon, 8 May 2006 14:17:13 +0000 (14:17 +0000)] 
Trim imports

13 years agoGHC_MANGLER-->MANGLER
Simon Marlow [Mon, 8 May 2006 11:12:06 +0000 (11:12 +0000)] 
GHC_MANGLER-->MANGLER

13 years agoFix bug #763: Breakpoint mechanism crashes when there's a type error.
Lemmih [Fri, 5 May 2006 23:21:58 +0000 (23:21 +0000)] 
Fix bug #763: Breakpoint mechanism crashes when there's a type error.

13 years agobreakpointCond
Lemmih [Tue, 2 May 2006 17:43:40 +0000 (17:43 +0000)] 
breakpointCond

13 years agoPreserve type variable names during type inference
simonpj@microsoft.com [Fri, 5 May 2006 15:37:53 +0000 (15:37 +0000)] 
Preserve type variable names during type inference

During unification we attempt to preserve the print-names of type variables,
so that type error messages tend to mention type variables using the
programmer's vocabulary.

This had bit-rotted a bit when I added impredicative polymorphism; especially
when unBoxing a boxy type variable we should not gratuitously lose its name.

13 years agoTrim imports
simonpj@microsoft.com [Fri, 5 May 2006 15:05:06 +0000 (15:05 +0000)] 
Trim imports

13 years agofixup for new source tree layout
Simon Marlow [Fri, 5 May 2006 11:41:00 +0000 (11:41 +0000)] 
fixup for new source tree layout

13 years agoFPTOOLS_TOP-->GHC_TOP, and remove some references to "fptools"
Simon Marlow [Fri, 5 May 2006 11:05:20 +0000 (11:05 +0000)] 
FPTOOLS_TOP-->GHC_TOP, and remove some references to "fptools"

13 years ago$(FPTOOLS_TOP) is now known as $(GHC_TOP)
Simon Marlow [Fri, 5 May 2006 11:01:27 +0000 (11:01 +0000)] 
$(FPTOOLS_TOP) is now known as $(GHC_TOP)
I kept $(FPTOOLS_TOP) as an alias for $(GHC_TOP) while we switch

13 years agoupdate the build system documentation
Simon Marlow [Fri, 5 May 2006 10:58:43 +0000 (10:58 +0000)] 
update the build system documentation

13 years agoupdate for new source tree layout
Simon Marlow [Fri, 5 May 2006 10:29:03 +0000 (10:29 +0000)] 
update for new source tree layout

13 years agopartial update for new source tree layout
Simon Marlow [Fri, 5 May 2006 03:02:18 +0000 (03:02 +0000)] 
partial update for new source tree layout

13 years agoupdate for new source tree layout (untested)
Simon Marlow [Fri, 5 May 2006 08:15:49 +0000 (08:15 +0000)] 
update for new source tree layout (untested)

13 years agoPrint a more helpful error for find_thing
simonpj@microsoft.com [Thu, 4 May 2006 15:33:37 +0000 (15:33 +0000)] 
Print a more helpful error for find_thing

13 years agoFix a bug in rule matching
simonpj@microsoft.com [Thu, 4 May 2006 11:24:30 +0000 (11:24 +0000)] 
Fix a bug in rule matching

The rule matcher uses a "rough-match" pre-filter, which was being too
aggressive.  The case looked like this:

rule: f True
expr: case e of x { True -> f x }

Jues because x doesn't immediately look like True, we shouldn't say
"can't match", but that is exactly what ruleCantMatch was doing.

13 years agoFix constructor-specialisation bug
simonpj@microsoft.com [Thu, 4 May 2006 11:21:31 +0000 (11:21 +0000)] 
Fix constructor-specialisation bug

The constructor-specialisation optimisation was not dealing with the case
of
(letrec ... in f) a1 a2

We need to apply constructor specialisation in the letrec; previously
we were leaving it untouched on the grounds that the function part of
an application is almost always a variable.

But in fact, float-in immediately precedes SpecConstr, so we can get
these odd-looking applications.

13 years agoFix precedence for records in derived Read
simonpj@microsoft.com [Thu, 4 May 2006 11:18:04 +0000 (11:18 +0000)] 
Fix precedence for records in derived Read

The derived instance for Read of records wasn't quite right.
Consider
data T = T1 T | T2 { x::Int }

The string "T1 T2 { x=2 }" should parse correctly as
T1 (T2 {x=2})
because of Haskell's odd precedence rules (record construction binds
even more tightly than application), but the derived Read didn't take
account of that.

drvrun020 is the regression test

13 years agoMake rules available in RHS
simonpj@microsoft.com [Thu, 4 May 2006 11:15:00 +0000 (11:15 +0000)] 
Make rules available in RHS

After some earlier re-factoring, the code that was carefully trying
to make RULES available in a function's own RHS was plain wrong.

This commit fixes it.  Some programs should go faster!

13 years agoPretty printing instance for Unfolding
simonpj@microsoft.com [Thu, 4 May 2006 11:14:29 +0000 (11:14 +0000)] 
Pretty printing instance for Unfolding

13 years agosmall clarification
Simon Marlow [Thu, 4 May 2006 10:34:14 +0000 (10:34 +0000)] 
small clarification

13 years agosmall fix to booting instructions from #762
Simon Marlow [Thu, 4 May 2006 08:31:04 +0000 (08:31 +0000)] 
small fix to booting instructions from #762

13 years ago$(ProjectNameShort) => ghc
Simon Marlow [Wed, 3 May 2006 10:24:19 +0000 (10:24 +0000)] 
$(ProjectNameShort) => ghc

13 years agoonly pass -fno-unit-at-a-time to gcc if it is supported
Simon Marlow [Wed, 3 May 2006 09:36:14 +0000 (09:36 +0000)] 
only pass -fno-unit-at-a-time to gcc if it is supported

13 years agoArrange that -fth is no longer implied by -fglasgow-exts
simonpj@microsoft.com [Wed, 26 Apr 2006 18:21:14 +0000 (18:21 +0000)] 
Arrange that -fth is no longer implied by -fglasgow-exts

Messages involving Template Haskell are deeply puzzling
if you don't know about TH, so it seems better to make
-fth an explicit flag.  It is no longer switched on
by -fglasgow-exts.

13 years agoremove code not required in the new source tree layout
Simon Marlow [Tue, 2 May 2006 11:42:35 +0000 (11:42 +0000)] 
remove code not required in the new source tree layout

13 years agomove "compat" earlier in the build for .hc bootstrapping
Simon Marlow [Tue, 2 May 2006 11:20:01 +0000 (11:20 +0000)] 
move "compat" earlier in the build for .hc bootstrapping

13 years agofix ctime_r problem on Solaris (I hope)
Simon Marlow [Tue, 2 May 2006 11:12:31 +0000 (11:12 +0000)] 
fix ctime_r problem on Solaris (I hope)

13 years agofix whitespace problem that shows up on Solaris (x86)
Simon Marlow [Tue, 2 May 2006 11:00:01 +0000 (11:00 +0000)] 
fix whitespace problem that shows up on Solaris (x86)

13 years agolibraries/time is boring
Simon Marlow [Tue, 2 May 2006 10:55:24 +0000 (10:55 +0000)] 
libraries/time is boring

13 years agoadd time package to libraries Makefile
Ashley Yakeley [Mon, 1 May 2006 09:22:41 +0000 (09:22 +0000)] 
add time package to libraries Makefile

13 years agoadd time package to default-packages
Ashley Yakeley [Wed, 26 Apr 2006 07:04:45 +0000 (07:04 +0000)] 
add time package to default-packages

13 years agoFix stage2 segfault on openbsd.
dons@cse.unsw.edu.au [Fri, 28 Apr 2006 07:48:11 +0000 (07:48 +0000)] 
Fix stage2 segfault on openbsd.

Somewhere along the 6.5 branch, gcc started compiling the rts such that
it triggers the stack smash handler, causing stage2 to by kill'd
immediately. This turns off the stack protector, which will do for now.

13 years agofix quoting around ${FPTOOLS_TOP_ABS} (fixes #749)
Simon Marlow [Fri, 28 Apr 2006 08:52:52 +0000 (08:52 +0000)] 
fix quoting around ${FPTOOLS_TOP_ABS} (fixes #749)

13 years agoFix bug shown in the mod77 test.
Lemmih [Thu, 27 Apr 2006 11:33:13 +0000 (11:33 +0000)] 
Fix bug shown in the mod77 test.

13 years agoDon't init root pointers if they aren't gonna be used.
Lemmih [Wed, 26 Apr 2006 11:11:43 +0000 (11:11 +0000)] 
Don't init root pointers if they aren't gonna be used.

13 years agoFix recompilation checking.
Simon Marlow [Tue, 25 Apr 2006 14:09:32 +0000 (14:09 +0000)] 
Fix recompilation checking.
One-shot compilation was throwing away the old iface read by
checkOldIface, with the result that version numbers were never being
incremented.  Fixes the recomp001 test too.

13 years agoSolaris needs -lrt for the threaded RTS
Simon Marlow [Tue, 25 Apr 2006 08:28:23 +0000 (08:28 +0000)] 
Solaris needs -lrt for the threaded RTS

13 years agofix problem with binary-dist docs
Simon Marlow [Mon, 24 Apr 2006 09:01:59 +0000 (09:01 +0000)] 
fix problem with binary-dist docs

13 years agoEnable breakpoint support.
Lemmih [Fri, 21 Apr 2006 11:31:12 +0000 (11:31 +0000)] 
Enable breakpoint support.

13 years agoFixing some lexer errors with extcore
Josef Svenningsson [Thu, 20 Apr 2006 22:26:25 +0000 (22:26 +0000)] 
Fixing some lexer errors with extcore

13 years agoExtcore can now handle data types without constructors
Josef Svenningsson [Thu, 20 Apr 2006 21:36:22 +0000 (21:36 +0000)] 
Extcore can now handle data types without constructors

13 years agoComments only
Josef Svenningsson [Thu, 20 Apr 2006 21:35:55 +0000 (21:35 +0000)] 
Comments only

13 years agoResurrect ProjectName
sven.panne@aedion.de [Fri, 21 Apr 2006 08:51:25 +0000 (08:51 +0000)] 
Resurrect ProjectName

13 years agoRemove the section on platform support, link to the wiki page
Simon Marlow [Thu, 20 Apr 2006 12:55:55 +0000 (12:55 +0000)] 
Remove the section on platform support, link to the wiki page
The section in the building guide was becoming out of date, a wiki
page is much more likely to be kept fresh.

13 years agoFix workaround for a GHC 6.4 bug
rl@cse.unsw.edu.au [Thu, 20 Apr 2006 04:42:23 +0000 (04:42 +0000)] 
Fix workaround for a GHC 6.4 bug

13 years agohslibs is dead, Jim...
sven.panne@aedion.de [Wed, 19 Apr 2006 14:46:09 +0000 (14:46 +0000)] 
hslibs is dead, Jim...

13 years agoSynched .spec file with reality
sven.panne@aedion.de [Wed, 19 Apr 2006 14:31:38 +0000 (14:31 +0000)] 
Synched .spec file with reality