August 2013 - ghc-tickets

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 19 Aug '13

19 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: fixed | Version: 7.6.2 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 19 Aug '13

19 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Austin Seipp <aseipp@…>): In [changeset:5535416500167a1167bf8b375acf999ad4b20924/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="5535416500167a1167bf8b375acf999ad4b20924" Test case for #7901. Signed-off-by: Austin Seipp <aseipp(a)pobox.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 19 Aug '13

19 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Austin Seipp <aseipp@…>): In [changeset:96adf0e99b1a6595ee40ef9c05263a4fe73eb7c5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="96adf0e99b1a6595ee40ef9c05263a4fe73eb7c5" Improve error when using forall with UnicodeSyntax Fixes Trac #7901. '∀' is neither upper nor lowercase, unlike the 'f' in 'forall', so when explicit forall is not enabled, it creates a parse error before reaching the '.', which is where we give a nice message for ascii 'forall'. Therefore, we make '∀' into a token as long as UnicodeSyntax is enabled, which is safe because its caselessness means it can never be mistaken for a symbol, and check extensions in the parser when the 'forall' rule is used. Authored-by: Paul Cavallaro <ptc(a)fb.com> Authored-by: Anders Papitto <anderspapitto(a)gmail.com> Signed-off-by: Austin Seipp <aseipp(a)pobox.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 18 Aug '13

18 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by thoughtpolice): Thanks to the both of you. These patches look fine; I'll validate/merge them shortly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 18 Aug '13

18 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by ajp): This is my first attempt at working on ghc, so any feedback is appreciated. All functional changes are in 0002-Improve... - 0001-Minor- cleanups... removes some dead code and extraneous whitespace that I came across, but can easily be discarded. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 18 Aug '13

18 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8140: ghc: panic! (the 'impossible' happened)
by GHC 18 Aug '13

18 Aug '13

#8140: ghc: panic! (the 'impossible' happened) ------------------------------------+------------------------------------- Reporter: PrzD | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for i386-unknown-linux): nameModule show{tv ahe} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8140> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 18 Aug '13

18 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by ptc): I did some hacking on this earlier this week, and thought I'd add this patch which removes some dead code, and changes the lexer to check the same extensions for unicode forall as ascii forall. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8137: Permited mega-polymorphic type
by GHC 17 Aug '13

17 Aug '13

#8137: Permited mega-polymorphic type -------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC accepts Architecture: Unknown/Multiple | invalid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Mega-polymorphic type! This looks like a bug, but may be it is a feature {{{ u = u b = u 2 + u "extra" "poly" "arguments" True b' = u ++ u True eq' = (u :: Bool) == (u 3.14 :: Bool) eq'' = (u 1 :: Num t => t) == (u "strings" "a lot" :: Num z => z) eq = u == u 2 -- ghci only > :t u u :: t }}} This code is valid for TypeChecker -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8137> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall
by GHC 17 Aug '13

17 Aug '13

#7901: Bad error message when using UnicodeSyntax ∀ without ExplicitForall -------------------------------------------------+------------------------- Reporter: exbb2 | Owner: ajp Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by ajp): * owner: => ajp * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7901#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0