December 2015 - ghc-tickets

[GHC] #10376: arm/linux linking failure
by GHC 26 Dec '15

26 Dec '15

#10376: arm/linux linking failure -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Tests `sigcabal01` and `sigcabal02` both fail with an error like: {{{ /usr/bin/ld.gold: warning: cannot scan executable section 1 of \ /home/erikd/ghc-upstream/testsuite/tests/cabal/sigcabal01/inst-p/lib/\ arm-linux-ghc-7.11.20150501/p_F3lh2Js8iHV9qItpHBsq0d/\ libHSp-1.0-F3lh2Js8iHV9qItpHBsq0d.a(P.o) for Cortex-A8 erratum because it has no mapping symbols. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10376> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #11294: T9430 fails on ARM
by GHC 26 Dec '15

26 Dec '15

#11294: T9430 fails on ARM -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 (LLVM) | Keywords: | Operating System: Linux Architecture: arm | Type of failure: Incorrect result | at runtime Test Case: T9430 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The primops testcase for `timesWord2#` in `T9430` fails on ARM. {{{ cd ./primops/should_run && ./T9430 </dev/null > T9430.run.stdout 2> T9430.run.stderr Wrong exit code (expected 0 , actual 1 ) Stdout: Stderr: T9430: Error for timesWord2# : Expected 1 and 0 but got 0 and 0 CallStack (from ImplicitParams): error, called at T9430.hs:55:22 in main:Main }}} It looks like this is probably an LLVM code generator bug although I have yet to confirm this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11294> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11257: GHCi: InfoTable.hs: Unknown architecture on powerpc64
by GHC 26 Dec '15

26 Dec '15

#11257: GHCi: InfoTable.hs: Unknown architecture on powerpc64 ---------------------------------+---------------------------------------- Reporter: trommler | Owner: trommler Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Building GHC failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ---------------------------------+---------------------------------------- Building HEAD I get the following on powerpc64: {{{ InfoTable.hsc:80:2: error: #error Unknown architecture InfoTable.hsc: In function ‘main’: InfoTable.hsc:80:2: error: #error Unknown architecture InfoTable.hsc:80:2: error: #error Unknown architecture compiling libraries/ghci/dist-install/build/GHCi/InfoTable_hsc_make.c failed (exit code 1) }}} I am working on a fix for powerpc64 and powerpc64le. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11257> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11255: Expected kind ‘k0’, but has kind ‘(forall k. k, forall k. k)’
by GHC 26 Dec '15

26 Dec '15

#11255: Expected kind ‘k0’, but has kind ‘(forall k. k, forall k. k)’ -------------------------------------+------------------------------------- Reporter: atnnn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following code works in GHC 7.10: {{{#!hs {-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, UndecidableInstances #-} type family Default :: k type instance Default = '(Default, Default) }}} But fails in HEAD with: {{{ Expected kind ‘k0’, but ‘'(Default, Default)’ has kind ‘(forall k. k, forall k. k)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11255> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10589: Core Lint error with LambdaCase
by GHC 26 Dec '15

26 Dec '15

#10589: Core Lint error with LambdaCase -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE LambdaCase, TypeFamilies #-} type family F a where F a = Bool -> a foo = (\case True -> 5 False -> 6) :: F Int }}} `-dcore-lint` tells me {{{ *** Core Lint errors : in result of Desugar (after optimization) *** /Users/rae/temp/Bug.hs:6:1: Warning: [RHS of foo :: Bool -> Int] From-type of Cast differs from type of enclosed expression ... }}} The problem is a missing `mkTcSymCo` in the relevant bit of `tcExpr`. Will fix in ongoing work. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10589> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11287: Visible type application: ASSERT failed! file compiler/typecheck/TcMatches.hs
by GHC 26 Dec '15

26 Dec '15

