- ghc-tickets - Haskell.org

Re: [GHC] #3427: control what sort of entity a deprecated pragma applies to
by GHC 04 Sep '18

04 Sep '18

#3427: control what sort of entity a deprecated pragma applies to -------------------------------------+------------------------------------- Reporter: igloo | Owner: thoughtpolice Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 6.10.4 Resolution: | Keywords: deprecate | warning, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nineonine): I submitted a patch for review: [https://phabricator.haskell.org/D5126] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3427#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15586: Compilation panic! (the 'impossible' happened)
by GHC 04 Sep '18

04 Sep '18

#15586: Compilation panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: subaruru | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- See attached zip for entire project causing error. I'd imagine it's pretty reproducible, just call stack build. I'm running standard lts-12.8 and it's just two small files that don't do anything yet! Also included is panicmessage.txt showing the exact output, crucially: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.4.3 for x86_64-unknown-linux): piResultTy * v_XabT Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/types/Type.hs:947:35 in ghc:Type }}} Oh and sysinfo {{{ uname -a Linux @@@ 4.16.11-100.fc26.x86_64 #1 SMP Tue May 22 20:02:12 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15586> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13243: make test in non-validate configuration fails with a variety of ghci errors
by GHC 04 Sep '18

04 Sep '18

#13243: make test in non-validate configuration fails with a variety of ghci errors -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.4.1 Component: GHCi | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Starting with a fresh checkout of `ghc`, testing in a non-validate configuration fails in a rather peculiar way. e.g., {{{ $ ./boot $ ./configure $ make $ make test }}} Results in a number of test failures of the `ghci` way which suggest that GHCi is having trouble identifying types. e.g., {{{ =====> break026(ghci) 50 of 101 [0, 46, 0] cd "./ghci.debugger/scripts/break026.run" && HC="/mnt/work/ghc/ghc- testing/inplace/test spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow- warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno- debug-output " "/mnt/work/ghc/ghc-testing/inplace/test spaces/ghc- stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn- missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output --interactive -v0 -ignore- dot-ghci -fno-ghci-history +RTS -I0.1 -RTS -ignore-dot-ghci< break026.script Actual stderr output differs from expected: diff -uw "/dev/null" "./ghci.debugger/scripts/break026.run/break026.run.stderr.normalised" --- /dev/null 2017-01-24 15:20:36.872346204 -0500 +++ ./ghci.debugger/scripts/break026.run/break026.run.stderr.normalised 2017-02-08 15:52:09.290099692 -0500 @@ -0,0 +1,14 @@ + +<interactive>:16:1: + No instance for (Show t1) arising from a use of ‘print’ + Cannot resolve unknown runtime type ‘t1’ + Use :print or :force to determine these types + Relevant bindings include it :: t1 (bound at <interactive>:16:1) + These potential instances exist: + instance Show Ordering -- Defined in ‘GHC.Show’ + instance Show Integer -- Defined in ‘GHC.Show’ + instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ + ...plus 22 others + ...plus 11 instances involving out-of-scope types + (use -fprint-potential-instances to see them all) + In a stmt of an interactive GHCi command: print it *** unexpected failure for break026(ghci) =====> break027(ghci) 51 of 101 [0, 47, 0] cd "./ghci.debugger/scripts/break027.run" && HC="/mnt/work/ghc/ghc- testing/inplace/test spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow- warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno- debug-output " "/mnt/work/ghc/ghc-testing/inplace/test spaces/ghc- stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn- missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output --interactive -v0 -ignore- dot-ghci -fno-ghci-history +RTS -I0.1 -RTS -ignore-dot-ghci< break027.script Actual stdout output differs from expected: diff -uw "./ghci.debugger/scripts/break027.run/break027.stdout.normalised" "./ghci.debugger/scripts/break027.run/break027.run.stdout.normalised" --- ./ghci.debugger/scripts/break027.run/break027.stdout.normalised 2017-02-08 15:52:10.750125249 -0500 +++ ./ghci.debugger/scripts/break027.run/break027.run.stdout.normalised 2017-02-08 15:52:10.750125249 -0500 @@ -1,8 +1,8 @@ Breakpoint 0 activated at QSort.hs:4:12-13 Breakpoint 1 activated at QSort.hs:5:16-51 Stopped in QSort.qsort, QSort.hs:5:16-51 -_result :: [Integer] = _ -a :: Integer = 3 -left :: [Integer] = _ -right :: [Integer] = _ -a :: Integer -- Defined in ‘interactive:Ghci1’ +_result :: [a] = _ +a :: a = _ +left :: [a] = _ +right :: [a] = _ +a :: a -- Defined in ‘interactive:Ghci1’ *** unexpected failure for break027(ghci) =====> print001(ghci) 11 of 101 [0, 7, 0] cd "./ghci.debugger/scripts/print001.run" && HC="/mnt/work/ghc/ghc- testing/inplace/test spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow- warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno- debug-output " "/mnt/work/ghc/ghc-testing/inplace/test spaces/ghc- stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn- missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output --interactive -v0 -ignore- dot-ghci -fno-ghci-history +RTS -I0.1 -RTS -ignore-dot-ghci< print001.script Actual stdout output differs from expected: diff -uw "./ghci.debugger/scripts/print001.run/print001.stdout.normalised" "./ghci.debugger/scripts/print001.run/print001.run.stdout.normalised" --- ./ghci.debugger/scripts/print001.run/print001.stdout.normalised 2017-02-08 15:51:08.413033889 -0500 +++ ./ghci.debugger/scripts/print001.run/print001.run.stdout.normalised 2017-02-08 15:51:08.413033889 -0500 @@ -1,10 +1,9 @@ li = (_t1::[Maybe Integer]) Just 0 -li = Just 0 : (_t2::[Maybe Integer]) +li = (_t2::[Maybe Integer]) 6 -li = [Just 0,(_t3::Maybe Integer),(_t4::Maybe Integer), - (_t5::Maybe Integer),(_t6::Maybe Integer),(_t7::Maybe Integer)] -li = [Just 0,_,_,_,_,_] +li = (_t3::[Maybe Integer]) +li = _ [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5] -li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5] -li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5] +li = (_t4::[Maybe Integer]) +li = _ *** unexpected failure for print001(ghci) }}} It would be nice to know what is going on here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13243> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #15600: Bug while writing a simple parser with Parsec
by GHC 04 Sep '18

