GitLab

maybeHomeModule: if chasing after a source import, _only_ look for hi-boots

Put module dependency info in the commentary

Unravel module loop again (tested this time; sorry)

Unravel accidental module loop (sorry)

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.

More on linear implicit params

Tidier printing routines for Rules

Remove spurious ? in linear implicit parameter printing

Fix grevious bug in linear implicit parameter splitting for free Insts

Splittable class comes from GlaExts now

PrelGHC ==> GHC.Prim, for what it's worth (this documentation is quite
out of date).

PrelGHC ==> GHC.Prim (comments only)

PrelGHC ==> GHC.Prim (in comments only)

PrelGHC ==> GHC.Prim

update mention of PrelGHC

Import wibbles

Take the old strictness analyser out of #ifdef DEBUG and put it
instead in #ifdef OLD_STRICTNESS.  DEBUG was getting a bit slow.

No need to compile Printf.lhs with -fvia-c now.

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.

Back out previous fix, it was wrong.

Misc cleanup: remove the iface pretty-printing style, and clean up
bits of StringBuffer that aren't required any more.

undo accidental commits

Documentation about type system extensions

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.

------------------------
	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.

Lots of stuff about external and internal names

Turn "return e" into "return $! e" in several places to improve
performance.

Remove -fall-strict

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.

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 :)

Cope with VoidRep fields in a static constructor.

It *is* possible to get VoidRep fields in a constructor, but their
representation should be empty (not a zero word).

Fix panic message.

GHC version wibble

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.

Forced commit: note that the previous revision also improved the error
message for a compiler stack overflow slightly.

eek!  Somehow, I managed to make -fvia-C the default on the HEAD and
nobody noticed for two months.

------------------------
	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

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).

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.