- ghc-tickets - Haskell.org

[GHC] #15911: internal error: evacuate(static): strange closure type -127533247
by GHC 27 Dec '18

27 Dec '18

#15911: internal error: evacuate(static): strange closure type -127533247 -------------------------------------+------------------------------------- Reporter: bfraikin | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.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: -------------------------------------+------------------------------------- internal error: evacuate(static): strange closure type -127533247 (GHC version 8.4.4 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Abort trap: 6 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15911> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15939: StgLint fails because Stg bindings are not dependency-ordered
by GHC 27 Dec '18

27 Dec '18

#15939: StgLint fails because Stg bindings are not dependency-ordered -------------------------------------+------------------------------------- Reporter: osa1 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #9718 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- After Phab:D5370 if I enable `-dstg-lint` when running the test suite I get about a dozen failures. I didn't check all, but most of them are because Stg bindings are not dependency-ordered, so some bindings come later in the list of bindings than their uses. I added a few debug prints to figure out if we ever have the bindings ordered in the pipeline. As far as I can see, by the time we desugar we have dependency-ordered bindings, but simplifier breaks the ordering by introducing uses. There are also "implicit" bindings introduced after simplifications (e.g. in CorePrep). Because of this by the time we start Stg generation we already have incorrect ordering. I think we have these options: - Don't assume dependency ordering in StgLint. Bring all top-level binders into the scope before linting bindings. - Somehow maintain dependency ordering in all of the Core passes so that by the time we start generating Stg we have an ordered list of bindings. (seems hard) - Sort Stg bindings in `CoreToStg`. (1) and (3) are equally simple, but (3) requires an extra pass over bindings. However, to be able to do the `CafInfo` analysis for #9718 efficiently we need (3), so I suggest implementing (3). We can then enable `-dstg-lint` in the test suite for all tests (add it to `TEST_HC_OPTS` in `testsuite/mk/test/mk`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15939> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #16012: set/getAllocationCounter is broken in GHCi
by GHC 27 Dec '18

27 Dec '18

#16012: set/getAllocationCounter is broken in GHCi -------------------------------------+------------------------------------- Reporter: AndreasK | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 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 doesn't seem obvious why it shouldn't work in GHCi, hence the report. {{{ Prelude System.Mem> getAllocationCounter 9223372036854757447 Prelude System.Mem> setAllocationCounter 0 () Prelude System.Mem> getAllocationCounter 9223372036854758855 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16012> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #16079: runTestTT from ghci caused a panic.
by GHC 27 Dec '18

27 Dec '18

#16079: runTestTT from ghci caused a panic. -------------------------------------+------------------------------------- Reporter: | Owner: (none) emacstheviking | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.4 Keywords: | Operating System: Unknown/Multiple Architecture: x86 | Type of failure: Compile-time | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Inside a REPL within Emacs+Intero-mode, running a stack project. I am writing a simple lexer for fun and I decided to try to see why I wasn't getting expected behaviour from an HUnit function. I have attached the tar-balled stack project for completeness, apologies for the size but I didn't want to risk omiotting anything important to you guys if this ever gets looked at in the melee! {{{ runTestTT classificationTests ghc: panic! (the 'impossible' happened) (GHC version 8.4.4 for x86_64-unknown-linux): nameModule system $dShow_a5Xw 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16079> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #14375: Implement with# primop
by GHC 27 Dec '18

27 Dec '18

#14375: Implement with# primop -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): Phab:D4110 | Wiki Page: -------------------------------------+------------------------------------- In Trac #14346 we proposed the new `with#` primop {{{ with# :: a -> (State# s -> (# State# s, b #)) -> State# s -> (# State# s, b #) }}} This ticket is to track progress. See Phab:D4110. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14375> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 25

[GHC] #15379: Don't reject user-written instances of KnownNat and friends in hsig files
by GHC 26 Dec '18

26 Dec '18

#15379: Don't reject user-written instances of KnownNat and friends in hsig files -------------------------------------+------------------------------------- Reporter: ezyang | 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: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Piyush has graciously volunteered to fix this. Relevant commit c5609577fab8a214c50561bea861c70d4bfd47c7 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 24

[GHC] #15842: Exponentiation needs PrelRules
by GHC 26 Dec '18

26 Dec '18

#15842: Exponentiation needs PrelRules -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When a user writes `a ^ lb`, where `lb` is an integer literal, the type of `lb` defaults to `Integer` unless it's annotated. If `lb` is very small, then `RULES` will expand the whole expression into a few multiplications. If not, the computation will pay the price of `Integer` arithmetic. If we want, we should be able to improve this with a special compilation rule. When `lb :: Integer`, and `0 <= lb <= maxBound :: Word`, we should be able to replace `lb` by the equivalent `Word`. The same problem appears with `^^` and `stimes`. Perhaps those can be fixed up as well, somehow. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15842> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #16095: Infinite loop during error reporting (unkillable, OOM)
by GHC 26 Dec '18

26 Dec '18

#16095: Infinite loop during error reporting (unkillable, OOM) -------------------------------------+------------------------------------- Reporter: _deepfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.1 Keywords: | Operating System: Linux Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Compiling the repro snippet produces the following incomplete output and hangs GHC: {{{ $ ghc repro.hs [1 of 1] Compiling Main ( repro.hs, repro.o ) repro.hs:16:22: error: }}} The GHC process then ignores Ctrl-C -- so it must be killed with SIGKILL. This minimal snippet depends on `generics-sop` (tested with version `0.4.0.0`). Sadly I didn't find a constraint in `base` to cause this behavior.. {{{#!hs {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} import Generics.SOP (HasDatatypeInfo) data family TF i a :: * data instance TF i a = R class C i a where method :: TF i a instance C i () where instance HasDatatypeInfo a => C i a where method = undefined function function :: C i a => TF i a function = method main = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16095> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12034: Template Haskell + hs-boot = Not in scope during type checking, but it passed the renamer
by GHC 26 Dec '18

26 Dec '18

#12034: Template Haskell + hs-boot = Not in scope during type checking, but it passed the renamer -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.0.1-rc2 (Type checker) | Keywords: backpack | 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 don't think this is a very harmful bug but it definitely is a bug. Consider: {{{ -- A.hs-boot module A where data T -- B.hs module B (module A) where import {-# SOURCE #-} A -- A.hs {-# LANGUAGE TemplateHaskell #-} module A where import qualified B import Language.Haskell.TH f :: B.T -> B.T f x = x $( return [] ) data T = T B.T }}} The point of the splice is to convince GHC to typecheck `f :: B.T -> B.T` before it typechecks the type declaration. But this is not going to work, because `tcLookupGlobal` is going to bail if (1) T is not in the `tcg_type_env` and (2) T comes from this module. It would be a simple matter to improve the error message but from a user's perspective, there is no good reason for this to not typecheck. On the implementation side, I am sympathetic to not letting this typecheck: if it does typecheck, then some `TyCon`s will incorrectly refer to the definition from the hs-boot file, rather than our local definition. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12034> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #15915: Add CI for integer-simple
by GHC 25 Dec '18

25 Dec '18

#15915: Add CI for integer-simple -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Continuous | Version: 8.6.2 Integration | 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 URL: <http://ghc.haskell.org/trac/ghc/ticket/15915> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6