#11287: Visible type application: ASSERT failed! file compiler/typecheck/TcMatches.hs -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: th/T7681 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Validate on Travis (in the configuration that defines `GhcStage2HcOpts += -DDEBUG`) [https://s3.amazonaws.com/archive.travis- ci.org/jobs/98713762/log.txt reports] , since 2db18b8135335da2da9918b722699df684097be9: {{{ Compile failed (status 256) errors were: ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20151224 for x86_64-unknown-linux): ASSERT failed! file compiler/typecheck/TcMatches.hs, line 223 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for T7681(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11287> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs
by GHC 26 Dec '15

26 Dec '15

#2725: Remove Hack in compiler/nativeGen/X86/CodeGen.hs -------------------------------------+------------------------------------- Reporter: clemens | Owner: thoughtpolice Type: task | Status: new Priority: low | Milestone: 8.2.1 Component: Compiler (NCG) | Version: 6.11 Resolution: | Keywords: codegen Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.0.1 => 8.2.1 Comment: This isn't happening any time soon. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2725#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7653: incorrect handling of StackOverflow exception in the event manager
by GHC 26 Dec '15

26 Dec '15

#7653: incorrect handling of StackOverflow exception in the event manager -------------------------------------+------------------------------------- Reporter: nus | Owner: tibbe Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.7 Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): commit bbf6c025cdccd1f64166f273f9899c7d60a4a222 {{{ Author: Ian Lynagh <ian(a)well-typed.com> Date: Sat Jun 8 21:09:59 2013 +0100 Add a test for #7653 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7653#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7653: incorrect handling of StackOverflow exception in the event manager
by GHC 26 Dec '15

26 Dec '15

#7653: incorrect handling of StackOverflow exception in the event manager -------------------------------------+------------------------------------- Reporter: nus | Owner: tibbe Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.7 Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): commit 2d5eccdf1cfb389074cc2e5b52ae40b535c3b235: {{{ Author: Ian Lynagh <ian(a)well-typed.com> Date: Sat Jun 8 20:19:59 2013 +0100 IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7653#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11234: GHCi on Windows segfaults
by GHC 25 Dec '15

25 Dec '15

#11234: GHCi on Windows segfaults ----------------------------------------+------------------------------- Reporter: Phyx- | Owner: Phyx- Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Runtime System | Version: 7.11 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+------------------------------- GHCi on Windows has had a segfault for while now on `x86_64`. During the upgrade of `GCC` in Phab:D1123 I noticed that test `prog003` was failing with a segfault. Currently the segfault exist in both versions but on `x86` it's particularly easy to trigger. In my case I can't even start ghci. {{{ $ inplace/bin/GHC-stage2.exe --interactive GHCi, version 7.11.20151213: http://www.haskell.org/ghc/ :? for help Segmentation fault/access violation in generated code }}} The segfault does not seem to happen when linked to the debug rts, and running with `+RTS -Ds -RTS` doesn't report anything special. Compiling with `devel2` so the rts gets compiled with `-g` the stack trace is not very useful. {{{ (gdb) run --interactive Starting program: /home/Tamar/ghc/inplace/bin/ghc-stage2 --interactive [New Thread 108480.0x1960c] [New Thread 108480.0x19b2c] [New Thread 108480.0x19c30] [New Thread 108480.0x1a0a8] [New Thread 108480.0x1a93c] [New Thread 108480.0x13954] [New Thread 108480.0x14440] GHCi, version 7.11.20151213: http://www.haskell.org/ghc/ :? for help Program received signal SIGSEGV, Segmentation fault. 0x06843aa5 in ?? () (gdb) bt #0 0x06843aa5 in ?? () #1 0x04b82cfc in ?? () #2 0x8d078902 in ?? () #3 0xc689fd47 in ?? () #4 0xff04c583 in ?? () #5 0x83c70065 in ?? () #6 0x0000033c in ?? () #7 0x00000008 in ?? () #8 0x04e9c689 in ?? () Backtrace stopped: Cannot access memory at address 0x47c70cc8 }}} And the output of `p4` {{{ (gdb) p4 0x06843aa5 0x6843ab0: 0x330073 0x6843aac: 0x790073 <c1CgU_info+131> 0x6843aa8: 0x6d005c <c1rsa_info+715> 0x6843aa4: 0x3a0045 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11234> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6