October 2016 - ghc-tickets

[GHC] #12786: genericReplicateM and genericReplicateM_
by GHC 30 Oct '16

30 Oct '16

#12786: genericReplicateM and genericReplicateM_ -------------------------------------+------------------------------------- Reporter: uznx | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Core | Version: 8.0.1 Libraries | 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: -------------------------------------+------------------------------------- Add genericReplicateM and genericReplicateM_ to core libraries, probably Control.Monad, generalizing replicateM and replicateM_ to any Integral type, similar to all the other generic* functions. This was proposed and supported with no objections on the libraries mailing list: https://mail.haskell.org/pipermail/libraries/2015-July/026016.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12786> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12783: RecordWildCards trigger "Impossible happened" in Lucius
by GHC 30 Oct '16

30 Oct '16

#12783: RecordWildCards trigger "Impossible happened" in Lucius -------------------------------------+------------------------------------- Reporter: Koterpillar | 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: -------------------------------------+------------------------------------- The presence of `RecordWildCards` in the following code makes GHC crash with "impossible happened". {{{#!hs #!/usr/bin/env stack -- stack --resolver lts-7.5 runghc --package shakespeare {-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE RecordWildCards #-} import Text.Lucius renderPrintStylesheet = [lucius|p{}|] main :: IO () main = return () }}} {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): find_tycon Block [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Removing `RecordWildCards` makes the program compile. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12783> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12782: Type inference shows (Num (a -> a), Num a)
by GHC 29 Oct '16

29 Oct '16

#12782: Type inference shows (Num (a -> a), Num a) -------------------------------------+------------------------------------- Reporter: ciupakabra | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: | Operating System: Linux Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Defining f and g as: > f x = x + 1 > g x y = x + y Entering :t f . g gives: f . g :: (Num (a -> a), Num a) => a -> a -> a Formally, it is correct, since Num (a -> a) is never going to be a number. Though me and my tutor thought it might be a bug, and f . g shouldn't be recognised as a well-formed expression. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12782> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12779: isTrue# doesn't work in ghci anymore
by GHC 28 Oct '16

28 Oct '16

#12779: isTrue# doesn't work in ghci anymore -------------------------------------+------------------------------------- Reporter: osa1 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #12718 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!haskell GHCi, version 8.1.20161028: http://www.haskell.org/ghc/ :? for help Prelude> :set -XMagicHash Prelude> :m + GHC.Types Prelude GHC.Types> isTrue# 123# True Prelude GHC.Types> [1] 3181 segmentation fault ghc-stage2 --interactive }}} This is also the reason why #12718 is segfaulting. I'm currently working on this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12779> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12730: Pattern synonym signature fails with unlifted type
by GHC 28 Oct '16

28 Oct '16

#12730: Pattern synonym signature fails with unlifted type -------------------------------------+------------------------------------- Reporter: Iceland_jack | 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: -------------------------------------+------------------------------------- {{{#!hs pattern P2# a b = (# a, b #) }}} works but adding a type signture makes it fail {{{#!hs -- tp0w.hs:130:25-34: error: … -- • Expecting a lifted type, but ‘(# a, b #)’ is unlifted -- • In the type ‘(# a, b #)’ -- Compilation failed. pattern P2# :: a -> b -> (# a, b #) pattern P2# a b = (# a, b #) }}} Same with these {{{#!hs pattern True :: Int# pattern True = 1# pattern False :: Int# pattern False = 0# }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12730> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12775: T3424 hangs with -fregs-graph
by GHC 28 Oct '16

28 Oct '16

#12775: T3424 hangs with -fregs-graph -------------------------------------+------------------------------------- Reporter: tjakway | 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: T3424 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The -fregs-graph option causes rts/T3424 to hang. I waited 15+ minutes when compiling with inplace/ghc-stage2 before killing it; when run with the test suite after a similarly long time I get a compile failed (exit code 99) message. It passes when run in ghci or when using the default register allocator. To reproduce: make TEST=T3424 EXTRA_HC_OPTIONS=-fregs-graph -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12775> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12536: Clarify commentary surrounding unboxed tuples and kind invariant
by GHC 28 Oct '16

28 Oct '16

#12536: Clarify commentary surrounding unboxed tuples and kind invariant -------------------------------------+------------------------------------- Reporter: bgamari | Owner: simonpj 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: -------------------------------------+------------------------------------- ticket:12115#comment:8 notes that there are a few inconsistencies in the comments describing these areas. Simon, could you have a look? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12536> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12657: GHC and GHCi: RWX mmap denied by GrSec, results in a segfault
by GHC 27 Oct '16

