December 2014 - ghc-tickets

[GHC] #9764: Home package modules silently override available modules from package database
by GHC 27 Dec '14

27 Dec '14

#9764: Home package modules silently override available modules from package database -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: GHC Blocked By: | accepts invalid program Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- To see this, define a module with the same name as some module in base. GHC will compile this: {{{ module Data.List where foo = 2 module A where import Data.List x = print foo }}} This behavior is intentional; the most compelling reason of behaving this way is that if you are calling `ghc` without `-hide-all-packages`, some random package you installed which just happened to provide a module name that conflicted with yours could cause your code to stop compiling if we treated the package database and home packages equally. However, this behavior seems undesirable when `-hide-all-packages` is provided; at the very least, it seems like you might want to provide a warning that you're defining a module which conflicts with a module from a package you have exposed. This behavior will be further undesirable when signatures come into the picture. Now, I will want to include a package containing a signature for `A`, and FURTHERMORE I may want to declare a signature `A.hsig` in the local package which augments this signature with some extra declarations I need. Under the current behavior, the externally imported signature is just ignored entirely, even though I wanted them to be merged together. My proposal is to switch the behavior so that we don't prefer home modules if `-hide-all-packages` is provided. What's not great about this proposal is that it adds yet another discrepancy between bare GHC use and GHC use with `-hide-all-packages`. I'm interested to know what people would like. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7473: getModificationTime gives only second-level resolution
by GHC 27 Dec '14

27 Dec '14

#7473: getModificationTime gives only second-level resolution -------------------------------------+------------------------------------- Reporter: duncan | Owner: ekmett Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Core | Version: 7.6.1 Libraries | Keywords: directory Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * status: new => closed * resolution: => fixed * milestone: 7.12.1 => 7.10.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7473#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7473: getModificationTime gives only second-level resolution
by GHC 27 Dec '14

27 Dec '14

#7473: getModificationTime gives only second-level resolution -------------------------------------+------------------------------------- Reporter: duncan | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Core | Version: 7.6.1 Libraries | Keywords: directory Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by redneb): The pull request has been merged so I think this bug can be closed now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7473#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9762: #8696 + #9012
by GHC 27 Dec '14

27 Dec '14

#9762: #8696 + #9012 -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- As of the patch for #9012, we create a static reference to an HPC ticks label if and only if it is in the same package, which is correct for building normally, but not for building libraries that are to be loaded piecemeal by GHCi/TH (as was the issue in #8696). See http://lpaste.net/113689 for an example error. I also wonder whether the other cases of `CLabel.labelDynamic` that check for "same package" could result in similar issues. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9762> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] Batch modify: #9032, #9652, #9762, #9905, #9924
by GHC 27 Dec '14

27 Dec '14

Batch modification to #9032, #9652, #9762, #9905, #9924 by hvr: Action: merged Comment: has been cherry-picked into ghc-7.10 branch -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=9032%2C9652%2C9762%2C9905%2C9924> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9652: Bootstrapping GHC HEAD against itself doesn't work
by GHC 27 Dec '14

27 Dec '14

#9652: Bootstrapping GHC HEAD against itself doesn't work -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I've got a partial patch: {{{ diff --git a/ghc.mk b/ghc.mk index eedb023..37ef2f2 100644 --- a/ghc.mk +++ b/ghc.mk @@ -719,7 +719,7 @@ ifneq "$(BINDIST)" "YES" ifneq "$(BOOTSTRAPPING_CONF)" "" ifeq "$(wildcard $(BOOTSTRAPPING_CONF))" "" -$(shell echo "[]" >$(BOOTSTRAPPING_CONF)) +$(shell $(GHC_PKG) init $(BOOTSTRAPPING_CONF)) endif endif }}} But I'm dying here: {{{ ===--- building phase 1 make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds libraries/hpc/ghc.mk:3: libraries/hpc/dist-boot/build/.depend-v.haskell: No such file or directory compiler/ghc.mk:646: compiler/stage1/build/.depend-v.haskell: No such file or directory ghc/ghc.mk:114: ghc/stage1/build/.depend.haskell: No such file or directory "rm" -f ghc/stage1/build/.depend.haskell.tmp "/home/hs01/ezyang/ghc-head/inplace/bin/ghc-stage2" -M -static -H32m -O -package-db libraries/bootstrapping.conf -hide-all-packages -i -ighc/. -ighc/stage1/build -ighc/stage1/build/autogen -Ighc/stage1/build -Ighc/stage1/build/autogen -optP-include -optPghc/stage1/build/autogen/cabal_macros.h -package-key array_GX4NwjS8xZkC2ZPtjgwhnz -package-key base_ESD4aQEEWwsHtYJVc1BwtJ -package-key bytes_Kc0PyaputnzDnBdZW0y2Gv -package-key direc_1OR7Bu5EIqqJUPTpfzOCIt -package-key filep_34DFDFT9FVD9pRLLgh8IdQ -package-key ghc_GE0xPzNsQzT2p10hpwDwSW -package-key proce_JJ2k66FcGHSLNmYZUkX8Td -package-key unix_4dEexQFispVG782agZacZC -Wall -XHaskell2010 -no-user-package-db -rtsopts -odir ghc/stage1/build -hidir ghc/stage1/build -stubdir ghc/stage1/build -dep- makefile ghc/stage1/build/.depend.haskell.tmp -dep-suffix "" -include-pkg- deps ghc/./Main.hs <command line>: cannot satisfy -package-key ghc_GE0xPzNsQzT2p10hpwDwSW (use -v for more information) ghc/ghc.mk:114: recipe for target 'ghc/stage1/build/.depend.haskell' failed make[1]: *** [ghc/stage1/build/.depend.haskell] Error 1 Makefile:71: recipe for target 'all' failed make: *** [all] Error 2 }}} A bit hard to diagnose due to #9651. Recording this so I don't forget. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9652> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9032: Panic with self-import
by GHC 27 Dec '14

