June 2015 - ghc-tickets

[GHC] #10442: Loading of shared libraries is problematic in ghc 7.10.1
by GHC 08 Jun '15

08 Jun '15

#10442: Loading of shared libraries is problematic in ghc 7.10.1 -------------------------------------+------------------------------------- Reporter: | Owner: artella.coding | Status: new Type: bug | Milestone: 7.10.2 Priority: high | Version: 7.10.1 Component: Compiler | Operating System: Linux Keywords: | Type of failure: Runtime crash Architecture: x86_64 | Blocked By: (amd64) | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Suppose that I have : {{{#!hs //test.h int add(int a, int b); }}} {{{#!hs //test.c int add(int a, int b){ return (a + b); } }}} {{{#!hs //mylib.c #include "test.h" int testAdd(){ return add(2,3); } }}} Then I compile via : {{{#!hs gcc -shared -o libtest.so test.c gcc -fPIC -c mylib.c -o mylib.o gcc -shared -o libMy.so mylib.o }}} Then I have Main.hs with : {{{#!hs module Main where import Foreign.C.Types foreign import ccall "testAdd" c_testAdd :: CInt -> CInt -> IO (CInt) main = do result <- c_testAdd 3 4 print result }}} and I have the associated cabal file : {{{#!hs name: illustrate version: 0.1.0.0 build-type: Simple cabal-version: >=1.10 executable illustrate main-is: Main.hs build-depends: base >=4.8 && <4.9 default-language: Haskell2010 extra-lib-dirs: ./ ghc-options: -ltest -lMy }}} Then upon running "cabal repl" I get the following error message (in ghc 7.10.1) : {{{#!hs *Main> main /home/linux/programs/ghc-7.10.1/lib/ghc-7.10.1/bin/ghc: symbol lookup error: ./libMy.so: undefined symbol: add }}} If I do "cabal run" I get : {{{#!hs Preprocessing executable 'illustrate' for illustrate-0.1.0.0... [1 of 1] Compiling Main ( Main.hs, dist/build/illustrate /illustrate-tmp/Main.o ) Linking dist/build/illustrate/illustrate ... Running illustrate... /home/linux/Downloads/illustrate/dist/build/illustrate/illustrate: error while loading shared libraries: libtest.so: cannot open shared object file: No such file or directory }}} Note that in ghc 7.8.3, cabal 1.22.0.0 it works fine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10442> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 08 Jun '15

08 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonmar): * owner: => niteria Comment: @niteria is going to look at this, with help from me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:105> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9259: GHCi should list its available command line options
by GHC 08 Jun '15

08 Jun '15

#9259: GHCi should list its available command line options -------------------------------------------+------------------------------- Reporter: jstolarek | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Driver | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- GHC can now list its command line options with `--show-options` (#7843). GHCi should be able to do the same. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9259> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #10500: GHC runs out of memory building unicode-properties
by GHC 07 Jun '15

07 Jun '15

#10500: GHC runs out of memory building unicode-properties -------------------------------------+------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Building package https://hackage.haskell.org/package/unicode-properties uses extraordinary amounts of memory with recent compilers - it dies on my 16GB desktop, though the travis build does eventually complete (see it here: https://travis-ci.org/seereason/unicode-properties/builds/65815442.) I have imported the repo to github and untabified it here: https://github.com/seereason/unicode-properties. Building this package was somewhat slow but did complete under ghc-7.8.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10500> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10499: Constraints should associate over ~
by GHC 07 Jun '15

07 Jun '15

#10499: Constraints should associate over ~ -------------------------------------+------------------------------------- Reporter: joelteon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Building the smallcheck package fails with this error: {{{ Test/SmallCheck/Property.hs:187:10: Could not deduce (Monad n) arising from the superclasses of an instance declaration from the context: (Monad m, m ~ n) bound by the instance declaration at Test/SmallCheck/Property.hs:187:10-52 Possible fix: add (Monad n) to the context of the instance declaration In the instance declaration for ‘Testable n (Property m)’ }}} Wondering if this is a bug in 7.11's constraint solver or 7.10's, since 7.10 and previous GHCs accept it and 7.11 doesn't. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10499> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8244: Removing the Cabal dependency
by GHC 06 Jun '15

