- ghc-tickets - Haskell.org

[GHC] #14401: Add a test ensuring that TypeReps can be stored in compact regions
by GHC 30 Oct '17

30 Oct '17

#14401: Add a test ensuring that TypeReps can be stored in compact regions -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.2.2 Component: Test Suite | Version: 8.2.1 Keywords: Typeable | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- My work thus far on Phab:D4085 has involved `TypeRep`s with cyclical structure. That bit me in `break011` and `break024` because `:force` doesn't work with cyclical structures. This would also have caused trouble for storing `TypeRep`s in compact regions. If we eventually make `:force` work with cyclical structures (see #14400), then cyclical `TypeRep`s won't break the test suite but might break user code using compact regions. So let's test for that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14401> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #14215: Coordinate re Cabal-2.0.0.3 or Cabal-2.0.1 release
by GHC 30 Oct '17

30 Oct '17

#14215: Coordinate re Cabal-2.0.0.3 or Cabal-2.0.1 release -------------------------------------+------------------------------------- Reporter: hvr | Owner: (none) Type: task | Status: new Priority: high | Milestone: 8.2.2 Component: libraries | Version: 8.2.1 (other) | 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/14215> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #14054: Cabal generates ill-typed Paths module when relocatable
by GHC 30 Oct '17

30 Oct '17

#14054: Cabal generates ill-typed Paths module when relocatable -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.2.2 Component: libraries | Version: 8.2.1 (other) | Keywords: Cabal | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- A PR has been submitted https://github.com/haskell/cabal/pull/4638 and we know this bug affects the Cabal fixed with GHC. When we do 8.2.2 we should make sure we get a fixed version of Cabal. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14054> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #14379: GHC 2.8.1 Consumes All Memory On Build
by GHC 30 Oct '17

30 Oct '17

#14379: GHC 2.8.1 Consumes All Memory On Build -------------------------------------+------------------------------------- Reporter: jm4games | Owner: (none) Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.2.1 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: -------------------------------------+------------------------------------- The following code will cause GHC to consume all memory/swap and eventually crash. {{{ #!div style="font-size: 80%" Code highlighting: {{{#!haskell module Test.Test where import Data.Text (Text) import Data.Monoid ((<>)) import Data.Vector as V import TextShow (showt) compileTest :: V.Vector (Text, V.Vector (Int, V.Vector a)) -> V.Vector (Text, V.Vector (Int, V.Vector a)) -> Either Text () compileTest vecA vecB = V.ifoldl' validateSym (Right ()) vecB where validateSym :: Either Text () -> Int -> (Text, V.Vector (Int, V.Vector a)) -> Either Text () validateSym res iSym (sym, freqs) | Just sym == (fst <$> (vecA V.!? iSym)) = V.ifoldl' validateFreq res freqs | otherwise = Left $ if iSym < V.length vecA then "Seed data" <> " not found at index [" <> showt iSym <> "]." else "No " <> sym <> " at index " <> showt iSym <> "." where validateFreq :: Either Text () -> Int -> (Int, V.Vector a) -> Either Text () validateFreq res2 iFreq (freq, _) | freq == fst (snd (vecA V.! iSym) V.! iFreq) = res2 | otherwise = Left $ "Seed data " <> (fst (vecA V.! iSym)) <> " at frequency " <> showt (fst (snd (vecA V.! iSym) V.! iFreq)) <> " not found at index [" <> showt iSym <> "][" <> showt iFreq -- <> "]." }}} }}} NOTE: The snippet is large (and messy) because there seems to be an exact sequence of evaluation to causing the out of memory. For example if you comment out line 26 (<> showt iFreq) it will allow the code to compile. Like wise if I comment out all of line 25 it will compile. I can't seem to figure out what exact combination of things causes the issue. Cabal file (used with stack 1.5.1, resolver: nightly-2017-10-21). {{{ #!div style="font-size: 80%" Code highlighting: {{{#!text name: some-test version: 0.2.1.0 build-type: Simple cabal-version: >= 1.10 library default-language: Haskell2010 ghc-options: -Wall -fwarn-tabs -funbox-strict-fields -fno-warn- unused-do-bind -O2 ghc-prof-options: -fprof-auto exposed-modules: Test.Test build-depends: base >= 4.9 && < 4.11, text >= 1.2, text-show >= 3.4 && < 3.7, vector >= 0.10 && < 0.13 default-extensions: OverloadedStrings }}} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #14404: Grammar mistake at https://www.haskell.org/platform/windows.html.
by GHC 30 Oct '17

