[Agda] Patch for compilation with GHC-7

[kahl at cas.mcmaster.ca]

On 02 Nov 2010 13:38, Nils Anders Danielsson <nad at Cs.Nott.AC.UK> wrote:
 > On 2010-11-02 01:49, kahl at cas.mcmaster.ca wrote:
 > >
 > > Since I am still getting segfaults and GHC-run-time-system errors
 > > with GHC-6.12.3 and Agda-2.2.8, I am now trying GHC-7 for comparison.
 > 
 > Are these errors caused by GHC, or should we try to do something about
 > them?

In http://hackage.haskell.org/trac/ghc/ticket/4462, Simon Peyton Jones
wrote:

    > GHC should never segfault unless you are using unsafeCoerce or the
    > FFI.

Upon this, I discovered dist/build/Agda/Syntax/Parser/Parser.hs in my Agda
build directory. Is this used anywhere? Could this be active at the end of
some semi-closed handle when I get my crashes long after Agda mentioned any
file reading (Checking/Skipping ...)?

Is there anything else suspect in Agda that I may have overlooked?

(By the way, it would be nice if the default verbosity not only mentioned
 when agda starts looking at some file (Checking...), but also when it is
 done with it, i.e., when it finished writing the .agdai file.)


Wolfram