06 Jun '15

#8244: Removing the Cabal dependency ------------------------------------+------------------------------------- Reporter: nh2 | 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: | ------------------------------------+------------------------------------- GHC depends on cabal, which is so far has been problematic many times, for many reasons. A few discussions include: * http://www.haskell.org/pipermail/haskell-cafe/2013-September/108746.html * http://www.haskell.org/pipermail/ghc-devs/2013-March/000821.html GHC uses only a very small part of Cabal, in these files: {{{ ./compiler/ghci/Linker.lhs ./compiler/main/Packages.lhs ./compiler/main/PackageConfig.hs ./compiler/main/Finder.lhs }}} plus 1 file for ghc-pkg: ./utils/ghc-pkg/Main.hs (see http://www.haskell.org/pipermail/haskell-cafe/2013-September/108750.html for details). It was proposed that either * the package format could be a plain specification without direct code dependencies * the Cabal package could be split off into Cabal-the-build-system and a minimal part to describe the package DB to be shared by Cabal and GHC The Cabal part that is used is in only a few modules of Distribution.* while the remaining majority of the Cabal-the-library package is not used (e.g. none of Distribution.Simple.*). Decoupling GHC and Cabal seems to be a public desire, yet there are some problems with these approaches. Let us discuss them in this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8244> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 38

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 06 Jun '15

06 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Fuuzetsu): Oh, by the way, there was a small experiment ran by nix users to judge the impact of this issue on parallel builds. You can find the results at https://github.com/peti/ghc-library-id-bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:104> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 06 Jun '15

06 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Fuuzetsu): Another sample: parallel building {{{aeson-0.8.1.0}}}, we get sections like {{{ < 1e7b52dc510d1cf5d1c7dba94ff5093f < $cr4ZN :: Constr < 0d767d9de53af9e99867e765de72ede2 < $cr4ZO :: Constr < dc67d4c3fc9f3ce6c26b7594d8e6eae3 < $cr4ZP :: Constr < a2def0dbb719c6f881fc717fcb8298a4 < $cr4ZQ :: Constr < c6db659c87f4f30d7cd7837ade17c21a < $cr4ZR :: Constr < 0d876ce7c0dcbac035d3da6455b1dd5f < $cr4ZS :: Constr --- > bdb4c40eb8e399497201a7ebb5b21b8e > $cr5fY :: Constr > a1b0220e85ae58edc13e93774d8e283f > $cr5fZ :: Constr > 7d4faa76b1cc5a7319b59dca13194f80 > $cr5g0 :: Constr > 7fdf605be2abfeb55bab02c7c6b2124d > $cr5g1 :: Constr > 05b9af850c2c1ed35be735adcbdb7f6d > $cr5g2 :: Constr > bb94af6dd870df350419f5d32d4917cf > $cr5g3 :: Constr }}} which consequently screws up everything else. These are presumably generated by {{{Data}}} deriving. Attaching two sample interface files with the above, it was built with 7.10.1. In non-concurrent case, no issues. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:103> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4215: canonicalizePath behaves strangely with paths that do not exist
by GHC 05 Jun '15

05 Jun '15

#4215: canonicalizePath behaves strangely with paths that do not exist -------------------------------------+------------------------------------- Reporter: creswick | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 6.12.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by Rufflewind): * status: upstream => closed * resolution: => fixed Comment: Fixed upstream. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4215#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5014: canonicalizePath throws exception on paths that do not exist
by GHC 05 Jun '15

05 Jun '15

#5014: canonicalizePath throws exception on paths that do not exist -------------------------------------+------------------------------------- Reporter: hesselink | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 7.0.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #4215 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by Rufflewind): * status: new => closed * resolution: => fixed Comment: Fixed upstream. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5014#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0