March 2014 - ghc-tickets

[GHC] #8398: reify module list in TH
by GHC 18 Nov '14

18 Nov '14

#8398: reify module list in TH -------------------------------------------+------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: #8337 | Test Case: | Blocking: 7867 -------------------------------------------+------------------------------- This patch is for the use-case detailed in #7867. The added Q monad method provides the ability to get a list of module names in a format that is compatible with the module annotation reification in #8337. The patch contains a helper method that depends on #8337, so that should be applied first. If this is problematic, it's easy to separate this patch into one that doesn't depend on #8337 and an other that does. Then we can add the latter later. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8398> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8401: parsec issues
by GHC 18 Nov '14

18 Nov '14

#8401: parsec issues ----------------------------------+--------------------------------------- Reporter: dsamperi | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- Built ghc-7.7 using BuildFlavour quick under Fedora 18 Linux and I encounter a problem after installing parsec and trying to load example ch16/csv9.hs from RealWorldHaskell: Could not find module 'Text.ParserCombinators.Parsec' Perhaps you haven't installed the "dyn" libraries for package parsec-3.1.3 There are also Warnings while installing parsec: Data/Text/Lazy/Builder/Int.hs:52:11: Warning: Rule "decimal/Int" may never fire because ‛decimal’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma on ‛decimal’ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8401> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8404: Default to turning on architecture specific optimizations in the codegen
by GHC 18 Nov '14

18 Nov '14

#8404: Default to turning on architecture specific optimizations in the codegen ------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- LLVM defaults to turning on whatever architecture specific optimizations are supported on the user's machine (e.g. `-msse4.2`). This makes programs run faster during testing and generally gives users a better perception of the compiler. If the user wants to compile for some more portable subset (e.g. when cross-compiling) he/she adds `-march`, `-mcpu`, etc flags on the command line. To implement this we'd have to detect what CPU type is used etc and initialize our `DynFlags` based on that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8404> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8415: GHC bug using darcs on Kubuntu 13.04
by GHC 18 Nov '14

18 Nov '14

#8415: GHC bug using darcs on Kubuntu 13.04 ----------------------------------+------------------------------------- Reporter: JoeAquilina | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------------- I was trying to push a darcs patch when it failed with a GHC error. This is the text of the error message on the console: darcs: internal error: evacuate: strange closure type 536064 (GHC version 7.6.2 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) Not sure if this is exactly what is required when reporting a bug, I am very new to this and am unsure of the procedures involved regarding GHC bug reporting. Thanks in advance. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8415> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8419: add rawSystem variant that takes an environment
by GHC 18 Nov '14

18 Nov '14

#8419: add rawSystem variant that takes an environment -------------------------------------+------------------------------------- Reporter: dagit | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/process | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- rawSystem properly handles the case of ^C while waiting. Instead of requiring people to recreate this behavior when using runProcess, it would be good if we add and export a rawSystemWithEnv or directly export syncProcess. See for example: https://github.com/haskell/cabal/issues/1448 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8419> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8420: Spurious dynamic library dependencies
by GHC 18 Nov '14

18 Nov '14

#8420: Spurious dynamic library dependencies ------------------------------------+--------------------------------- Reporter: AndreasVoellmy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- It should be possible to have an executable A that depends on dynamic library B which in turn depends on dynamic library C, without A directly depending on C. {{{ A --> B --> C }}} Unfortunately, GHC 7.6.3 does not seem to allow this. Instead it copies the dependencies of B to dependencies of A, so that we get {{{ A -> B,C and B --> C }}} This is unfortunately, because running A will cause the loader to locate C based on the rpaths (assuming we are using rpaths to locate dynamic libraries), whereas only B should know how to get to C from B. The problem seems to be that ghc copies all the library dependencies of B (presumably from the package specification of B) as library dependencies of the A. I verified the problem in GHC 7.6.3, but haven't tried in HEAD yet. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8420> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8447: A combination of type-level comparison and subtraction does not work for 0
by GHC 18 Nov '14

18 Nov '14

#8447: A combination of type-level comparison and subtraction does not work for 0 -------------------------------------+------------------------------------- Reporter: nushio | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Linux Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The following function on type level naturals {{{ Diff x y = If (x <=? y) (y-x) (x-y) }}} does not work when either x or y is 0. https://github.com/nushio3/practice/blob/ea8a1716b1d6221ce32d77432b6de3f38e… /type-nats/int-bug.hs I've tested this code on ghc 7.7.20130926 since I couldn't build the really latest ghc. I'm sorry if it is already fixed on the ghc head. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8447> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8442: Cabal-install internal error with any use
by GHC 18 Nov '14

18 Nov '14

#8442: Cabal-install internal error with any use ----------------------------------+--------------------------------- Reporter: senk | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Package system | Version: 7.6.3 Keywords: | Operating System: FreeBSD Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- Any attempt to use cabal-install fails with an internal error. Used FreeBSD (9.1) port hs-haskell-platform and built with hs-colour support, LLVM (3.2) backend, and profiling enabled. Warnings were given that the version of LLVM used was untested, but no issues were apparent when compiling. {{{ cabal install hakyll cabal-install: internal error: evacuate(static): strange closure type -385875968 (GHC version 7.6.3 for x86_64_portbld_freebsd) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Abort trap }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8442> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8465: ./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and current directory
by GHC 18 Nov '14

18 Nov '14

#8465: ./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and current directory ------------------------------------+------------------------------------- Reporter: ygramoel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I am trying to reproduce bug #8464 with the newest ghc; not available in my repositories, so I am trying to install it manually. With a freshly downloaded and unpacked ghc-7.6.3-x86_64-unknown- linux.tar.bz2, and after cleanly installing libgmp.3 (from source of gmp-4.3.1) johan@morla:~/work/ghc-7.6.3\> ./configure checking for path to top of build tree... utils/ghc-pwd/dist- install/build/tmp/ghc-pwd: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory configure: error: cannot determine current directory johan@morla:~/work/ghc-7.6.3\> pwd -P /home/johan/work/ghc-7.6.3 johan@morla:~/work/ghc-7.6.3\> whereis libgmp libgmp: /usr/local/lib/libgmp.la /usr/local/lib/libgmp.a /usr/local/lib/libgmp.so johan@morla:~/work/ghc-7.6.3\> ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 1017334 Oct 20 20:56 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 785 Oct 20 20:56 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Oct 20 20:56 /usr/local/lib/libgmp.so -> libgmp.so.3.5.0 lrwxrwxrwx 1 root root 15 Oct 20 20:56 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.5.0 -rwxr-xr-x 1 root root 403890 Oct 20 20:56 /usr/local/lib/libgmp.so.3.5.0 johan@morla:~/work/ghc-7.6.3\> -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8465> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8477: Allow inferring ambiguous types
by GHC 18 Nov '14

18 Nov '14

#8477: Allow inferring ambiguous types ------------------------------------+------------------------------------- Reporter: aavogt | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: 8390 | ------------------------------------+------------------------------------- Previous versions of ghc could infer types that are potentially ambiguous. This allowed things like http://okmij.org/ftp/Haskell/TypeLambdaVal.hs or assigning keyword args functions to variables http://code.haskell.org/~aavogt/HList/docs/HList/Data-HList-Keyword.html. Presently (7.6 and 7.7), you need to write a type signature yourself to allow such definitions, which in these situations doubles the amount of code to write. For the keyword case, the workaround is to use the kw function to apply the keyword function instead of ordinary function application. More related discussion http://www.haskell.org/pipermail/glasgow-haskell- users/2013-October/024404.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8477> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7