breakpointCond

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.

Trim imports

fixup for new source tree layout

FPTOOLS_TOP-->GHC_TOP, and remove some references to "fptools"

$(FPTOOLS_TOP) is now known as $(GHC_TOP)
I kept $(FPTOOLS_TOP) as an alias for $(GHC_TOP) while we switch

update the build system documentation

update for new source tree layout

partial update for new source tree layout

update for new source tree layout (untested)

Print a more helpful error for find_thing

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.

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.

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

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!

Pretty printing instance for Unfolding

small clarification

small fix to booting instructions from #762

$(ProjectNameShort) => ghc

only pass -fno-unit-at-a-time to gcc if it is supported

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.

remove code not required in the new source tree layout

move "compat" earlier in the build for .hc bootstrapping

fix ctime_r problem on Solaris (I hope)

fix whitespace problem that shows up on Solaris (x86)

libraries/time is boring

add time package to libraries Makefile

add time package to default-packages

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.

fix quoting around ${FPTOOLS_TOP_ABS} (fixes #749)

Fix bug shown in the mod77 test.

Don't init root pointers if they aren't gonna be used.

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.

Solaris needs -lrt for the threaded RTS

fix problem with binary-dist docs

Enable breakpoint support.

Fixing some lexer errors with extcore

Extcore can now handle data types without constructors

Comments only

Resurrect ProjectName

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.

Fix workaround for a GHC 6.4 bug

hslibs is dead, Jim...

Synched .spec file with reality

Add .spec file to source distribution

remove paragraph about mutable objects that doesn't apply now

HsBool should be HsInt, not StgBool
StgBool is mapped to C's int type.  GHC doesn't currently know the
size of a C int on the target arch, it's easier to use StgInt instead.
I guess nobody ever uses Bool arguments to foreign imports/exports.

handle Bool arg to foreign import "wrapper"
Fixes #746

update commentry for foreign import "wrapper" handling

remove vestiges of ByteArray and MutableByteArray, which are no more

Comment only

Fix rank-validity testing

GHC does not now do "hoisting" as it used to.  Instead, it allows
foralls to the right of fuction arrows, as well as to the left.

But the type-validity tester hadn't caught up.  This commit fixes
it. The test is tc203.

Incidentally, GHC still doesn't let you write
forall a. Eq a => forall b. b -> b
because we get a zillion reduce/reduce errors if we allow that.  I'm
sure it's fixable.  But meanwhile you have to use an auxiliary type
synonym, which is a bit stupid.

Make the initial rdr and type scope available in the ghc-api.

Fix minor bug in Linker.withExtendedLinkEnv

Export 'insertSymbol' and 'insertStableSymbol'.

'insertStableSymbol' is used for exporting closures that are affected by the GC.

Allow $x, as well as $(x), at top level in TH

Bulat pointed out that in Template Haskell
   $x
is allowed instead of
   $(x)
in expressions, but not at the top level of modules.

This commit fixes the omission.  Now you can say

f x = x
  $h
data T = T

and the $h will run Template Haskell just as you'd expect.

Fix TH erorr recovery (test is TH_recover)

Comments only

Recover gracefully from a Template Haskell programmers error

If a TH programmer uses a type constructor as a data constructor,
GHC simply crashed.  This commit makes it report the error in a
graceful way.

Document newtype-unwrapping for IO in FFI

Cosmetics in SpecConstr

SpecConstr currently uses substExpr for tiresome reasons to do with
GADTs.  Unfortunately the substExpr generates some WARNINGS (when DEBUG)
is on, because we aren't adding all the in-scope Ids to the in-scope
set of the substitution.

When we move to FC these substExprs will go away, so I'm not going to
worry about this now.

Improve pruning of case alternatives to account for GADTs

Consider

  data T a where
    T1 :: T Int
    T2 :: T Bool
    T3 :: T Char

  f :: T Bool -> Int
  f x = case x of
  DEFAULT -> ...
  T2 -> 3

Here the DEFAULT case covers multiple constructors (T1,T3), but none
of them can match a scrutinee of type (T Bool).  So we can prune away
the default case altogether.

In implementing this, I re-factored this bit of the simplifier, elminiating
prepareAlts from SimplUtils, and putting all the work into simplAlts in
Simplify

The proximate cause was a program written by Manuel using PArrays

Fix a bug in optimising division to shift right
Division by an integral log2 can't be directly optimised to a shift
right, because shift right behaves like a division that rounds to
negative infinity, whereas we want one that rounds to zero.  Fix this
by adding (divisor-1) to the dividend when it is negative before
shifting.  We do this without jumps, generating very slightly worse
code than gcc, which uses conditional moves on CPUs that support it.

Omit lndir on Windows, as it used to be

remove a trace

Allow IO to be wrapped in a newtype in foreign import/export

Up to now, the silent unwrapping of newtypes in foreign import/export
has been limited to data values.  But it's useful for the IO monad
itself:

newtype MyIO a = MIO (IO a)

foreign import foo :: Int -> MyIO Int

This patch allows the IO monad to be
wrapped too. This applies to foreign import "dynamic" and "wrapper",
thus
   foreign import "wrapper" foo :: MyIO () -> HisIO (FunPtr (MyIO ()))

Warning: I did on the plane, and I'm no longer sure if its 100%
complete, so needs more testing.  In particular the wrapper/dynamic bit.

Improve newtype deriving

Ross Paterson pointed out a useful generalisation of GHC's
newtype-deriving mechanism.  This implements it.  The idea
is to allow
newtype Wrap m a = Wrap (m a) deriving (Monad, Eq)
where the representation type doesn't start with a type
constructor.

Actually GHC already *did* implement this, but the eta-ok
check in TcDeriv missed a case, so there was a lurking bug.

This patches fixes the documentation too.  drvrun019 tests.

add take to the list of functions deforestable

avoid versionitis in Numeric.showHex (should fix tcrun007)

add a note about full-laziness

robustify the test for the top of the tree a little

Make darcs-all work without a ghc toplevel directory

Fix typo in darcsall warning

fix source dists

add a README for binary dists

fix binary dists

remove the last bits of the ghc/ subdir

Fix a bug related to threads blocked on blackholes
We weren't making them live early enough, with the result that
finalizable objects referred to only by a thread blocked on a black
hole could be finalized too early (see conc057 test).

Reorganisation of the source tree
Most of the other users of the fptools build system have migrated to
Cabal, and with the move to darcs we can now flatten the source tree
without losing history, so here goes.

The main change is that the ghc/ subdir is gone, and most of what it
contained is now at the top level.  The build system now makes no
pretense at being multi-project, it is just the GHC build system.

No doubt this will break many things, and there will be a period of
instability while we fix the dependencies.  A straightforward build
should work, but I haven't yet fixed binary/source distributions.
Changes to the Building Guide will follow, too.

remove empty dir

rempve some unused files

Add stage2/ghci to ghc-api's import list.

Don't build GHC with breakpoint support by default.

GHC.Base.breakpoint isn't vaporware anymore.

-fignore-breakpoints can be used to ignore breakpoints.

Add SA_RESTART flag to the timer signal handler.
This seems to be necessary to prevent readline being confused by our
SIGALRM handler.

Better messages from HscTypes.showModMsg.

Turn the "too many hs_exit()s" fatal error into a warning

add freeStorage() prototype

add support for x86_64; foreign import is now supported in GHCi on x86_64

Correct spelling mistake: GhcState1HcOpts -> GhcStage1HcOpts

oops, undo accidental patch

fix profiling on Win32
The recent patch to free memory in hs_exit() on Win32 unfortunately broke
profiling, because it freed the memory slightly too early.

fix for GHC >= 6.5 again

in stage1, we should get isPrint and isUpper from Compat.Unicode, not Data.Char

Darwin/x86: correct stack alignment in ByteCodeFFI

Deal with non-executable memory on Darwin (only an issue on Darwin/x86 so far)

add forkOnzh_fast symbol

Add a new primitive forkOn#, for forking a thread on a specific Capability

This gives some control over affinity, while we figure out the best
way to automatically schedule threads to make best use of the
available parallelism.

In addition to the primitive, there is also:

  GHC.Conc.forkOnIO :: Int -> IO () -> IO ThreadId

where 'forkOnIO i m' creates a thread on Capability (i `rem` N), where
N is the number of available Capabilities set by +RTS -N.

Threads forked by forkOnIO do not automatically migrate when there are
free Capabilities, like normal threads do.  Still, if you're using
forkOnIO exclusively, it's a good idea to do +RTS -qm to disable work
pushing anyway (work pushing takes too much time when the run queues
are large, this is something we need to fix).

eliminate a warning

elimiante a couple of warnings