27 Oct '16

#12657: GHC and GHCi: RWX mmap denied by GrSec, results in a segfault ----------------------------------------+---------------------------------- Reporter: PoroCYon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+---------------------------------- When compiling a package (cabal or stack doesn't matter) or launching GHCi while running a kernel with GrSec and PaX patches, GHC segfaults because GrSec denies an RWX mmap. Some packages do compile successfully, but others (such as optparse- applicative) don't. Launching GHCi always results in a segfault. Here's the output of ghc when compiling the optparse-applicative package: {{{ Building optparse-applicative-0.13.0.0... Preprocessing library optparse-applicative-0.13.0.0... [ 1 of 15] Compiling Options.Applicative.Help.Pretty ( Options/Applicative/Help/Pretty.hs, dist/build/Options/Applicative/Help/Pretty.o ) [ 2 of 15] Compiling Options.Applicative.Help.Chunk ( Options/Applicative/Help/Chunk.hs, dist/build/Options/Applicative/Help/Chunk.o ) [ 3 of 15] Compiling Options.Applicative.Help.Types ( Options/Applicative/Help/Types.hs, dist/build/Options/Applicative/Help/Types.o ) [ 4 of 15] Compiling Options.Applicative.Types ( Options/Applicative/Types.hs, dist/build/Options/Applicative/Types.o ) [ 5 of 15] Compiling Options.Applicative.Internal ( Options/Applicative/Internal.hs, dist/build/Options/Applicative/Internal.o ) [ 6 of 15] Compiling Options.Applicative.Common ( Options/Applicative/Common.hs, dist/build/Options/Applicative/Common.o ) [ 7 of 15] Compiling Options.Applicative.Help.Core ( Options/Applicative/Help/Core.hs, dist/build/Options/Applicative/Help/Core.o ) ghc: mmap 131072 bytes at (nil): Operation not permitted ghc: Try specifying an address with +RTS -xm<addr> -RTS Segmentation fault (core dumped) }}} GrSec log in dmesg: {{{ [15873.000867] grsec: denied RWX mmap of <anonymous mapping> by /usr/lib/ghc-8.0.1/bin/ghc[ghc_worker:16494] uid/euid:1000/1000 gid/egid:1000/1000, parent /usr/bin/cabal[cabal:16486] uid/euid:1000/1000 gid/egid:1000/1000 [15873.001018] ghc_worker[16494]: segfault at 0 ip 000003b6c3a7167f sp 000002b6c23d8e50 error 6 in libHSrts_thr-ghc8.0.1.so[3b6c3a4f000+62000] }}} And here's the one for ghci: {{{ $ ghci GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help ghc: mmap 131072 bytes at (nil): Operation not permitted ghc: Try specifying an address with +RTS -xm<addr> -RTS Segmentation fault (core dumped) $ echo $? 139 }}} GrSec complained here with: {{{ [14756.354725] grsec: denied RWX mmap of <anonymous mapping> by /usr/lib/ghc-8.0.1/bin/ghc[ghc:15883] uid/euid:1000/1000 gid/egid:1000/1000, parent /usr/bin/xonsh[xonsh:15879] uid/euid:1000/1000 gid/egid:1000/1000 [14756.354875] ghc[15883]: segfault at 0 ip 00000379c0e0b67f sp 000003f0b7278ce0 error 6 in libHSrts_thr-ghc8.0.1.so[379c0de9000+62000] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12657> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #12617: Make the interface of traceTc and traceRn the same
by GHC 26 Oct '16

26 Oct '16

#12617: Make the interface of traceTc and traceRn the same -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: task | Status: new Priority: lowest | 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: -------------------------------------+------------------------------------- It always seemed strange to me that the interfaces for `traceTc` and `traceRn` were different. {{{#!hs traceTc :: String -> SDoc -> TcM () traceRn :: SDoc -> RnM () }}} I personally prefer using the `traceTc` interface and have to look up each time which function uses which interface. It seems beneficial but annoying to make `traceRn` have the same interface to improve usability slightly. Are there any objections if someone was to do this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12617> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #4162: GHC API messes up signal handlers
by GHC 26 Oct '16

26 Oct '16

#4162: GHC API messes up signal handlers -------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: Type: bug | Status: patch Priority: low | Milestone: Component: GHC API | Version: 6.12.3 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:D2633 Wiki Page: | -------------------------------------+------------------------------------- Comment (by hsyl20): Yes, I have updated the patch in Phab:D2633 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4162#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0