July 2015 - ghc-tickets

Re: [GHC] #3699: Wildcards in type functions
by GHC 22 Jul '15

22 Jul '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: msosn MartijnVanSteenbergen | Type: feature request | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler (Type | Version: 6.10.4 checker) | Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1092 -------------------------------------+------------------------------------- Changes (by thomasw): * differential: => Phab:D1092 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10621: Handle annotations in hsig/boot files
by GHC 22 Jul '15

22 Jul '15

#10621: Handle annotations in hsig/boot files -------------------------------------+------------------------------------- Reporter: spinda | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: GHC API | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Currently annotations are [https://github.com/ghc/ghc/blob/228ddb95ee137e7cef02dcfe2521233892dd61e0/co… thrown away] when typechecking hsig or hs-boot files. Can we process them as in normal hs source files? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10621> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7695: Hang when locale-archive and gconv-modules are not there
by GHC 21 Jul '15

21 Jul '15

#7695: Hang when locale-archive and gconv-modules are not there -------------------------------------+------------------------------------- Reporter: hpd | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.10.2 Component: None | Version: 7.8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: #8977, #10298 | Differential Revisions: Phab:D898 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"dbe6dac96543f426297a59d8d16c3f5afacf42d4/ghc" dbe6dac/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="dbe6dac96543f426297a59d8d16c3f5afacf42d4" When iconv is unavailable, use an ASCII encoding to encode ASCII D898 and D1059 implemented a fallback behavior to handle the case that the end user's iconv installation is broken (typically due to running inside a chroot in which the necessary locale files and/or gconv modules have not been installed). In this case, if the program requests an ASCII locale, GHC's char8 encoding is used rather than the program failing. However, silently mangling data like char8 does when the programmer did not ask for it is poor behavior, for reasons described in D1059. This commit implements an ASCII encoding and uses it in the fallback case when iconv is unavailable and the user has requested ASCII. Test Plan: Added tests for the encodings defined in Latin1. Also, manually ran a statically-linked executable of that test in a chroot and the tests passed (up to the ones that call mkTextEncoding "LATIN1", since there is no fallback from iconv for that case yet). Reviewers: austin, hvr, hsyl20, bgamari Reviewed By: hsyl20, bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1085 GHC Trac Issues: #7695, #10623 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7695#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier
by GHC 21 Jul '15

21 Jul '15

#10659: Regression concurrent/conc034 -O Core Lint errors : in result of Simplifier -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.10.2 Component: Compiler | Version: 7.10.2-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: concurrent/conc034 | Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- This is a regression from 7.10.1 to 7.10.2-rc2. See attachment for the result of running `make TEST=conc034 WAY=optasm TEST_HC=ghc-7.10.1.20150715`. It starts with: {{{ *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: seq @ e10_a20g @ (# State# RealWorld, () #) e2_a20o (# eta_B1, () #) Kinds don't match in type application: Type variable: b_13 :: * Arg type: (# State# RealWorld, () #) :: # xx # *** Offending Program *** }}} ghc-7.10.1 is fine. Same problem with ghc-7.11.20150711 (HEAD). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10659> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10657: Regression T2497 WAY=optasm: Simplifier ticks exhausted
by GHC 21 Jul '15

21 Jul '15

#10657: Regression T2497 WAY=optasm: Simplifier ticks exhausted -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: typecheck/should_compile/T2497 | Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- {{{ $ make TEST=T2497 WAY=optasm EXTRA_HC_OPTS=-fsimpl-tick-factor=10000 TEST_HC=ghc-7.11.20150711 ... T2497.hs:18:1: warning: Defined but not used: ‘beq’ ghc: panic! (the 'impossible' happened) (GHC version 7.11.20150711 for x86_64-unknown-linux): Simplifier ticks exhausted When trying RuleFired rule 1 To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 40000 ... }}} The test is very small: {{{ module ShouldCompile() where eq :: Eq a => a -> a -> Bool eq = (==) {-# RULES "rule 1" forall x y. x == y = y `eq` x #-} }}} The problem does not occur with ghc-7.10.1. Curiously the problem goes away when I change the module header to `module ShouldCompile where`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10657> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds
by GHC 21 Jul '15

21 Jul '15

#10658: Regression gadt/termination -O Core Lint errors : in result of Worker Wrapper binds -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: gadt/termination | Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- See attachment for the result of running `make TEST=termination WAY=optasm TEST_HC=ghc-7.11.20150711`. It starts with: {{{ *** Core Lint errors : in result of Worker Wrapper binds *** <no location info>: warning: In a case alternative: (Equal ww_sRe :: Apply Omega Omega ~# t_asc) Non term variable ww_sRe *** Offending Program *** }}} The problem does not occur with ghc-7.10.1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10658> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10597: Linking of binaries fails on OpenBSD due to PIE support
by GHC 21 Jul '15

21 Jul '15

#10597: Linking of binaries fails on OpenBSD due to PIE support -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: OpenBSD Architecture: x86_64 | Type of failure: Building GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- OpenBSD provides since 5.3 version IIRC support for position independent executables (PIE) by default. This means GNU C bundled with OpenBSD by default compiles position independent code. GHC does not count with this and generates normal code and while linking linker complains about wrong relocations in linked object code. Example: {{{ /usr/bin/ld: utils/hsc2hs/dist-install/build/Main.o: relocation R_X86_64_32S against `stg_upd_frame_info' can not be used when making a shared object; recompile with -fPIC }}} This of course means that build of GHC itself fails. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10597> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10530: Update transformers library
by GHC 21 Jul '15

