- ghc-tickets - Haskell.org

[GHC] #11184: panic tcMonoExpr _ with bad indentation in TH code
by GHC 02 Nov '16

02 Nov '16

#11184: panic tcMonoExpr _ with bad indentation in TH code -------------------------------------+------------------------------------- Reporter: TeroLaitinen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE TemplateHaskell #-} import Data.Aeson.TH data Record = Record { type_ :: Int } $(deriveJSON defaultOptions{ fieldLabelModifier = \x -> case x of "type_" -> "type" _ -> x } ''Record) }}} gives {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-linux): tcMonoExpr _ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11184> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12590: GHC panics, -XTypeInType, possibly "cobox" related
by GHC 01 Nov '16

01 Nov '16

#12590: GHC panics, -XTypeInType, possibly "cobox" related -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.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: -------------------------------------+------------------------------------- I get {{{ GHCi, version 8.1.20160902: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Tree ( src/Tree.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.1.20160902 for x86_64-apple-darwin): tcTyVarDetails cobox_a15m :: (n_a159[ssk] :: Peano) ~# ('Z :: Peano) }}} on the attached file. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12590> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10221: LLVM does not work on OSX
by GHC 01 Nov '16

01 Nov '16

#10221: LLVM does not work on OSX -------------------------------------------+---------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+---------------------------- I can't seem to be able to use the LLVM backend on OSX. I get the error: {{{ error: unknown directive .macosx_version_min 10, 0 ^ <no location info>: Error running clang! you need clang installed to use theLLVM backend (or GHC tried to execute clang incorrectly) <no location info>: ghc: phase `Clang (Assembler)' failed (exitcode = 1) }}} This is on GHC 7.10.1 {{{ % clang --version Apple LLVM version 6.0 (clang-600.0.57) (based on LLVM 3.5svn) Target: x86_64-apple-darwin14.1.0 Thread model: posix yongqli@auxiliary ~/secrets/projects/stocvol % opt --version LLVM (http://llvm.org/) LLVM version 3.5.1 Optimized build with assertions. Built Jan 15 2015 (18:24:46). Default target: x86_64-apple-darwin14.1.0 Host CPU: core-avx2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10221> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

Re: [GHC] #7275: Give more detailed information about PINNED data in a heap profile
by GHC 01 Nov '16

01 Nov '16

#7275: Give more detailed information about PINNED data in a heap profile -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Profiling | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by George): * failure: None/Unknown => Other Comment: The current behaviour is not very informative. This would be nice to fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7275#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5466: Documentation for Chan could be better
by GHC 01 Nov '16

01 Nov '16

#5466: Documentation for Chan could be better -------------------------------------+------------------------------------- Reporter: pumpkin | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Core Libraries | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by George): * cc: ekmett (added) * failure: None/Unknown => Documentation bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5466#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

31 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 30 Oct '16

30 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 29 Oct '16

29 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 29 Oct '16

29 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