- ghc-tickets - Haskell.org

[GHC] Batch modify: #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #286
by GHC 23 Dec '14

23 Dec '14

Batch modification to #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #2867, #2933, #2940, #2945, #2946, #2950, #2968, #2986, #2988, #2991, #3000, #3034, #3061, #3070, #3073, #3107, #3122, #3123, #3138, #3140, #3192, #3238, #3251, #3282, #3314, #3321, #3351, #3355, #3452, #3458, #3533, #3571, #3606, #3711, #3781, #3870, #3960, #4017, #4022, #8782 by thoughtpolice: milestone to 7.12.1 Comment: Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=344%2C602%2C1012%2C1016%2C1330%2C1…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #286
by GHC 23 Dec '14

23 Dec '14

Batch modification to #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #2867, #2933, #2940, #2945, #2946, #2950, #2968, #2986, #2988, #2991, #3000, #3034, #3061, #3070, #3073, #3107, #3122, #3123, #3138, #3140, #3192, #3238, #3251, #3282, #3314, #3321, #3351, #3355, #3452, #3458, #3533, #3571, #3606, #3711, #3781, #3870, #3960, #4017, #4022, #8782 by thoughtpolice: milestone to 7.12.1 Comment: Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=344%2C602%2C1012%2C1016%2C1330%2C1…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7788: Recursive type family causes <<loop>>
by GHC 23 Dec '14

23 Dec '14

#7788: Recursive type family causes <<loop>> -------------------------------------+------------------------------------- Reporter: shachaf | Owner: simonpj Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.6.2 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: result at runtime | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): Does anyone actually care about programs with non-terminating type computations? The type inference engine makes no claim to be a lazy evaluator. So if you write non-terminating type-level expressions, the compiler may loop. I agree that it might be more puzzling if the compiler succeeds but the program loops at runtime. But that doesn't seem to be happening right now. If this matters to anyone, sing out. Otherwise I'm going to leave it. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7788#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9914: Inconsistent handling of leading whitespace in GHCi
by GHC 23 Dec '14

23 Dec '14

#9914: Inconsistent handling of leading whitespace in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Parser) | Version: 7.8.3 Keywords: GHCi | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: GHC Blocked By: | rejects valid program Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- In GHCi, the following three lines all work as expected: {{{ λ» let x = 1 λ» x 1 λ» let x = 2 -- Note leading whitespace λ» x 2 λ» data Foo = Foo λ» :i Foo data Foo = Foo -- Defined at <interactive>:6:1 }}} However, this fails: {{{ λ» data Bar = Bar -- Note leading whitespace <interactive>:8:2: parse error on input ‘data’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9914> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9915: GHCi has trouble with 'foreign' when it is not a keyword
by GHC 23 Dec '14

23 Dec '14

#9915: GHCi has trouble with 'foreign' when it is not a keyword -------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Parser) | Version: 7.8.3 Keywords: GHCi | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- In Haskell 98 mode, `foreign` is not a keyword at all. The following is an example of a valid Haskell 98 program: {{{#!hs {-# LANGUAGE Haskell98 #-} module F where foreign :: Int foreign = 42 }}} However, it seems noone told GHCi about this: {{{ 12:42:38 [cactus@galaxy hs]$ ghci -XHaskell98 GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. λ» x = 42 -- Expected to fail <interactive>:2:3: parse error on input ‘=’ λ» x -- Expected to fail <interactive>:3:1: Not in scope: ‘x’ λ» -- So this should fail as well, right? λ» foreign = 42 λ» -- Nope λ» foreign 42 λ» -- But wait, there's more! λ» foreign -- boo! <interactive>:9:1: Parse error: naked expression at top level Perhaps you intended to use TemplateHaskell }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9915> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9783: Pattern synonym matcher is unnecessarily strict on unboxed continuations
by GHC 23 Dec '14

23 Dec '14

