#4265: Sanity bug found by +RTS -DS in Agda
-------------------------------+--------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: infoneeded
Priority: normal | Milestone:
Component: Runtime System | Version: 6.13
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Runtime crash
-------------------------------+--------------------------------------------
Comment(by wkahl):
Sorry, for installing Agda, change
{{{
cd main/src
}}}
to
{{{
cd src/main
}}}
Wolfram
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4265#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
