|

»

»

Haskell - Glasgow-haskell-bugs

[GHC] #2414: GHCi segfault

View: New views

7 Messages — Rating Filter: Alert me

	[GHC] #2414: GHCi segfault by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi segfault ------------------------+--------------------------------------------------- Reporter: dons \| Owner: Type: bug \| Status: new Priority: normal \| Component: GHCi Version: 6.8.2 \| Severity: normal Keywords: \| Testcase: Architecture: Unknown \| Os: Unknown ------------------------+--------------------------------------------------- {{{ Prelude> Data.List.unfoldr Just (1,1) [1,zsh: segmentation fault ghci -v0 }}} Spotted in #haskell, ghc-6.8.2 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem ----------------------------------------+----------------------------------- Reporter: dons \| Owner: Type: bug \| Status: new Priority: normal \| Milestone: Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: Keywords: \| Testcase: Architecture: Unknown \| Os: Unknown ----------------------------------------+----------------------------------- Comment (by AudreyTang): More data points: {{{ unfoldr Just ((),()) -- crash unfoldr (id Just) ((),()) -- fine unfoldr (id . Just) ((),()) -- fine unfoldr (Just . id) ((),()) -- fine }}} Also GHC 6.4.3 is fine. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem -------------------------------------+-------------------------------------- Reporter: dons \| Owner: Type: bug \| Status: new Priority: high \| Milestone: 6.10.1 Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: \| Architecture: Unknown Os: Unknown \| -------------------------------------+-------------------------------------- Changes (by simonpj): * priority: normal => high * difficulty: => Unknown * milestone: => 6.10.1 Comment: Excellent report! Happily `-dcore-lint` nails the problem, as usual. As you speculated, it's in the type checker. A missing occurs check is allows through a bogus program. I wonder how long this has been lurking! I have not yet found the bug -- but I know where to look now. Thanks Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem -----------------------------------------+---------------------------------- Reporter: dons \| Owner: igloo Type: merge \| Status: new Priority: high \| Milestone: 6.10.1 Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: typecheck/should_fail/T2414 \| Architecture: Unknown Os: Unknown \| -----------------------------------------+---------------------------------- Changes (by simonpj): * testcase: => typecheck/should_fail/T2414 * owner: => igloo * type: bug => merge Comment: Thank you for finding this. Very embarrassing, because it's such a simple program (no type classes, no functional dependencies, no type functions...). The extra complexity due to boxy types led to a missing occurs check. This is the patch: {{{ Mon Jul 7 11:32:01 BST 2008 simonpj@... * Fix Trac #2414: occurrs check was missed }}} Merge to 6.8.4 if/when we release it. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem -----------------------------------------+---------------------------------- Reporter: dons \| Owner: igloo Type: merge \| Status: new Priority: high \| Milestone: 6.8 branch Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: typecheck/should_fail/T2414 \| Architecture: Unknown Os: Unknown \| -----------------------------------------+---------------------------------- Changes (by igloo): * milestone: 6.10.1 => 6.8 branch -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem -----------------------------------------+---------------------------------- Reporter: dons \| Owner: Type: merge \| Status: new Priority: high \| Milestone: 6.8 branch Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: typecheck/should_fail/T2414 \| Architecture: Unknown Os: Unknown \| -----------------------------------------+---------------------------------- Changes (by igloo): * owner: igloo => -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #2414: GHCi / GHC segfault : type checker problem by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #2414: GHCi / GHC segfault : type checker problem -----------------------------------------+---------------------------------- Reporter: dons \| Owner: Type: merge \| Status: closed Priority: high \| Milestone: 6.8 branch Component: Compiler (Type checker) \| Version: 6.8.2 Severity: normal \| Resolution: fixed Keywords: \| Difficulty: Unknown Testcase: typecheck/should_fail/T2414 \| Architecture: Unknown/Multiple Os: Unknown/Multiple \| -----------------------------------------+---------------------------------- Changes (by igloo): * status: new => closed * resolution: => fixed Comment: We won't be releasing 6.8.4. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

LightInTheBox - Buy quality products at wholesale price