- ghc-tickets - Haskell.org

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

26 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 26 Nov '14

26 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 26 Nov '14

26 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 25 Nov '14

25 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

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: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded Comment: The function `$fGEqLogic_$cgeq` from the output of `ghc -fforce-recomp -ddump-simpl -dsuppress-all -O1 Bug3.hs` with ghc-7.9.20141121 (HEAD): {{{ Rec { $fGEqLogic_$cgeq $fGEqLogic_$cgeq = \ x_aYx y_aYy -> let { $j_s1Y5 $j_s1Y5 = \ a9_a1kB -> case y_aYy of _ { __DEFAULT -> False; Not g1_aBh_a1kM -> case a9_a1kB of _ { L1 a10_a1kz -> $fGEqLogic_$cgeq (a10_a1kz `cast` ...) g1_aBh_a1kM; R1 a10_X1o5 -> False }; And g1_aBi_a1kN g2_aBj_a1kO -> case a9_a1kB of _ { L1 a10_a1kz -> False; R1 a10_X1o5 -> case a10_X1o5 `cast` ... of _ { :*: a11_a171 b1_a172 -> case $fGEqLogic_$cgeq (a11_a171 `cast` ...) g1_aBi_a1kN of _ { False -> False; True -> $fGEqLogic_$cgeq (b1_a172 `cast` ...) g2_aBj_a1kO } } } } } in case x_aYx of _ { T -> case y_aYy of _ { T -> True; F -> False; Not g1_aBh_a1kM -> False; And g1_aBi_a1kN g2_aBj_a1kO -> False }; F -> case y_aYy of _ { __DEFAULT -> False; F -> True }; Not g1_aBh_a1kM -> $j_s1Y5 (L1 (g1_aBh_a1kM `cast` ...)); And g1_aBi_a1kN g2_aBj_a1kO -> $j_s1Y5 (R1 ((:*: (g1_aBi_a1kN `cast` ...) (g2_aBj_a1kO `cast` ...)) `cast` ...)) } end Rec } }}} Pedro: is that sufficiently small, or do you still think there is a bug somewhere? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7109#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting
by GHC 25 Nov '14

25 Nov '14

#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting -------------------------------------+------------------------------------- Reporter: | Owner: tibbe DuncanMortimer | Status: infoneeded Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: GHCi | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: MacOS X | Difficulty: Unknown Type of failure: Other | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by carter): I can't reproduce this in 7.8.3 on OS X 10.9 with the 10.9 terminal app (unless i'm interpreting the directions wrong) What version of OS X and terminal was this bug originaly reported for? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7133#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting
by GHC 25 Nov '14

25 Nov '14

#7133: GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource vanished (Broken Pipe)' when quitting -------------------------------------+------------------------------------- Reporter: | Owner: tibbe DuncanMortimer | Status: infoneeded Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: GHCi | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: MacOS X | Difficulty: Unknown Type of failure: Other | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: hvr (added) * status: new => infoneeded Comment: Can anyone on Mac OS X reproduce this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7133#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7141: Inlining the single method of a class can shadow rules
by GHC 25 Nov '14

25 Nov '14

#7141: Inlining the single method of a class can shadow rules -------------------------------------+------------------------------------- Reporter: pcapriotti | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.4.2 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Other | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Template Haskell -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7141#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0