27 Dec '14

#9032: Panic with self-import -----------------------------------+--------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- I've run into GHC panic with this code: {{{ {-# OPTIONS_GHC -fno-warn-unused-imports #-} module Singletons.Star where import Data.Singletons.Prelude import Data.Singletons.Decide import Data.Singletons.CustomStar import Singletons.Nat import Singletons.Star -- <------- HERE data Vec :: * -> Nat -> * where VNil :: Vec a Zero VCons :: a -> Vec a n -> Vec a (Succ n) $(singletonStar [''Nat, ''Int, ''String, ''Maybe, ''Vec]) }}} This is a test in `singletons` package that leads to a panic when run: {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-linux): tcIfaceGlobal (local): not found: singletons-1.0:Singletons.Star.TFCo:R:DemoteRep*KProxy{tc r0} [] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I was unable to minimize the test case. Reproducing requires following steps: 1. Installing latest th-desugar library from github: {{{ git clone https://github.com/goldfirere/th-desugar.git cd th-desugar cabal install }}} 2. Getting latest development version of singletons: {{{ git clone https://github.com/goldfirere/singletons cd singletons git checkout 56734c2bda721cb9a6a3021b901e3b29d6564f0c make tests }}} All should go well. Now you need to edit file `tests/compile-and- dump/Singletons/Star.hs` and uncomment `import Singletons.Star` line. It should be possible to reproduce the bug with: {{{ cd tests/compile-and-dump/ghc -package-name singletons-1.0 Singletons/Star.hs -i../../dist/build -c -XTemplateHaskell }}} It's important to run `make tests` first so that all interface files required by `Star.hs` are in place. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9032> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #9924: libffi configure script does not detect MSYS2 Windows 10 x86_64
by GHC 27 Dec '14

27 Dec '14

#9924: libffi configure script does not detect MSYS2 Windows 10 x86_64 -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When building GHC 7.10 RC 1 on Windows 10 Technical Preview, 64 bit, in MSYS2, libffi fails with the message that it cannot determine the build system, and that `config.guess` and `config.sub` may need to be updated. The latest versions do indeed work. Unfortunately the scripts are stored in the `libffi.tar` file, if we don't want to change the file we'll need some way to get the correct versions in place. I have a very hacky workaround that downloads the latest versions after unpacking the tar, which is obviously not how it should be solved, but might help some people get their RC1 to build before we have a proper fix: {{{ diff --git a/libffi/ghc.mk b/libffi/ghc.mk index ec37f0c..fbd2e5e 100644 --- a/libffi/ghc.mk +++ b/libffi/ghc.mk @@ -89,6 +89,9 @@ $(libffi_STAMP_CONFIGURE): $(TOUCH_DEP) cd libffi && \ $(LIBFFI_PATH_MANGLE) \ cd build && \ + autoreconf -f && \ + wget -O config.guess "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.gues…" && \ + wget -O config.sub "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;…" && \ CC=$(CC_STAGE1) \ CXX=$(CC_STAGE1) \ LD=$(LD) \ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9924> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7593: Unable to print exceptions of unicode identifiers
by GHC 26 Dec '14

26 Dec '14

#7593: Unable to print exceptions of unicode identifiers -------------------------------------+------------------------------------- Reporter: dagit | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: Incorrect | Difficulty: Unknown warning at compile-time | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by jeremy-list): The workaround I've been using is to add "//TRANSLIT" to the encoding of stdin, stdout, and stderr. I believe this should be the default rather than something I have to specify in my program. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7593#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #17: Separate warnings for unused local and top-level bindings
by GHC 24 Dec '14

24 Dec '14

#17: Separate warnings for unused local and top-level bindings -------------------------------------+------------------------------------- Reporter: magunter | Owner: Type: feature | Status: new request | Milestone: 7.12.1 Priority: lowest | Version: None Component: Compiler | Keywords: -fwarn-unused- Resolution: None | binds newcomer Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #3283 Test Case: | Blocking: | Differential Revisions: Phab:D591 | -------------------------------------+------------------------------------- Changes (by thomie): * differential: => Phab:D591 * milestone: ⊥ => 7.12.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/17#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0