December 2016 - ghc-tickets

Re: [GHC] #3399: Generalize the type of Data.List.{deleteBy, deleteFirstsBy}
by GHC 02 Dec '16

02 Dec '16

#3399: Generalize the type of Data.List.{deleteBy, deleteFirstsBy} -------------------------------------+------------------------------------- Reporter: iago | Owner: Type: proposal | Status: patch Priority: normal | Milestone: Component: libraries/base | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2526 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.2.1 => Comment: This won't happen for 8.2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3399#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12711: GHC Internal error, unboxed sums
by GHC 02 Dec '16

02 Dec '16

#12711: GHC Internal error, unboxed sums -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: UnboxedSums | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ $ ./ghc-stage2 -ignore-dot-ghci --interactive GHCi, version 8.1.20160930: http://www.haskell.org/ghc/ :? for help Prelude> :set -XUnboxedSums Prelude> :kind (# _ | _ #) <interactive>:1:4: error: • GHC internal error: ‘_’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] • In the type ‘(# _ | _ #)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12711> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12907: ExtendedDefaultRules-related regression in GHC 8.0.2
by GHC 02 Dec '16

02 Dec '16

#12907: ExtendedDefaultRules-related regression in GHC 8.0.2 -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.2 Component: Compiler | Version: 8.0.2-rc1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Commit https://git.haskell.org/ghc.git/commit/9a34bf1985035858ece043bf38b47b6ff4b8… introduced a regression between GHC 8.0.1 and 8.0.2 regarding the behavior of `ExtendedDefaultRules`. In GHC 8.0.1, this program {{{#!hs module Bug where default (Bool) }}} would compile without issue. On GHC 8.0.2, however, it is rejected with this error message: {{{ $ /opt/ghc/8.0.2/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:3:1: error: • The default type ‘Bool’ is not an instance of ‘Num’ • When checking the types in a default declaration }}} As a result, the `shelly` library now fails to compile with GHC 8.0.2 (see https://github.com/yesodweb/Shelly.hs/issues/130) A workaround is to explicitly enable `ExtendedDefaultRules` at the top of the module. Richard, do you understand what's going on here? I'm not sure if this is a real regression or just GHC being more particular (admittedly, I don't understand many of the intricacies of `ExtendedDefaultRules`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12907> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12844: No Skolem Info with PartialTypeSignatures
by GHC 02 Dec '16

02 Dec '16

#12844: No Skolem Info with PartialTypeSignatures -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program triggers a panic: {{{ {-# LANGUAGE DataKinds #-} {-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} barWraper :: ('(r,r') ~ Head rngs, Foo rngs) => FooData rngs barWraper = bar bar :: (_) => FooData rngs bar = foo data FooData rngs class Foo xs where foo :: (Head xs ~ '(r,r')) => FooData xs type family Head (xs :: [k]) where Head (x ': xs) = x }}} {{{ > ghci NoSkolem.hs [1 of 1] Compiling Main ( NoSkolem.hs, NoSkolem.o ) NoSkolem.hs:8:13: error:ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): No skolem info: k_aYV[sk] }}} I haven't tested with 8.0.2 or head. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12844> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12881: GHC 8.0.2 regression involving OVERLAP annotations
by GHC 02 Dec '16

02 Dec '16

#12881: GHC 8.0.2 regression involving OVERLAP annotations -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.2-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- `quickcheck-combinators-0.0.1` fails to build with GHC 8.0.2-rc1 (but does build with GHC 8.0.1) due to this issue. Here is a simplified example: {{{#!hs {-# LANGUAGE FlexibleInstances #-} module Bug where class Arbitrary a where shrink :: a -> [a] shrink _ = [] instance Arbitrary a instance Arbitrary Int }}} Is this expected? If so, we should make a note of this in the 8.0.2 release notes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12881> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #12917: Location info for error message with multiple source locations
by GHC 02 Dec '16

02 Dec '16

#12917: Location info for error message with multiple source locations -------------------------------------+------------------------------------- Reporter: gracjan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Currently: {{{ MonadFailErrors.hs:16:5: error: • Could not deduce (MonadFail m) arising from a do statement with the failable pattern ‘Just x’ from the context: Monad m bound by the type signature for: general :: Monad m => m a at MonadFailErrors.hs:14:1-25 }}} better: {{{ MonadFailErrors.hs:16:5: error: • Could not deduce (MonadFail m) arising from a do statement with the failable pattern ‘Just x’ from the context: Monad m bound by the type signature for: general :: Monad m => m a MonadFailErrors.hs:14:1-25: defined here }}} Rationale: Code editors (Emacs) react to file paths and line numbers in the first column and provide affordances, like go to file after clicking. Related work: Similar mechanism is used by VisualStudio C compiler, gcc, clang. All location information is put in front, so that jump to source code works reliably. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12917> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #3384: Add HsSyn prettyprinter tests
by GHC 02 Dec '16

02 Dec '16

#3384: Add HsSyn prettyprinter tests -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: task | Status: patch Priority: normal | Milestone: 8.2.1 Component: Test Suite | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2752 Wiki Page: | -------------------------------------+------------------------------------- Comment (by alanz): This is passing all its tests on phab now, please review. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3384#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4471: Incorrect Unicode output on Windows Console
by GHC 02 Dec '16

02 Dec '16

#4471: Incorrect Unicode output on Windows Console -------------------------------------+------------------------------------- Reporter: sankeld | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Incorrect result | Test Case: at runtime | Blocked By: | Blocking: Related Tickets: #11394 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jmn): * cc: setre3+ghc@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4471#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #11445: Turn on SplitSections by default
by GHC 02 Dec '16

02 Dec '16

#11445: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Phab:D1800 Wiki Page: | -------------------------------------+------------------------------------- Comment (by awson): I looks current binutils' linker scripts doesn't handle `rodata` sections at all, thus I believe we should patch binutils anyway. Regarding section namespace separator, indeed `gcc` on Windows generates `$` instead of `.`, and this, perhaps, would be correct to make GHC do the same thing, but even unpatched Windows bintuils have separate handling of `.text.*` sections for example. I suspect that this is because there exist another tools from GNU/Unix land, ported to Windows which also use `.` for section hierarchy handling. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11445#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #11445: Turn on SplitSections by default
by GHC 02 Dec '16

02 Dec '16

#11445: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Phab:D1800 Wiki Page: | -------------------------------------+------------------------------------- Comment (by olsner): I assumed the linker problem and the required fix would be much more complicated, but after reading the patches it looks like it could simply be an issue with how we name sections on Windows builds? (See also https://sourceware.org/bugzilla/show_bug.cgi?id=19254#c3) That means maybe we "only" need: * unpatched binutils (but a new enough version) * `-Wa,-mbig-objs` for the assembler * fixed section names * a PE-compatible linker script for `ld -r` section merging -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11445#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0