#9783: Pattern synonym matcher is unnecessarily strict on unboxed continuations -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler (Type | Version: 7.8.3 checker) | Operating System: Keywords: pattern synonyms | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Incorrect Difficulty: Moderate (less | result at runtime than a day) | Test Case: Blocked By: | Blocking: Related Tickets: 9732 | Differential Revisions: -------------------------------------+------------------------------------- As discovered while investigating #9732, if you have something like {{{ {-# LANGUAGE PatternSynonyms, MagicHash #-} import GHC.Base pattern P = True f :: Bool -> Int# f P = 42# }}} `f` is compiled into {{{ Main.f :: GHC.Types.Bool -> GHC.Prim.Int# [LclIdX, Str=DmdType] Main.f = letrec { f_apU :: GHC.Types.Bool -> GHC.Prim.Int# [LclId, Str=DmdType] f_apU = \ (ds_dq1 :: GHC.Types.Bool) -> break<2>() let { fail_dq2 :: GHC.Prim.Void# -> GHC.Prim.Int# [LclId, Str=DmdType] fail_dq2 = \ (ds_dq3 [OS=OneShot] :: GHC.Prim.Void#) -> Control.Exception.Base.patError @ GHC.Prim.Int# "unboxed.hs:7:1-9|function f"# } in case fail_dq2 GHC.Prim.void# of wild_00 { __DEFAULT -> (case break<1>() 42 of wild_00 { __DEFAULT -> Main.$mP @ GHC.Prim.Int# ds_dq1 wild_00 }) wild_00 }; } in f_apU }}} Note how `fail_dq2` is applied on `void#` _before_ the pattern match, meaning the following expression: {{{ I# (f True) }}} will fail with {{{ *** Exception: unboxed.hs:7:1-9: Non-exhaustive patterns in function f }}} This is because the the type of `P`'s matcher, instantiated for its use in `f`, is {{{ $mP :: Bool -> Int# -> Int# -> Int# }}} so of course it is strict both on the success and the failure continuation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9783> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #9732: Pattern synonyms and unboxed values
by GHC 23 Dec '14

23 Dec '14

#9732: Pattern synonyms and unboxed values -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Compile- Blocked By: | time crash Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- It's possible to declare a toplevel unboxed value with a pattern synonym, which causes a panic: {{{ {-# LANGUAGE PatternSynonyms, MagicHash #-} pattern P = 0# }}} (compare with error on `x = 0#`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9732> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 24

[GHC] #9919: Phab doesn't work with Firefox
by GHC 23 Dec '14

23 Dec '14

#9919: Phab doesn't work with Firefox -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I recently got fed up with Chrome's attempts to notify me about things which I don't wish to be notified, and decided to go (back) to Firefox. But, now I discover that Firefox doesn't work completely with Phab! Specifically, on a differential page, I can't click on the little down- arrow to the right of a comment (the one that pulls up the menu containing the "Quote" option), useful if I want to reply. Clicking there has no effect, and my cursor becomes the shape it usually does when I'm about to enter text, not an arrow. I'm using Firefox version 34.0.5, which claims it is up-to-date. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9919> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9881: GHCi gives misleading error message when looking up info of ambiguous type
by GHC 22 Dec '14

22 Dec '14

#9881: GHCi gives misleading error message when looking up info of ambiguous type -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Other Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When GHCi imports multiple functions with the same name, using {{{:i}}} results in an ambiguous occurrence error: {{{ > import Data.Text > import Data.Text.Lazy > :i length Top level: Ambiguous occurrence ‘length’ It could refer to either ‘Data.Text.Lazy.length’, imported from ‘Data.Text.Lazy’ or ‘Prelude.length’, imported from ‘Prelude’ (and originally defined in ‘GHC.List’) or ‘Data.Text.length’, imported from ‘Data.Text’ }}} However, if you use {{{:i}}} on a type name that has imported multiple times in GHCi, a misleading error is given: {{{ > import Data.Text > import Data.Text.Lazy > :i Text Top level: Not in scope: data constructor ‘Text’ }}} The real problem is that the type name {{{Text}}} was imported twice with two different definitions, so the error should probably look something like this: {{{ Top level: Ambiguous occurrence ‘Text’ It could refer to either ‘Data.Text.Lazy.Text’, imported from ‘Data.Text.Lazy’ (and originally defined in ‘Data.Text.Internal.Lazy’) or ‘Data.Text.Text’, imported from ‘Data.Text’ (and originally defined in ‘Data.Text.Internal‘) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9881> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #6018: Injective type families
by GHC 22 Dec '14

22 Dec '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.12.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: Phab:D202 | -------------------------------------+------------------------------------- Changes (by jstolarek): * milestone: 7.10.1 => 7.12.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:102> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0