GitLab

A subtle type checker bug, which showed up in rebindable1 test

Handle Int literals in TH

----------------------------------
       Fix a long-standing eta-reduction bug
	----------------------------------

Consider the stupid definition

	f = \x -> f x

We were erroneously eta-reducing this to

	f = f

(unsound because they'd be distinguishable by `seq`)

The reason was that simplLazyBind was exposing the arity of
a recursive function to its own RHS, when all it was really
trying to do was expose the *rules* for the function.

Easily fixed.   This fixes some

	"Bad eta expand"

warnings.  Good all round.  In particular, fixes rn006.

comments

Comments

Two win32 wibbles

Document how to get rid of the console window

wibble

-------------------------------------
      Fix a functional-dependency-related bug in
		tcSimpifyRestricted
	-------------------------------------

	MERGE TO STABLE if it goes over conveniently
		(but I rather think it may not)

tcSimplifyRestricted works by (a) simplifying brutall to find out
what the constrained type variables are, and (b) simplifying more
gently, knowing the constrained type varaibles.  The bug is that
in step (b) we were not doing the check-for-improvement-and-loop
part, thinking that step (a) had alrady done all the improvement.
But not so, as an example in the code now shows.

Simple to fix.  I rather think we could tidy up these various loops.

Comments

if needs be, include Capability.h

resumeThread: concCall arg is universally unused (but leave it in for now)

UPD_IND_NOLOCK(): update THREADED_RTS & SMP versions wrt rts/Storage.h:updateWithIndirection() change

----------------------------------
   Try swapping order of inference for applications
	----------------------------------

For a long time we've inferred the argument types of a function
call before using information from the expected type passed in.
This commit swaps the order.  See comments with tcApp for an
example where this makes a real difference.

I don't think any error messages get signficantly worse, but yell
if you find any.

Better error messages

ToDo comments

Improve error messages on newtype deriving

Fix unbox-strict-fields deriving bug; MERGE TO STABLE

Typecheck type reification brackets [t| ... |]

Missing commit from last night: Add GreenCard files, GreenCard derived files, etc. to the lists of sources so that make depend and make clean work

threadStackOverflow() wibble

updated and sync'ed wrt ClosureTypes.h

comment update

Have Literal.Literal support the representation of NULL pointers only,
and not arbitrary pointer values.

(MachAddr <some-pointer-value-as-an-Integer>) wasn't being used,
except to handle nullAddr#. It (MachAddr) is a potential source of
problems should the compiler start doing constant folding or other
interesting operations over MachAddrs (think: interface files +
cross-compilation), so we might as well scale back the representation
of raw pointer values.

Tidy up code that supports user/Haskell signal handlers.

Signals.h now defines RTS_USER_SIGNALS when this is supported,
which is then used elsewhere.

Don't constant-fold (negateFloat# 0.0#), because the compiler's
internal representation of floating-point literals (Rational) can't
represent -0.0.  This means that

   main = print (-0.0)

now gives the same results with -O as it does without.

Fixes test arith005.

- Stable.c:enlargeStablePtrTable(): plug a mem leak,
  the (re-)allocation is in bytes, not words.
- nuke RtsUtils.c:stgMallocWords(),
       RtsUtils.c:stgReallocWords()

On 32-bit platforms, add a bunch of symbols from libgcc.a used to
support 64-bit arithmetic.

It looks like these symbols are defined in libc on some platforms but
not others, but it shouldn't do any harm to include them in the list
of symbols that the linker knows about even if they're also in libc.
They were already included for some platforms (cygwin, mingw, and
darwin), this commit just includes then whenever we're compiling with
gcc on a 32-bit platform.

Mention that our Read class accepts hex and octal literals, as an
extension to Haskell 98.

Booting from HC fixes (slightly tweaked for the HEAD)

Submitted by: Urban Boquist <boquist@crt.se>

HC bootstrapping fixes

Submitted by: Urban Boquist <boquist@crt.se>

Include NetBSD support

Submitted by: Urban Boquist <boquist@crt.se>

NetBSD fixes

Submitted by: Urban Boquist <boquist@crt.se>

Comments only

Submitted by: Urban Boquist <boquist@crt.se>

Fixes to subdir ordering for booting from HC files.

Submitted by: Urban Boquist <boquist@crt.se>

Tweaks to make it work again (at least with 5.04.3)

Submitted by: Urban Boquist <boquist@crt.se>

Fixes to the hc-file-bundle

Submitted by: Urban Boquist <boquist@crt.se>

startTicker(): pass in the tick handler as an arg

win32 tidyup: exclude Select.c, Itimer.c and Signals.c from SRCS

block_vtalrm_signal() and unblock_vtalrm_signal(): unused, disable.