- ghc-tickets - Haskell.org

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 30 Aug '15

30 Aug '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D910, | Phab:D1073, Phab:D1133 -------------------------------------+------------------------------------- Changes (by simonmar): * differential: Phab:D910, Phab:D1073 => Phab:D910, Phab:D1073, Phab:D1133 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:114> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 30 Aug '15

30 Aug '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D910, | Phab:D1073 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * differential: Phab:D1073 => Phab:D910, Phab:D1073 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:113> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10813: No symlinks after install.
by GHC 30 Aug '15

30 Aug '15

#10813: No symlinks after install. -------------------------------------+------------------------------------- Reporter: NormH | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: ghc-pkg | Version: 7.10.2 Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: Installing GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- After having run the installer represented by file: Haskell Platform 7.10.2-a 64bit-signed.pkg (which I found here: https://www.haskell.org/platform) ("openssl md5 Has*" yields 436e5370acfefbfe4cf7e3bc0a2fc56b) The Installer says "The installation was successful". I am looking at the page: file:///Library/Haskell/doc/start.html That page says: Executables are symlinked in /usr/bin and should be available in any shell. I can find no new symlinks there. Perhaps I am merely don't know what to look for. The documentation does not tell me what to expect that I can see. The shell command "ls -ltr /usr/bin" shows nothing newer than July; this is late August. Command "ls /usr/bin/gh* /usr/bin/has*" yields only "hash". "ls /Library/Frameworks/GHC.framework" and "/Library/Haskell" are populated. I am running OS X 10.11 (beta). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10813> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)
by GHC 29 Aug '15

29 Aug '15

#4505: Segmentation fault on long input (list of pairs) -------------------------------------+------------------------------------- Reporter: cathper | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: | Segmentation fault, segfault, long | input Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: 4258 | Blocking: Related Tickets: | Differential Revisions: Phab:D1180 -------------------------------------+------------------------------------- Comment (by bgamari): Re-added the compile-time check but it would be nice to resolve the underlying RTS issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10661: Regression: hp2ps reports `integer unexpected` on new style package keys
by GHC 29 Aug '15

29 Aug '15

#10661: Regression: hp2ps reports `integer unexpected` on new style package keys -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Profiling | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: concurrent/prog002/concprog002 | Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- hp2ps reports `integer unexpected` when run on a profile file created with HEAD. The profile file contains entries such as the following: {{{ $ grep System.Random Test.hp 9Kgekc9yEaLHLNUuw6paWL:System.Random.StdGen 24 9Kgekc9yEaLHLNUuw6paWL:System.Random.StdGen 24 9Kgekc9yEaLHLNUuw6paWL:System.Random.StdGen 24 9Kgekc9yEaLHLNUuw6paWL:System.Random.StdGen 24 }}} To reproduce, first install random (there might be a simpler way, but this one is required to run `make TEST=concprog002 WAY=threaded2_hT`, which is failing at the moment): {{{ $ cabal install random==1.1 --with-ghc=ghc-7.11.20150711 -v0 }}} Note the package key for random starts with a number: {{{ $ ghc-pkg --package-db=.ghc/x86_64-linux-7.11.20150711/package.conf.d/ describe random | grep key key: 9Kgekc9yEaLHLNUuw6paWL }}} Then create a heap profile for the following program with `-hT`, and try to run `hp2ps` on it: {{{ $ cat Test.hs import System.Random main = sequence $ replicate 1000 (randomIO :: IO Int) $ ghc-7.11.20150711 Test.hs -rtsopts -fforce-recomp -v0 $ ./Test +RTS -hT -i0.001 $ hp2ps Test.hp hp2ps: Test.hp, line 12: integer unexpected }}} Note that in the profile file the entries for libraries like `base`, `ghc- prim` and `integer-gmp` don't contain package keys (maybe the entries for random shouldn't either?): {{{ base:Data.Dynamic.Dynamic 24 integer-gmp:GHC.Integer.Type.Jp# 16 ghc-prim:GHC.Types.: 24 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10661> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #7411: Exceptions are optimized away in certain situations
by GHC 29 Aug '15

29 Aug '15

#7411: Exceptions are optimized away in certain situations -------------------------------------+------------------------------------- Reporter: SimonHengel | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: seq, | deepseq, evaluate, exceptions Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result | (amd64) at runtime | Test Case: Blocked By: | Blocking: Related Tickets: #5129 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"15cb83d4e98c2c356bf0e3eb0df6d322755337bd/ghc" 15cb83d4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="15cb83d4e98c2c356bf0e3eb0df6d322755337bd" Add testcase for #7411 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7411#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)
by GHC 29 Aug '15

29 Aug '15

#4505: Segmentation fault on long input (list of pairs) -------------------------------------+------------------------------------- Reporter: cathper | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: | Segmentation fault, segfault, long | input Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: 4258 | Blocking: Related Tickets: | Differential Revisions: Phab:D1180 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"c1d7b4b43bbc4c7a590a8b942adc09e654d0659d/ghc" c1d7b4b4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c1d7b4b43bbc4c7a590a8b942adc09e654d0659d" StgCmmHeap: Re-add check for large static allocations This should at least help alleviate the annoyance of #4505. This reintroduces a compile-time check originally added in a278f3f02d09bc32b0a75d4a04d710090cde250f but dropped with the new code generator. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10808: Odd interaction between record update and type families
by GHC 29 Aug '15

29 Aug '15

#10808: Odd interaction between record update and type families -------------------------------------+------------------------------------- Reporter: diatchki | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Consider the following example {{{#!hs {-# LANGUAGE TypeFamilies #-} type family F a type family G a data T1 type instance F T1 = Char type instance G T1 = Int data T2 type instance F T2 = Bool type instance G T2 = Int data R a = R { x :: F a, y :: G a } r1 :: R T1 r1 = R { x = 'a', y = 2 } r2 :: R T2 r2 = r1 { x = True } -- error: Cannot match T1 with T2 r3 :: R T2 r3 = r1 { x = True, y = y r1 } -- OK }}} The error for `r2` is odd because types `R T1` and `R T2` differ only in the type of `x`, so if we start with a value of type `R T1`, and update the field where the types differ, we should end up with a valid value of type `R T2`. The fact that `r2` is OK is demonstrated by `r3` where we update the other field with its own value, and now the type checker is happy. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10808> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)
by GHC 29 Aug '15

29 Aug '15

#4505: Segmentation fault on long input (list of pairs) -------------------------------------+------------------------------------- Reporter: cathper | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: | Segmentation fault, segfault, long | input Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: Blocked By: 4258 | Blocking: Related Tickets: | Differential Revisions: Phab:D1180 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * differential: D1180 => Phab:D1180 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10801: ghc returns ExitFailure (-4) when compiling some projects on ARM
by GHC 29 Aug '15

29 Aug '15

#10801: ghc returns ExitFailure (-4) when compiling some projects on ARM -------------------------------------+------------------------------------- Reporter: Ansible | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Compile-time Test Case: compile a | crash big web project | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I'm trying to get either yesod or scotty to build on my raspberry pi 2, which is running arch. Arch sports the newest working compiler for ghc, 7.8.2. Unfortunately llvm on arch is TOO new, and one must downgrade llvm, and the llvm downgrade packages are not available anywhere officially. I, however, happen to have these packages. These are for llvm 3.4.2-1.1. At any rate, I find I'm at an impasse with both Yesod and with Scotty. Sample output is attached. There's quite a bit of success, having compiled a lot of libraries, but it fails at the end. I thought it might be a lack of memory, so I gave it a try with a 1G swapfile as well, but that didn't help. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10801> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10