- ghc-tickets - Haskell.org

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

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

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

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

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

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

25 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

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

25 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: #8338 accepts invalid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #8338 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7296#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7305: T5975a is broken on Windows
by GHC 25 Nov '14

25 Nov '14

#7305: T5975a is broken on Windows -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Test Suite | Version: 7.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: | Difficulty: Unknown None/Unknown | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: gintas (added) * os: Unknown/Multiple => Windows Comment: This is still an issue according to this email: https://www.haskell.org/pipermail/ghc-devs/2014-November/007146.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7305#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7335: Need for extra warning pragma for accidental pattern matching in do blocks
by GHC 25 Nov '14

25 Nov '14

#7335: Need for extra warning pragma for accidental pattern matching in do blocks -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Incorrect warning at compile-time -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7335#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7337: GHC does not generate great code for bit-level rotation
by GHC 25 Nov '14

25 Nov '14

#7337: GHC does not generate great code for bit-level rotation -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Compiler | Keywords: (NCG) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * component: Compiler => Compiler (NCG) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7337#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0