30 Oct '17

#14404: Grammar mistake at https://www.haskell.org/platform/windows.html. -------------------------------------+------------------------------------- Reporter: R030t1 | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Documentation | Version: 8.2.1 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: -------------------------------------+------------------------------------- https://www.haskell.org/platform/windows.html, under step 2: "Additionally, you may want to should double-check" Possible fix: "Additionally, you should double-check" My apologies if this is not the right tracker. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14404> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #14403: strange closure type 2136315671
by GHC 30 Oct '17

30 Oct '17

#14403: strange closure type 2136315671 -------------------------------------+------------------------------------- Reporter: matrixmike | 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): | Wiki Page: -------------------------------------+------------------------------------- cabal install aeson ghc: internal error: evacuate: strange closure type 2136315671 (GHC version 8.2.1 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug The Glorious Glasgow Haskell Compilation System, version 8.2.1 Version 1.5.1, Git revision 600c1f01435a10d127938709556c1682ecfd694e (4861 commits) x86_64 hpack-0.17.1 cabal-install version 1.24.0.2 compiled using version 1.24.2.0 of the Cabal library HLint v1.8.53, (C) Neil Mitchell 2006-2013 hindent 5.2.3 hpack version 0.17.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14403> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #14402: Compiler hangs - UdecidableInstances
by GHC 30 Oct '17

30 Oct '17

#14402: Compiler hangs - UdecidableInstances -------------------------------------+------------------------------------- Reporter: lehins | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.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: -------------------------------------+------------------------------------- Normally I wouldn't consider GHC going into infinite loop when `UndecidableInstances` is enabled as a bug, because compiler still terminates unless maybe something like `-freduction-depth=0` is supplied. That is not the case with this few lines of Haskell, as they cause GHC to hang for good and even made it use up all of my 32Gb of RAM, while I was looking the other way. Seems a bit unusual for GHC, so here is a record of it as a bug report. Compiling with `-v3` stops here: {{{ [1 of 1] Compiling Nested ( src/Nested.hs, .stack- work/dist/x86_64-linux/Cabal-2.0.0.2/build/Nested.o ) *** Parser [Nested]: !!! Parser [Nested]: finished in 1.03 milliseconds, allocated 0.566 megabytes *** Renamer/typechecker [Nested]: }}} Compilation with GHC 8.0.2 goes through just fine. Although, I did encounter it hanging as part of a much bigger picture because of the same few lines of code. Coming up with a small reproducible example is much harder for that case as it hangs while compiling the test suite, instead of the offending module. In order to replicate the problem, the included code has to be compiled as a library rather than as an executable. Using `stack build --install-ghc` should do it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14402> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #14400: Make :sprint, :print, and :force work with cyclical structures
by GHC 30 Oct '17

30 Oct '17

#14400: Make :sprint, :print, and :force work with cyclical structures -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.6.1 Component: GHCi | 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): | Wiki Page: -------------------------------------+------------------------------------- {{{ > t = "hi" : t > :force t }}} never completes, because GHC races around and around in a loop forever. It would seem better to keep a hashset of nodes that have already been visited to avoid getting stuck, and print out a reasonable representation of the graph. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14400> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13945: make install fails when registering packages
by GHC 30 Oct '17

30 Oct '17

