November 2014 - ghc-tickets

Re: [GHC] #7044: reject reading rationals with exponent notation
by GHC 25 Nov '14

25 Nov '14

#7044: reject reading rationals with exponent notation -------------------------------------+------------------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #5692,#7266 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: #5692 => #5692,#7266 Comment: Note that with #7266, since 7.8.1, the example for integers is accepted: {{{ $ ghci -XNumDecimals ... Prelude> 1e10 :: Int 10000000000 }}} Along the same lines, should `(1E10 :: Rational)` only be accepted when `-XNumDecimals` is set? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7044#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3654: Mach-O GHCi linker lacks support for a range of relocation entries
by GHC 25 Nov '14

25 Nov '14

#3654: Mach-O GHCi linker lacks support for a range of relocation entries -------------------------------------+------------------------------------- Reporter: chak | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Runtime | Version: 6.13 System | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: MacOS X | Difficulty: Unknown Type of failure: | Blocked By: 3658 None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * status: new => closed * resolution: => fixed * milestone: 7.10.1 => Comment: GHCi on OS X has been using the system linker since 7.8.1, see [wiki:DynamicGhcPrograms] and #3658, so this is no longer an issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3654#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5062: Patch: Debug output for OS X linker and coding standard upgrades
by GHC 25 Nov '14

25 Nov '14

#5062: Patch: Debug output for OS X linker and coding standard upgrades -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Runtime | Version: 7.0.3 System | Keywords: Resolution: wontfix | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 3658 Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * milestone: 7.10.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5062#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5062: Patch: Debug output for OS X linker and coding standard upgrades
by GHC 25 Nov '14

25 Nov '14

#5062: Patch: Debug output for OS X linker and coding standard upgrades -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: Runtime | Version: 7.0.3 System | Keywords: Resolution: wontfix | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 3658 Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * difficulty: => Unknown * status: new => closed * resolution: => wontfix Comment: GHCi on OS X has been using the system linker since 7.8.1, see [wiki:DynamicGhcPrograms] and #3658. Please re-open if someone thinks there's still value in applying this patch to the old GHCi linker. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5062#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7072: GHC interpreter does not find stat64 symbol on Linux
by GHC 25 Nov '14

25 Nov '14

#7072: GHC interpreter does not find stat64 symbol on Linux -------------------------------------+---------------------------------- Reporter: snoyberg | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: GHCi | Version: 7.4.2 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+---------------------------------- Changes (by hvr): * milestone: => 7.8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7072#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7072: GHC interpreter does not find stat64 symbol on Linux
by GHC 25 Nov '14

25 Nov '14

#7072: GHC interpreter does not find stat64 symbol on Linux -------------------------------------+---------------------------------- Reporter: snoyberg | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 7.4.2 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+---------------------------------- Changes (by thomie): * cc: hvr (added) * status: new => closed * resolution: => fixed * milestone: 7.10.1 => Comment: GHCi on Linux has been using the system linker since 7.8.1, see [wiki:DynamicGhcPrograms], so this is no longer an issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7072#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7011: 32bit GHC 7.4.2 cannot compile integer-gmp on OS X 10.8
by GHC 25 Nov '14

25 Nov '14

#7011: 32bit GHC 7.4.2 cannot compile integer-gmp on OS X 10.8 -------------------------------------+------------------------------------- Reporter: chak | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Core | Version: 7.5 Libraries | Keywords: Mountain Lion Resolution: worksforme | Architecture: x86 Operating System: MacOS X | Difficulty: Unknown Type of failure: Building | Blocked By: GHC failed | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * failure: None/Unknown => Building GHC failed * status: infoneeded => closed * resolution: => worksforme Comment: With #9281, `integer-gmp` is obsolete. Please open a new ticket if there are any problems compiling `integer-gmp2` on OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7011#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7109: Inlining depends on datatype size, even with INLINE pragmas
by GHC 25 Nov '14

25 Nov '14

#7109: Inlining depends on datatype size, even with INLINE pragmas -------------------------------------+------------------------------------- Reporter: dreixel | Owner: simonpj Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dreixel): Replying to [comment:4 thomie]: > Pedro: is that sufficiently small, or do you still think there is a bug somewhere? I think there's still a problem. Let's look at the code for `Bug2.hs`, which simply has one fewer constructor: {{{ $fGEqLogic_$cgeq $fGEqLogic_$cgeq = \ x_aYs y_aYt -> case x_aYs of _ { T -> case y_aYt of _ { T -> True; F -> False; Not g1_aBc_a1kH -> False }; F -> case y_aYt of _ { __DEFAULT -> False; F -> True }; Not g1_aBc_a1kH -> case y_aYt of _ { __DEFAULT -> False; Not g1_aBc1_X1mN -> $fGEqLogic_$cgeq g1_aBc_a1kH g1_aBc1_X1mN } } }}} This looks good. No casts, no `L`/`R`, just a perfectly specialised function. In contrast, `Bug3` (which simply adds one constructor) has generic representation leftovers and casts all over the place. It still feels like something is behaving significantly different just because the datatype got slightly bigger, and I don't know how to tell GHC that it shouldn't be afraid of inlining stuff just because the terms are bigger. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7109#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7028: incorrect link paths for in mac os x after install
by GHC 25 Nov '14

25 Nov '14

#7028: incorrect link paths for in mac os x after install -------------------------------------+------------------------------------- Reporter: | Owner: leroux andykitchen | Status: closed Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Build | Keywords: System | Architecture: x86_64 (amd64) Resolution: worksforme | Difficulty: Unknown Operating System: MacOS X | Blocked By: Type of failure: Installing | Related Tickets: GHC failed | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: infoneeded => closed * resolution: => worksforme Comment: Please re-open if you're still having problems with version 7.8.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7028#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7114: Cannot recover (good) inlining behaviour from 7.0.2 in 7.4.1
by GHC 24 Nov '14

24 Nov '14

#7114: Cannot recover (good) inlining behaviour from 7.0.2 in 7.4.1 -------------------------------------+------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): This issue is not resolved yet. Relevant part of the output of `ghc-7.9.20141121 -fforce-recomp -ddump-simpl -O1 Code3.hs` still has the same structure (to reproduce, search for last `Rec` in the output): {{{#!hs lvl_r1aH :: [List] [GblId, Caf=NoCafRefs, Str=DmdType] lvl_r1aH = GHC.Types.: @ List Code2.Nil (GHC.Types.[] @ List) Rec { Code2.$senum'5 :: [K1 List] [GblId, Str=DmdType, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 0}] Code2.$senum'5 = map @ List @ (K1 List) (Code2.K1 @ List) Code2.$fGEnumList_$cgenum lvl1_r1aI :: Int -> [List] [GblId, Arity=1, Str=DmdType] lvl1_r1aI = \ (x_XNx :: Int) -> map @ (K1 List) @ List (\ (x1_XOq :: K1 List) -> case x1_XOq of _ [Occ=Dead] { K1 b_axA -> Code2.Cons x_XNx b_axA }) Code2.$senum'5 lvl2_r1aJ :: [[List]] [GblId, Str=DmdType] lvl2_r1aJ = map @ Int @ [List] lvl1_r1aI Code2.$fGEnumInt_$cgenum lvl3_r1aK :: [List] [GblId, Str=DmdType] lvl3_r1aK = diag @ List lvl2_r1aJ Code2.$fGEnumList_$cgenum [Occ=LoopBreaker] :: [List] [GblId, Str=DmdType] Code2.$fGEnumList_$cgenum = ||| @ List lvl_r1aH lvl3_r1aK end Rec } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7114#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0