GitLab

Minor cleanup

RULES-NOTES

s/show/showSDoc/

Discovered-by: removing instance Show (->) :-)

- import list tweaks
- moved the code that decides that a StgCon really shouldn't
  be mapped to a static constructor but an updateable thunk
  if it contains lit-lits from the codegen into the CoreToStg
  translation.

  Added an extra case to this code to deal with StgCon's that contain
  references to values that reside in a DLL, where we also have to
  opt for an updateable thunk instead of a static constructor. Only
  applies when compiling on/for Win32 platforms.

Another big commit from Simon.  Actually, the last one
didn't all go into the main trunk; because of a CVS glitch it
ended up in the wrong branch.

So this commit includes:

* Scoped type variables
* Warnings for unused variables should work now (they didn't before)
* Simplifier improvements:
	- Much better treatment of strict arguments
	- Better treatment of bottoming Ids
	- No need for w/w split for fns that are merely strict
	- Fewer iterations needed, I hope
* Less gratuitous renaming in interface files and abs C
* OccName is a separate module, and is an abstract data type

I think the whole Prelude and Exts libraries compile correctly.
Something isn't quite right about typechecking existentials though.

Move 4.01 onto the main trunk.

More import list updates

Import lists updated

Reorganisation of Id, IdInfo.  Remove StdIdInfo, PragmaInfo; add basicTypes/MkId.lhs

The Great Multi-Parameter Type Classes Merge.

Notes from Simon (abridged):

* Multi-parameter type classes are fully implemented.
* Error messages from the type checker should be noticeably improved
* Warnings for unused bindings (-fwarn-unused-names)
* many other minor bug fixes.

Internally there are the following changes

* Removal of Haskell 1.2 compatibility.
* Dramatic clean-up of the PprStyle stuff.
* The type Type has been substantially changed.
* The dictionary for each class is represented by a new
  data type for that purpose, rather than by a tuple.

ppr tidy up

Imports tidied up

new PP;2.0x bootable

Major update to more-or-less 2.02

Pragmas in interface files added

SLPJ new renamer and lots more

SLPJ 1.3 changes through 96/06/25

SLPJ changes through 960604

SLPJ 1.3 changes through 960505

SLPJ 1.3 changes through 960501

SLPJ 1.3 changes through 960425

Add SLPJ/WDP 1.3 changes through 960410

SLPJ 1.3 hacks through 960408

Sansom 1.3 changes through 960407

Add SLPJ/WDP 1.3 changes through 960404

simonpj/sansom/partain/dnt 1.3 compiler stuff through 96/03/18

Initial revision