GitLab

A left over from the 1st GHCi debugger prototype

Somehow the "html" subdirs are gone, this change was not completely
intentional, but it is nice, anyway. Those subdirs never served any
real purpose...

MERGE TO STABLE

If it is set, we don't try to use clock_gettime

Improved the underlining of blocks.
With this patch it does:

Stopped at break020.hs:(6,20)-(7,29)
_result :: t1 () = _
5  
                     vv
6  in_another_decl _ = do line1 0
7                         line2 0
                                 ^^
8  

Instead of

Stopped at break020.hs:(6,20)-(7,29)
_result :: t1 () = _
5  
6  in_another_decl _ = do line1 0
                       ^^
7                         line2 0
                                 ^^
8  

We weren't taking into account the offset added by the line numbers:

Stopped at break020.hs:10:2-8
_result :: IO () = _
9  main = do
10    line1 0
     ^^^^^^^
11    line2 0


This patch adjusts that 

We also avoid using -fno-warn-orphans with older GHCs that don't understand
the flag.

We use this in the testsuite to find out which libraries we should run
the tests from.

This fixes the long-standing bug that prevents some code with
mutally-recursive modules from being compiled with --make and -O,
including GHC itself.  See the comments for details.

There are some additional cleanups that were forced/enabled by this
patch: I removed importedSrcLoc/importedSrcSpan: it wasn't adding any
useful information, since a Name already contains its defining Module.
In fact when re-typechecking an interface file we were wrongly
replacing the interesting SrcSpans in the Names with boring
importedSrcSpans, which meant that location information could degrade
after reloading modules.  Also, recreating all these Names was a waste
of space/time.

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

The standard autoconf variables like prefix, exec_prefix, ... are always set by
configure, so there is no need to provide explicit defaults in the Makefile.

The lines were introduced about a decade ago, perhaps there were some bugs in
ancient autoconfs, but today I can't think of a reason why this should be still
necessary.

MERGE TO STABLE

MERGE TO STABLE

MERGE TO STABLE

The hpc overlay has been ported from hpc-0.4
The new API for readMix is now used.

Otherwise we may get unused variable warnings. GHC should optimise them
all out for us.

We think there is a library there, and then installPackage fails to
install it.

I've renamed a number of type and data constructors within Cmm so that
the names used in the compiler may more closely reflect the C--
specification 2.1.  I've done a bit of other renaming as well.
Highlights:

  CmmFormal and CmmActual now bear a CmmKind (which for now is a
                                              MachHint as before)
  CmmFormals = [CmmFormal] and CmmActuals = [CmmActual]
  
  suitable changes have been made to both code and nonterminals in the
  Cmm parser (which is as yet untested)

  For reasons I don't understand, parts of the code generator use a
  sequence of 'formal parameters' with no C-- kinds.  For these we now
  have the types
    type CmmFormalWithoutKind   = LocalReg
    type CmmFormalsWithoutKinds = [CmmFormalWithoutKind]

  A great many appearances of (Tau, MachHint) have been simplified to
  the appropriate CmmFormal or CmmActual, though I'm sure there are
  more opportunities.

  Kind and its data constructors are now renamed to
     data GCKind = GCKindPtr | GCKindNonPtr 
  to avoid confusion with the Kind used in the type checker and with CmmKind.

Finally, in a somewhat unrelated bit (and in honor of Simon PJ, who
thought of the name), the Whalley/Davidson 'transaction limit' is now
called 'OptimizationFuel' with the net effect that there are no longer
two unrelated uses of the abbreviation 'tx'.

No longer include non-indexed arguments
in lookup of matching type function clause.
By including non-indexed (additional) arguments,
the lookup always fails.