GitLab

Further to previous patch: only create the user database if we're modifying

Be a bit less eager about creating the user database: now we only
create it when explicitly asked to use it with --user.

Fix InstalledPackageInfo link

Remove Main module from exported-modules field

```-------------------------------:frontmatter
Two GADT error-reporting bugs
	----------------------------------

	Merge to STABLE
```

missed file...

1.  Bug in kind-checking for GADTs; turned out to be in
    isOpenTypeKind on KindVars

....

[mingw only]setProgName():
  robustify by looking for the last '/' or '\\' in argv[0].
  My copy of 'gdb' likes to use a mixture of the two, which causes a
  fatal error when trying to debug libHSrts_p.a. Other process-invoking
  apps/shells might be equally wavering when it comes to the use of slashes.

Merge to STABLE.

all modules from GHC are listed in exposed-modules field

TARGET->HOST

----------------------------------
 	Two GADT error-reporting bugs
	----------------------------------

	Merge to STABLE

1.  Bug in kind-checking for GADTs; turned out to be in
    isOpenTypeKind on KindVars

2.  Missed check for the return type for GADTs

package.conf.in is changed to the new syntax. The list of exposed modules still
have only one module GHC

A very rough start at the GHC API, here so that others can look and
modify it.

Fix (and test) for SourceForge bug 1161624: erroneous rejection of

	foo = proc x -> arr (\y -> y-1) -< x

Now open a new level for the left side of -<, so that variables bound
in the proc are illegal, but variables bound in the expression are OK.

Note that the levels gimmick doesn't really implement holes in the
scope: it rules out nasty obfuscations like

	foo x = proc x -> arr (\y -> x-1) -< x

Also added the same treatment to the head of a `form', where it was
missing.

(for STABLE)

Without semicolon after "foundit:" at least mingw32-gcc raises "error: label at end of compound statement".

Fix obscure_ccall

Remove locale setting, it is no longer required

configure-bin.ac: I didn't know this file existed.
                  Add powerpc-linux and powerpc64-linux targets.

oops, forgot to clean runhaskell

----------------------------------
 	Attend to fixity of '->' in types
	----------------------------------

	Merge to STABLE

Another wibble to the infix-type-constructor story. Actually
this has been a bug for some time: function type constructors
were not being re-associated, because they are not HsOpAppTys.

----------------------------------
 	Fix a "class used as a type" crash
	----------------------------------

	Merge to STABLE

Thanks to Shae for finding this one.  tcfail134 tests.

Implement foreign import wrapper on x86_64

Define __CYGWIN32__ for nhc98 build of hsc2hs.

x86: For some reason the code for obscure_ccall_ret_code was allocated
dynamically and specified using literal bytes rather than inline
assembly.  Change it to use inline assembly.

Clean .hi-boot and .o-boot files when appropriate.  The standard
cleaning doesn't work in ghc/compiler because of $(odir).

Add x86_64 platforms

Add runhaskell

Reword documentation of retainer sets

Wibbles to infix operators; please merge

Fix indirection-shorting problem

Comments

Document infix type operators

Add parser support for infix type-variable operators

Fix the superclass translation for instance decls
			Merge to STABLE

There is a long-standing difficulty whereby it's surprisingly easy 
to accidentally generate an entirely-bogus recursive dictionary when 
generating the definitions for the superclasses of an instance decl.

The problem arises because the default story is that whenever we
add a constraint to our pile of solved constraints, we automatically
add all its superclasses.  But that is simply wrong when we are trying
to generate superclasses. 

Solution: do no auto-superclass addition when solving the superclass
constraints of an instance declaration.  I think should fix it once and
for all.  

	tcrun021, tcrun033 are test cases

tcrun033 showed up the bug; thanks to Simon Foster and Ralf Laemmel.

Add missing provenance for mfix; pls merge

Add notes about implicit parameters; pls merge

Use a different magic number (0x1face64) for 64-bit interface files.
This will prevent us trying to read the dictionary out of a 32-bit
interface file on a 64-bit machine.

revert previous change, it didn't work

Retain all CAFs when dynamic Haskell libraries are used from GHCi.
The Linker usually replaces references to newCAF with references to newDynCAF,
but the system dynamic linker won't do that for us.

Also, the situation is slightly different - we never want CAFs from dylibs
to be reverted, because the dylibs might be used both by the interpreted
program and by GHCi itself.

So instead of just caf_list, there's now both caf_list and revertible_caf_list.
newDynCAF adds a CAF to revertible_caf_list, and newCAF either adds the CAF
to caf_list or to the mutable list, depending on whether we are in GHCi.

This hack is only active when Linker.c has loaded libHSbase_dyn.[so|dylib],
but for now, it applies to all CAFs, not just dynamically-linked ones.
If that is worth fixing, we could do that by checking whether the the CAF
closure or it's info pointer is in the main executable's address range.

MERGE TO STABLE

Some minimalistic documentation for -fPIC and -dynamic.

MERGE TO STABLE

Mac OS X: fix_install_name when installing libexecs

MERGE TO STABLE

give 'runhaskell' the 'exeext' treatment too