04 Sep '18

#15600: Bug while writing a simple parser with Parsec -------------------------------------+------------------------------------- Reporter: roehst | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: None/Unknown (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs module Main where import Control.Monad.Identity import Control.Monad.State import Data.List import Text.ParserCombinators.Parsec type Name = String data Value = VlInt Int | VlBool Bool deriving Show data Term = TmVal Value | TmVar Name | TmLet Name Term Term | TmAdd Term Term deriving Show parseTerm :: Parser Term parseTerm = parseVal <|> parseVar <|> parseLet <|> parseAdd }}} And then I get: GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( Main.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] parseVal_a2YR :: t_a2YQ[tau:1] (CHoleCan: parseVal) [W] parseVar_a2YY :: t_a2YX[tau:1] (CHoleCan: parseVar) [W] parseLet_a2Z5 :: t_a2Z4[tau:1] (CHoleCan: parseLet) [W] parseAdd_a2Z8 :: t_a2Z7[tau:1] (CHoleCan: parseAdd)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15600> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8414: ghc-pkg prevents dynamic library only packages
by GHC 04 Sep '18

04 Sep '18

#8414: ghc-pkg prevents dynamic library only packages ------------------------------------+------------------------------------- Reporter: AndreasVoellmy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: ghc-pkg | Version: Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- GHC supports compiling Haskell libraries as dynamic libraries and building executables against dynamic libraries. GHCi seems to support loading modules from dynamic libraries, too. So it would seem that it should be possible to have packages that only include dynamic libraries, omitting the .a and .o files typically generated. cabal-install allows building dynamic libraries only, for example with the command "cabal install --disable-library-vanilla --enable-shared --disable-library-profiling". However, ghc-pkg register refuses to install the package without the .a files present. This seems to be a bug with ghc-pkg. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8414> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10374: Can't build GHC with a dynamic only GHC installation
by GHC 04 Sep '18

04 Sep '18

#10374: Can't build GHC with a dynamic only GHC installation -------------------------------------+------------------------------------- Reporter: jessicah | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build | Version: 7.10.1 System | Operating System: Unknown/Multiple Keywords: | Type of failure: Building GHC Architecture: | failed Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When an installation of GHC doesn't include the vanilla "way", GHC cannot be built from this existing installation of GHC. E.g. using the following mk/build.mk: {{{ V = 0 GhcLibWays = dyn SRC_HC_OPTS = -O -H64m GhcStage1HcOpts = -O -fasm GhcStage2HcOpts = -O2 -fasm GhcHcOpts = -Rghc-timing GhcLibHcOpts = -O2 DYNAMIC_BY_DEFAULT = YES NoFibWays = STRIP_CMD = : }}} Steps to reproduce: 1. build & install GHC using above configuration 2. rebuild GHC using above configuration, --with-ghc pointing to the installation created in step 1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10374> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #14963: ghci -fdefer-type-errors can't run IO action from another module
by GHC 04 Sep '18

04 Sep '18

#14963: ghci -fdefer-type-errors can't run IO action from another module -------------------------------------+------------------------------------- Reporter: elaforge | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.4.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: -------------------------------------+------------------------------------- This is enough to trigger a crash on OS X and Linux: Bug1.hs: {{{ module Bug1.hs where import qualified Bug2 test :: IO Bool test = Bug2.failure }}} Bug2.hs: {{{ module Bug2 where failure :: IO Bool failure = return False }}} Shell: {{{ % ghci -fdefer-type-errors -ignore-dot-ghci GHCi, version 8.4.1: http://www.haskell.org/ghc/ :? for help Prelude> :load Bug [1 of 2] Compiling Bug2 ( Bug2.hs, interpreted ) [2 of 2] Compiling Bug ( Bug.hs, interpreted ) Ok, two modules loaded. *Bug> test ghc: panic! (the 'impossible' happened) (GHC version 8.4.1 for x86_64-apple-darwin): nameModule system $dShow_a1LX Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/basicTypes/Name.hs:241:3 in ghc:Name Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} This is specific to 8.4.1, in 8.0.2 I get "False" as expected. If I leave off -fdefer-type-errors, it works. It also seems to be ghci only, compiling with -fdefer-type-errors doesn't have the problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14963> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 40

