#1980: sporadic segmentation faults
----------------------------+-----------------------------------------------
Reporter: maeder | Owner: simonmar
Type: bug | Status: new
Priority: normal | Milestone: 6.8.3
Component: Runtime System | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Linux |
----------------------------+-----------------------------------------------
Comment (by maeder):
The relevant piece of source code is in `proofManagementGUI`, in the line
that starts with:
{{{
+> (doProve >>> do
}}}
of
http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
distribution/versions/Hets/docs/GUI-ProofManagement.html
The used event stuff comes from uni
http://www.informatik.uni-
bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
distribution/versions/Hets/docs/www/events/Events.html
(The haddock documentation has links to the actual source files)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1980#comment:4>
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
