GitLab

Added semicolon to synch with current interface file syntax.
Note: The `class' line contains a kind bug, but this is not
checked. Bug or feature?

Removed foralls in expected output

Synched expected output with reality

Litlits don't really make much sense for the NCG (i.e. are a hack), so
compile via C.

Reverted my last change to this file: Constant folding should really
yield *excatly* the same result as runtime computation.

Synched with reality again. The expected output is a extremely fragile...

Removed -noC flag, which has vanished from the driver

Added test for Typeable instance

There is not much point in memoising Integers, so we should better use
unary "numbers" (i.e. lists of units) instead

Add test for filterFB

printf => showFFloat. Now waugh_neural fails with
   Fail: Prelude.(!!): negative index,
but that's better than before.  :-)

Synched with output required by H98 report

*nix-ified the expected output. M$-people are more used to error
messages, and one has to lose...  >:-)

"Non-exhaustive guards" => "Non-exhaustive patterns"

Print only the first 6 characters of the result's decimal
representation, this "solves" the problem that without optimization
0.46920002 was printed and 0.4692 with -O. Perhaps this could be
turned into a test for constant folding, but this was probably not the
test writer's intention.

Use "foreign label" instead of litlit for stdout.

Added type signature to resolve ambiguity.

Synched with reality.

Synched with reality. The expected output is a little bit fragile...

-syslib => -package

HC_OPTS => SRC_HC_OPTS again, sorry about that

Added a few lines how to pass global options, just for oblivious
people like me.  :-}

* Changed `SRC_HC_OPTS += ...' to `HC_OPTS += ...', otherwise `make
  SRC_HC_OPTS=foo' does not work.

* -syslib => -package

Only add -o? FOO.stdBAR when it exists. I'm not sure if this
foreach-hack is the most elegant way to go though...

Guard failure will now throw a PatternMatchFail, the
NonExhaustiveGuards exception is to be removed.

remove unneeded file.

update interface file syntax

update expected output

Move read010 to rename/should_fail; this is really a renamer test.

Synched with reality

Added tests for gcdInt/gcdInteger

Test for declaring an infix constructor using prefix notation, eg.

	data T a b = (:^:) a b

update expected output.

update expected output

Update expected output.

~~~~~~~~~~~~
		Apr/May 2000
		~~~~~~~~~~~~

This is a pretty big commit!  It adds stuff I've been working on
over the last month or so.  DO NOT MERGE IT WITH 4.07!

Interface file formats have changed a little; you'll need
to make clean before remaking.

						Simon PJ

Recompilation checking
~~~~~~~~~~~~~~~~~~~~~~
Substantial improvement in recompilation checking.  The version management
is now entirely internal to GHC.  ghc-iface.lprl is dead!

The trick is to generate the new interface file in two steps:
  - first convert Types etc to HsTypes etc, and thereby
	build a new ParsedIface
  - then compare against the parsed (but not renamed) version of the old
	interface file
Doing this meant adding code to convert *to* HsSyn things, and to
compare HsSyn things for equality.  That is the main tedious bit.

Another improvement is that we now track version info for
fixities and rules, which was missing before.


Interface file reading
~~~~~~~~~~~~~~~~~~~~~~
Make interface files reading more robust.
  * If the old interface file is unreadable, don't fail. [bug fix]

  * If the old interface file mentions interfaces
    that are unreadable, don't fail. [bug fix]

  * When we can't find the interface file,
    print the directories we are looking in.  [feature]


Type signatures
~~~~~~~~~~~~~~~
  * New flag -ddump-types to print type signatures


Type pruning
~~~~~~~~~~~~
When importing
	data T = T1 A | T2 B | T3 C
it seems excessive to import the types A, B, C as well, unless
the constructors T1, T2 etc are used.  A,B,C might be more types,
and importing them may mean reading more interfaces, and so on.
 So the idea is that the renamer will just import the decl
	data T
unless one of the constructors is used.  This turns out to be quite
easy to implement.  The downside is that we must make sure the
constructors are always available if they are really needed, so
I regard this as an experimental feature.


Elimininate ThinAir names
~~~~~~~~~~~~~~~~~~~~~~~~~
Eliminate ThinAir.lhs and all its works.  It was always a hack, and now
the desugarer carries around an environment I think we can nuke ThinAir
altogether.

As part of this, I had to move all the Prelude RdrName defns from PrelInfo
to PrelMods --- so I renamed PrelMods as PrelNames.

I also had to move the builtinRules so that they are injected by the renamer
(rather than appearing out of the blue in SimplCore).  This is if anything simpler.

Miscellaneous
~~~~~~~~~~~~~
* Tidy up the data types involved in Rules

* Eliminate RnEnv.better_provenance; use Name.hasBetterProv instead

* Add Unique.hasKey :: Uniquable a => a -> Unique -> Bool
  It's useful in a lot of places

* Fix a bug in interface file parsing for __U[!]

Add tests for result type sigs

Add test for record selector functions where the field has a
polymorphic type.

Remove -noC, add -package concurrent to simpl006_HC_OPTS.

Added -package concurrent.