[GHC] #15601: Unexpected compile error on type level lists with a single element
by GHC 04 Sep '18

04 Sep '18

#15601: Unexpected compile error on type level lists with a single element -------------------------------------+------------------------------------- Reporter: erikd | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Tried this with ghc 8.0.2, 8.2.2 and 8.4.3 and all give an almost identical error on the following piece of code: {{{#!hs {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE CPP #-} {-# OPTIONS_GHC -Wall #-} import Data.Singletons.Prelude.List #if MIN_VERSION_singletons(2,4,0) type (a :++ b) = a ++ b #endif data MyType = A | B | C | D | E | F type TypeList1 = ['A, 'B] type TypeList2 = TypeList1 :++ ['C, 'D] -- Everything above is fine, but this line: type TypeList3 = TypeList2 :++ ['F] -- Gives the error: -- -- type-level-list.hs:21:32: error: -- • Expected kind ‘[MyType]’, but ‘[ 'F]’ has kind ‘*’ -- • In the second argument of ‘(:++)’, namely ‘[ 'F]’ -- In the type ‘TypeList2 :++ [ 'F]’ -- In the type declaration for ‘TypeList3’ -- | -- 22 | type TypeList3 = TypeList2 :++ ['F] -- If instead I write it like: type TypeList4 = TypeList2 :++ '[F] -- I get the warning: -- -- type-level-list.hs:33:34: warning: [-Wunticked-promoted- constructors] -- Unticked promoted constructor: ‘F’. -- Use ‘'F’ instead of ‘F’. -- The following actually seems to work, but I don't understand why type level -- lists containing only one element are different. type TypeList5 = TypeList2 :++ '[ 'F] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15601> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #14589: The isUpper function should return true for the '\9438' character
by GHC 03 Sep '18

03 Sep '18

#14589: The isUpper function should return true for the '\9438' character -------------------------------------+------------------------------------- Reporter: mrkkrp | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 8.2.1 libraries/base | 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: -------------------------------------+------------------------------------- {{{ λ> toLower '\9438' '\9438' λ> toUpper '\9438' '\9412' λ> isUpper '\9438' False λ> isLower '\9438' False }}} Here we can observe a contradiction. The `toLower` function does not alter its argument, but `toUpper` does, which tells us that the character 1) has the notion of case 2) it must be lower-cased. On the other hand, both `isUpper` and `isLower` functions return `False` for `\9438` suggesting that it has no notion of case. Apparently, `\9438` is lower-cased and `\9412` is its upper-cased version indeed: {{{ λ> putStrLn "\9438" ⓞ λ> putStrLn "\9412" Ⓞ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14589> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #15598: RebindableSyntax with RankNTypes and type class method call yields panic.
by GHC 03 Sep '18

03 Sep '18

#15598: RebindableSyntax with RankNTypes and type class method call yields panic. -------------------------------------+------------------------------------- Reporter: romanb | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Linux RebindableSyntax, RankNTypes | 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 in a file `ghc-panic.hs` {{{ {-# LANGUAGE GADTSyntax , RankNTypes , RebindableSyntax #-} import Prelude hiding ((>>=)) data InfDo where InfDo :: String -> (forall a. a -> InfDo) -> InfDo prog :: InfDo prog = do _ <- show (42 :: Int) prog where (>>=) = InfDo main :: IO () main = let x = prog in x `seq` return () }}} when loaded into GHCi yields {{{ λ> main ghc: panic! (the 'impossible' happened) (GHC version 8.4.3 for x86_64-unknown-linux): nameModule system $dShow_abfY Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/basicTypes/Name.hs:241:3 in ghc:Name }}} and separate compilation yields {{{ $ ghc ghc-panic.hs [1 of 1] Compiling Main ( ghc-panic.hs, ghc-panic.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.4.3 for x86_64-unknown-linux): StgCmmEnv: variable not found $dShow_a1qI local binds for: $tcInfDo $trModule $tcInfDo1_r1th $tcInfDo2_r1tH $trModule1_r1tI $trModule2_r1tJ $trModule3_r1tK $trModule4_r1tL sat_s1E4 Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/codeGen/StgCmmEnv.hs:149:9 in ghc:StgCmmEnv }}} The problem disappears when either the rank-2 type is removed from `InfDo` or when the call to `show` is replaced by a static string. Besides 8.4.3, also reproduced with 8.6.0.20180714 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15598> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4