November 2014 - ghc-tickets

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

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

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

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

24 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

[GHC] #8338: Incoherent instances without -XIncoherentInstances
by GHC 24 Nov '14

24 Nov '14

#8338: Incoherent instances without -XIncoherentInstances ------------------------------------+------------------------------------- Reporter: goldfire | 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: | ------------------------------------+------------------------------------- Consider the following 4 modules: {{{ {-# LANGUAGE GADTs #-} module A where data One = One data ShowInstFor a = Show a => MkSIF incoherent :: ShowInstFor One -> ShowInstFor One -> String incoherent MkSIF MkSIF = show One }}} {{{ module B where import A instance Show One where show _ = "from module B" fromB :: ShowInstFor One fromB = MkSIF }}} {{{ module C where import A instance Show One where show _ = "from module C" fromC :: ShowInstFor One fromC = MkSIF }}} {{{ module D where import A import B import C oops1 = incoherent fromB fromC oops2 = incoherent fromC fromB }}} According to ghci, `oops1` is `"from moduleB"` and `oops2` is `"from module C"`. This seems bad. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8338> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7296: ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`
by GHC 24 Nov '14

24 Nov '14

#7296: ghc-7 assumes incoherent instances without requiring language `IncoherentInstances` -------------------------------------+------------------------------------- Reporter: maeder | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: #9820 accepts invalid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by goldfire): * related: #8338 => #9820 Comment: See #9820 for another example of how this might happen. (I don't believe #8338 is related to this ticket.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7296#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7161: hSetNewlineMode and hSetEncoding can be performed on closed and semi-closed handles
by GHC 24 Nov '14

24 Nov '14

#7161: hSetNewlineMode and hSetEncoding can be performed on closed and semi-closed handles -------------------------------------+------------------------------------- Reporter: duncan | Owner: ekmett Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Core | Version: 7.6.1-rc1 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => infoneeded -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7161#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7190: GHC's -fprof-auto does not work with LINE pragmas
by GHC 24 Nov '14

24 Nov '14

#7190: GHC's -fprof-auto does not work with LINE pragmas -------------------------------------+------------------------------------- Reporter: timthelion | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Profiling | Version: 7.4.2 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 seems to be fixed in or before the 7.8.1 release. The profiling report for `profpragma.hs` now does have an entry for the function `main`. A regression should be added, then this ticket can be closed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7190#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7243: regression: acceptable foreign result types
by GHC 24 Nov '14

24 Nov '14

#7243: regression: acceptable foreign result types -------------------------------------+------------------------------------- Reporter: dmwit | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 (FFI) | Keywords: Resolution: | Architecture: x86_64 (amd64) Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): In commit 92587bfefea2b78f89bcdad27e0da5711463fd1b: {{{ Author: Simon Peyton Jones <> Date: Fri Jul 25 16:22:21 2014 +0100 Refactor FFI error messages This patch was provoked by Trac #5610, which I finally got a moment to look at. In the end I added a new data type ErrUtils.Validity, data Validity = IsValid -- Everything is fine | NotValid MsgDoc -- A problem, and some indication of why with some suitable combinators, and used it where appropriate (which touches quite a few modules). The main payoff is that error messages improve for FFI type validation. }}} The error message is now: {{{ $ ghc-7.9.20141121 test.hs [1 of 1] Compiling Foo ( test.hs, test.o ) test.hs:3:1: Unacceptable type in foreign declaration: One argument expected When checking declaration: foreign import ccall safe "wrapper" foo :: IO (FunPtr ()) }}} Only a regression test is missing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7243#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7277: Recompilation check fails for TH unless functions are inlined
by GHC 24 Nov '14

24 Nov '14

#7277: Recompilation check fails for TH unless functions are inlined -------------------------------------+------------------------------------- Reporter: | Owner: orenbenkiki | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Template | Keywords: Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: 481 Type of failure: Incorrect | result at runtime | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): I'm able to reproduce this with 7.8.3, by first doing `cabal install test- framework test-framework-hunit test-framework-th` and then running the `RUNME` script inside the tar file from comment:1. The fourth and final test should be failing instead of passing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7277#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0