#13945: make install fails when registering packages -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) 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: -------------------------------------+------------------------------------- In the final part of installation when packages are registered, the following command fails {{{ "inplace/bin/ghc-cabal" register libraries/ghc-prim dist-install "/home/pgrads/mp16005/linux/installed-ghc/lib/ghc-8.2.0.20170708/bin/ghc" "/home/pgrads/mp16005/linux/installed-ghc/lib/ghc-8.2.0.20170708/bin/ghc- pkg" "/home/pgrads/mp16005/linux/installed-ghc/lib/ghc-8.2.0.20170708" '' '/home/pgrads/mp16005/linux/installed-ghc' '/home/pgrads/mp16005/linux /installed-ghc/lib/ghc-8.2.0.20170708' '/home/pgrads/mp16005/linux /installed-ghc/share/doc/ghc-8.2.0.20170708/html/libraries' NO }}} with the following output {{{ Registering library for ghc-prim-0.5.0.0.. ghc-cabal: '/home/pgrads/mp16005/linux/installed-ghc/lib/ghc-8.2.0.20170708/bin/ghc- pkg' exited with an error: ghc-pkg: Couldn't open database /home/pgrads/mp16005/linux/installed- ghc/lib/ghc-8.2.0.20170708/package.conf.d for modification: {handle: /home/pgrads/mp16005/linux/installed- ghc/lib/ghc-8.2.0.20170708/package.conf.d/package.cache.lock}: hLock: invalid argument (Bad file descriptor) }}} It might be something to do with the permissions I have on my machine but I used to be able to install ghc if I gave it a suitable prefix other than `/usr/local`. Here is the call stack from the crash if that's useful. {{{ CallStack (from HasCallStack): die', called at libraries/Cabal/Cabal/Distribution/Simple/Program/Run.hs:142:7 in main:Distribution.Simple.Program.Run runProgramInvocation, called at libraries/Cabal/Cabal/Distribution/Simple/Program/HcPkg.hs:167:5 in main:Distribution.Simple.Program.HcPkg register, called at libraries/Cabal/Cabal/Distribution/Simple/GHC.hs:1709:5 in main:Distribution.Simple.GHC registerPackage, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:350:14 in main:Distribution.Simple.Register registerPackage, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:172:16 in main:Distribution.Simple.Register registerAll, called at libraries/Cabal/Cabal/Distribution/Simple/Register.hs:125:5 in main:Distribution.Simple.Register register, called at libraries/Cabal/Cabal/Distribution/Simple.hs:770:10 in main:Distribution.Simple defaultRegHook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:584:20 in main:Distribution.Simple regHook, called at libraries/Cabal/Cabal/Distribution/Simple/UserHooks.hs:120:5 in main:Distribution.Simple.UserHooks regHook, called at libraries/Cabal/Cabal/Distribution/Simple/UserHooks.hs:120:5 in main:Distribution.Simple.UserHooks cmd_hook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:452:38 in main:Distribution.Simple cmd_hook, called at libraries/Cabal/Cabal/Distribution/Simple.hs:469:4 in main:Distribution.Simple hookedActionWithArgs, called at libraries/Cabal/Cabal/Distribution/Simple.hs:451:5 in main:Distribution.Simple hookedAction, called at libraries/Cabal/Cabal/Distribution/Simple.hs:430:5 in main:Distribution.Simple registerAction, called at libraries/Cabal/Cabal/Distribution/Simple.hs:184:50 in main:Distribution.Simple defaultMainHelper, called at libraries/Cabal/Cabal/Distribution/Simple.hs:133:28 in main:Distribution.Simple defaultMainWithHooksArgs, called at utils/ghc-cabal/Main.hs:214:6 in main:Main }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13945> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 28

[GHC] #13825: Allow multiple constructor fields occupy the same word
by GHC 30 Oct '17

30 Oct '17

#13825: Allow multiple constructor fields occupy the same word -------------------------------------+------------------------------------- Reporter: michalt | Owner: (none) 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 main goal is to reduce the overhead of things like: {{{#!hs data Bloated = Bloated {-# UNPACK #-} !Word8 {-# UNPACK #-} !Int8 {-# UNPACK #-} !Bool }}} Assuming 64-bit architecture, currently those fields will take 8 bytes each! So for this example we'd need: 8 bytes for header + 3 * 8 bytes for fields = 32 bytes. But we should be able to pack the fields into a single word (a word is 8 bytes and each field really only needs 1 byte) for a total of 16 bytes (8 bytes header + 8 bytes for fields, with the 5 bytes being "overhead" due to heap alignment). My understanding is that we need a few things to make this happen: - Ability to refer to fields that are packed into a single word (currently everything in GHC assumes that each field occupies a single word). Simon Marlow started working on this in https://phabricator.haskell.org/D38 - Introduce primitives like `Word8#`, `Int8#`, ... (currently `WordX` and `IntX` are defined as wrappers of `Word#` and `Int#` respectively) and change `WordX`/`IntX` definitions to use those primitives. - Figure out what to do with `Bool` (should it be just `Word8#`? should we have `Bool#`?) and change its definition (using pattern synonyms for `True`/`False`) Some additional info: - Thread on ghc-devs: https://mail.haskell.org/pipermail/ghc- devs/2017-June/014304.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13825> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11