GitLab

Add comment

Add an access function substEnvEnv

Get the worker and wrapper in the right order

Primitives can return ThreadId# values

1) Fix a bad bug in Subst.lhs that made uniqAway go into an
   infinite loop when the 'hash code' in the in-scope set was
   zero.

2) Rename BasicTypes.isFragileOccInfo to isFragileOcc
   Add isDeadOcc to BasisTypes


(2) is just a tidy-up.  I have to commit it now because of (1), which
is a bad bug.  I hope that I've committed all the files involved in (2).

Improve -ddump-types

* Make the desugarer use string equality for string literal
  patterns longer than 1 character.  And put a specialised
  eqString into PrelBase, with a suitable specialisation rule.
  This makes a huge difference to the size of the code generated
  by deriving(Read) notably in Time.lhs

revert accidental parts of previous commit

Generate a new unique to be used in the typedef for a f.i.d., rather
than re-using the one from the function call, which might conflict if
there are two similar calls in the same module.

When compiling code for a case where the scrutinee is a primitve
comparison operator, we used to place the tag in a variable whose
unique was always the same: `mkPseudoUnique1 1'.  This was mostly
harmless but confused the Stix inliner in the NCG into generating
slightly less efficient code when the variable was used twice in a
basic block.

This patch fixes the problem by generating a new unique by just
changing the "tag" of an existing unique, namely the case binder.

Add new PrimRep, namely PrimPtrRep, as a catch-all for the various
boxed primitive types that currently don't have their own PrimReps.
Use this for MVar# and MutVar#.  This fixes a crash in the code
generator when a function returns one of these types.

recode primOpOkForSpeculation in terms of primOpIsCheap and primOpCanFail.

remove a lot of unused gumph from this file

remove last use of REALLY_HASKELL_1_3

Use std monadic operators instead of `thenStrictlyST` and friends.

Convert one of the alternatives in an algebraic switch into the
default, if we don't already have a default.  This generates better
code in particular for inline comparison primops.

Noticed by: Qrczak

Use mkAbsCStmts rather than AbsCStmts directly.

ForeignObjs were incorrectly passed to foreign functions by the NCG.
Fixed.

Put the max in a better place

Add comment

Fix a bug reported by Jose Emilio Labra Gayo

	newtype Foo a => T = MkT (out :: a)

The selector 'out' was being given an incorrect RHS.
(Core Lint spotted it.)

Let foreign import dynamic accept a newtyped Addr too.

Fix sparc NCG to track recent NCG switch table reg-alloc bug fix.

Wibble.

Make prelude/PrimOp.lhs, not prelude/PrimOp.o, depend on $(PRIMOP_BITS).
'make boot' doesn't work otherwise, since the primop includes don't get
built.

Make the register allocator deal properly with switch tables.
Previously, it didn't calculate the correct flow edges away from the
indirect jump (in fact it didn't reckon there were any flow edges
leaving it :) which makes a nonsense of the live variable analysis in
the branches.

A jump insn can now optionally be annotated with a list of destination
labels, and if so, the register allocator creates flow edges to all of
them.

Jump tables are now re-enabled.  They remain disabled for 4.08.1,
since we aren't fixing the problem properly on that branch.

I assume this problem wasn't exposed by the old register allocator
because of the live-range-approximation hacks used in it.  Since it
was undocumented, we'll never know.

Sparc builds will now break until I fix them.

remove an unused import

make this file independent of the actual word size.

Fix up a PrimOp dependency.

Add touch# and foreignObjToAddr#.

- Add touch# and foreignObjToAddr#.

- Add a long comment to the beginning of this file listing the files
  that need to be updated when adding a new primop.

Disable jump tables for the time being; the register allocator gets confused about them.

Gratuitously remove a gratuitous ineficiency in allocatableRegs.

Unused Prelude import check moved to a better place.

Never say:
"Warning: Module `Prelude' is imported, but nothing from it is used"

Replace a zipEqual with a zip in tcPat when checking a record pat.
The former version caused a panic with DEBUG on if a record pattern
was used with a non-record constructor.

unboxing strict fields, bug #2:

	the unfolding in a record selector id was
	completely bogus when -funbox-strict-fields
	was in effect.

remove unused imports.

unboxing strict fields, bug #1:

	desugaring a record pattern used the
	rep args rather than the original args when
	expanding the pattern into a ConPat.

Complete the removal of tso->splim (these are the NCG bits).