21 Jul '15

#10530: Update transformers library -------------------------------------+------------------------------------- Reporter: | Owner: thoughtpolice | Status: new Type: bug | Milestone: 7.10.2 Priority: normal | Version: 7.10.2-rc1 Component: libraries | Operating System: Unknown/Multiple (other) | Type of failure: Other Keywords: | Blocked By: transformers | Related Tickets: Architecture: | Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- As noted in a reply to the RC1 announcement, we should update `transformers` to the latest version (which merely adds some new instances for `Const`). We should also do a once over for the other libraries. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10530> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #10630: Template variable unbound in rewrite rule (GHC 7.10.1)
by GHC 21 Jul '15

21 Jul '15

#10630: Template variable unbound in rewrite rule (GHC 7.10.1) -------------------------------------+------------------------------------- Reporter: Otini | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.10.1 Keywords: panic, | Operating System: Linux template, bitmap | Type of failure: GHC rejects Architecture: x86_64 | valid program (amd64) | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I read this bug had been fixed in GHC 7.10, and yet I get this when trying to compile bitmap : {{{ $ cabal install bitmap Resolving dependencies... Configuring bitmap-0.0.2... Building bitmap-0.0.2... Failed to install bitmap-0.0.2 Build log ( /home/olivier/.cabal/logs/bitmap-0.0.2.log ): Configuring bitmap-0.0.2... Building bitmap-0.0.2... Preprocessing library bitmap-0.0.2... [ 1 of 10] Compiling Data.Bitmap.Internal ( Data/Bitmap/Internal.hs, dist/build/Data/Bitmap/Internal.o ) [ 2 of 10] Compiling Data.Bitmap.Base ( Data/Bitmap/Base.hs, dist/build/Data/Bitmap/Base.o ) [ 3 of 10] Compiling Data.Bitmap.IO ( Data/Bitmap/IO.hs, dist/build/Data/Bitmap/IO.o ) Data/Bitmap/IO.hs:1248:1: Warning: SPECIALISE pragma for non-overloaded function ‘myPlusPtr’ Data/Bitmap/IO.hs:1249:1: Warning: SPECIALISE pragma for non-overloaded function ‘myPlusPtr’ ghc: panic! (the 'impossible' happened) (GHC version 7.10.1 for x86_64-unknown-linux): Template variable unbound in rewrite rule $fPixelComponentFloat3_X2Rc [$fPixelComponentFloat3_X2Rc] [$fPixelComponentFloat3_X2Rc] [] [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug cabal: Error: some packages failed to install: bitmap-0.0.2 failed during the building phase. The exception was: ExitFailure 1 $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.10.1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10630> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10610: Issues face while building glassgow haskell compiler package on power - ppc64le - architecture
by GHC 21 Jul '15

21 Jul '15

#10610: Issues face while building glassgow haskell compiler package on power - ppc64le - architecture -------------------------------------+------------------------------------- Reporter: | Owner: amitkumar_ghatwal | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I am a newbie to GHC platform. I am trying to port GHC to my power architecture , and whilst following the below: 1. wget http://www.haskell.org/ghc/dist/7.6.3/ghc-7.6.3-src.tar.bz2 2. tar xjvf ghc-7.6.3-src.tar.bz2 3. cd ghc-7.6.3 4. ./configure --enable-hc-boot --enable-hc-boot-unregisterised 5. make 6. sudo make install I am getting below errors while performing above step 4 : configure: WARNING: unrecognized options: --enable-hc-boot-unregisterised checking for gfind... no checking for find... /usr/bin/find checking for sort... /usr/bin/sort checking for ghc... no checking build system type... ./config.guess: unable to guess system type This script, last modified 2012-02-10, has failed to recognize the operating system you are using. It is advised that you download the most up to date version of the config scripts from http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.gues… and http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;… If the version you run (./config.guess) is already up to date, please send the following data and any information you think might be pertinent to <config-patches(a)gnu.org> in order to provide the needed information to handle your system. config.guess timestamp = 2012-02-10 uname -m = ppc64le uname -r = 3.16.0-23-generic uname -s = Linux uname -v = #31-Ubuntu SMP Tue Oct 21 17:55:08 UTC 2014 /usr/bin/uname -p = /bin/uname -X = hostinfo = /bin/universe = /usr/bin/arch -k = /bin/arch = /usr/bin/oslevel = /usr/convex/getsysinfo = UNAME_MACHINE = ppc64le UNAME_RELEASE = 3.16.0-23-generic UNAME_SYSTEM = Linux UNAME_VERSION = #31-Ubuntu SMP Tue Oct 21 17:55:08 UTC 2014 configure: error: cannot guess build type; you must specify one My system arch is as below : $ lscpu Architecture: ppc64le Byte Order: Little Endian CPU(s): 2 On-line CPU(s) list: 0,1 Thread(s) per core: 1 Core(s) per socket: 2 Socket(s): 1 NUMA node(s): 1 Model: IBM pSeries (emulated by qemu) Hypervisor vendor: KVM Virtualization type: full L1d cache: 64K L1i cache: 32K NUMA node0 CPU(s): 0,1 Any pointers in above will be greatly appreciated. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10610> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4