- ghc-tickets - Haskell.org

[GHC] #10492: rpath & shared libraries in ghc 7.10.1
by GHC 13 Jun '15

13 Jun '15

#10492: rpath & shared libraries 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: | Blocked By: Unknown/Multiple | 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 libDir/libtest.so test.c gcc -fPIC -c mylib.c -o mylib.o gcc -shared -o libDir/libMy.so mylib.o -L./libDir -l test -Wl,-rpath=./libDir }}} 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-libraries: test My extra-lib-dirs: ./libDir }}} Then `cabal repl` works fine, but upon `cabal run` we get the following error : {{{ cabal run 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_withDir/dist/build/illustrate/illustrate: error while loading shared libraries: libtest.so: cannot open shared object file: No such file or directory }}} In https://ghc.haskell.org/trac/ghc/ticket/10442#comment:8 trommler mentions that the problem arises because `-rpath` is not fed as an argument for `libtest.so` during linking. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10492> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10152: Testsuite diffs can be misleading when normalisers are in use
by GHC 13 Jun '15

13 Jun '15

#10152: Testsuite diffs can be misleading when normalisers are in use -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: new Priority: low | Milestone: Component: Test Suite | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When output fails to match, GHC will output the diff based on the original outputs. However, this is misleading: some "differences" will actually have been normalised by the whitespace and more substantive normalisers we apply. So you really have to compare the normalised output to see what the /real/ difference is. Unfortunately, the real normalised output is missing newlines, so it's not really suitable for diffing. So it's not really clear what an improved algorithm would be. This seems to not actually be a problem in practice, since SOP for messages which need heavy normalizing is that when the new message looks good, it's just 'make accept'ed. Can be a little confusing when you're developing normalisers. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10152> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10496: Update Haddock for 7.10.2
by GHC 13 Jun '15

13 Jun '15

#10496: Update Haddock for 7.10.2 -------------------------------------+------------------------------------- Reporter: hvr | Owner: thoughtpolice Type: task | Status: new Priority: high | Milestone: 7.10.2 Component: libraries | Version: (other) | Operating System: Unknown/Multiple Keywords: haddock | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I've been told there are fixes queued for a point release of Haddock that ought to go along w/ GHC 7.10.2; This ticket is to ensure we don't forget about updating the Haddock submodule -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10496> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10480: Ship Cabal with Windows filepath fix
by GHC 13 Jun '15

13 Jun '15

#10480: Ship Cabal with Windows filepath fix -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: libraries | Version: 7.10.1 (other) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It would be good to ship a version of Cabal which has this bug fixed: https://github.com/haskell/cabal/issues/2502 Milestoning so we don't forget. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10480> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8435: Do not copy stack after stack overflow
by GHC 13 Jun '15

13 Jun '15

#8435: Do not copy stack after stack overflow ------------------------------+-------------------------------------------- Reporter: ezyang | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.7 System | Operating System: Unknown/Multiple Keywords: | Type of failure: Runtime performance bug Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- I am not sure, but I was doing a close reading of `threadStackOverflow` and noticed that after we throw a stack overflow exception, we fall through to the code responsible for allocating a new stack and copying the code over. An old iteration of the stack overflow code (removed in the commit cited below) did return after throwing the exception, and I did not see anything in the commit message suggesting the change was intentional. It seems sound to copy the stack; it will just become dead immediately. The relevant commit: {{{ commit f30d527344db528618f64a25250a3be557d9f287 Author: Simon Marlow <marlowsd(a)gmail.com> Date: Wed Dec 15 12:08:43 2010 +0000 Implement stack chunks and separate TSO/STACK objects }}} Suggested (untested) patch: {{{ diff --git a/rts/Threads.c b/rts/Threads.c index 742119d..ccd6b17 100644 --- a/rts/Threads.c +++ b/rts/Threads.c @@ -533,6 +533,7 @@ threadStackOverflow (Capability *cap, StgTSO *tso) // Send this thread the StackOverflow exception throwToSingleThreaded(cap, tso, (StgClosure *)stackOverflow_closure); + return; } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8435> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #10468: debug test case fails on Windows
by GHC 13 Jun '15

13 Jun '15

#10468: debug test case fails on Windows -------------------------------------+------------------------------------- Reporter: ezyang | Owner: scpmw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 (Debugging) | Operating System: Windows Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: debug | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Here's the make output: {{{ $ make debug # Without optimisations, we should get annotations for basically # all expressions in the example program. echo == Dbg == == Dbg == 'C:/msys64/home/ezyang/ghc-validate/inplace/bin/ghc-stage2.exe' -fforce- recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs debug -fforce-recomp -g -dppr-ticks -ddump-cmm \ | grep -o src\<debug.hs:.*\> | sort -u C:\msys64\tmp\ghc21036_0\ghc21036_2.s: Assembler messages: C:\msys64\tmp\ghc21036_0\ghc21036_2.s:421: Error: junk at end of line, first unrecognized character is `,' C:\msys64\tmp\ghc21036_0\ghc21036_2.s:508: Error: junk at end of line, first unrecognized character is `,' C:\msys64\tmp\ghc21036_0\ghc21036_2.s:557: Error: junk at end of line, first unrecognized character is `,' C:\msys64\tmp\ghc21036_0\ghc21036_2.s:559: Error: junk at end of line, first unrecognized character is `,' src<debug.hs:(3,1)-(5,29)> src<debug.hs:3:9> src<debug.hs:4:9> src<debug.hs:5:13-17> src<debug.hs:5:14> src<debug.hs:5:21-29> src<debug.hs:5:25-29> src<debug.hs:5:26> src<debug.hs:5:9-17> src<debug.hs:5:9-29> src<debug.hs:6:1-21> ./debug make: ./debug: Command not found Makefile:9: recipe for target 'debug' failed make: *** [debug] Error 127 }}} Peter, can you take a look? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10468> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10175: User's Guide 7.4.4 ExplicitTypeOperators typo
by GHC 13 Jun '15

13 Jun '15

#10175: User's Guide 7.4.4 ExplicitTypeOperators typo -------------------------------------+------------------------------------- Reporter: Shou | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.8.4 Documentation | Operating System: Unknown/Multiple Keywords: typo | Type of failure: None/Unknown extension | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- > There is now some potential ambiguity in import and export lists; for example if you write import M( (+) ) do you mean the function (+) or the type constructor (+)? The default is the former, but with -XExplicitNamespaces (which is implied by -XExplicitTypeOperators) GHC allows you to specify the latter by preceding it with the keyword type, thus: [...] GHC lists no extension `-XExplicitTypeOperators`, so it is assumed to be a mistake intended to be `-XTypeOperators`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10175> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 13 Jun '15

13 Jun '15

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: osa1 Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: deriving, Operating System: Unknown/Multiple | newcomer Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D978 -------------------------------------+------------------------------------- Changes (by thomie): * owner: => osa1 * differential: => Phab:D978 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7401#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4931: hsc2hs emits invalid OPTIONS_GHC pragmas
by GHC 13 Jun '15

13 Jun '15

#4931: hsc2hs emits invalid OPTIONS_GHC pragmas -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: hsc2hs | Version: 7.0.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): peddle: did you make any progress with this ticket? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4931#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1574: Broken link testing
by GHC 13 Jun '15

13 Jun '15

#1574: Broken link testing -------------------------------------+------------------------------------- Reporter: iampure@… | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.12.1 Component: Documentation | Version: 6.6.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1574#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0