- ghc-tickets - Haskell.org

Re: [GHC] #6086: Cross compilation fails using system linker for other architecture binaries
by GHC 13 Sep '14

13 Sep '14

#6086: Cross compilation fails using system linker for other architecture binaries ----------------------------------------------+--------------------------- Reporter: mtjm | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.4 Component: Build System | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: arm Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: 9421 | Related Tickets: Differential Revisions: | ----------------------------------------------+--------------------------- Comment (by jpmasseria): Replying to [comment:23 cetu86]: Thanks for the continued help. I'm still stuck where my GHC build doesn't find ncurses. I have done the following (my main issue is that I don't really understand where I need to "install" my cross compiled version of ncurses. {{{ wget ftp.de.debian.org/debian/pool/main/n/ncurses/ncurses_5.9.orig.tar.gz tar xf ncurses_5.9.orig.tar.gz cd ncurses-5.9/ ./configure --target=arm-linux-gnueabihf --with-gcc=arm-linux- gnueabihf-gcc --target=arm-linux-gnueabihf --prefix=/home/johnma/arm- linux-gnueabihf make && make install }}} As I understand it this placed the cross compiled `ncurses` into my directory `/home/johnma/arm-linux/gnueabihf` I then tried to build GHC using this as follows: {{{ cd ../ghc/ ./configure --target=arm-linux-gnueabihf --enable-unregisterised --with-gcc=`which arm-linux-gnueabihf-gcc` --with-nm=/usr/bin/nm --with- sysroot=/home/johnma/arm-linux-gnueabihf make -j2 }}} Needless to say that achieved the same ncurses not found error. Again, my confusion is how I tell the GHC build to find this ncurses. Thank you! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6086#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 13 Sep '14

13 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by danilo2): Hello! Is there any patch which would allow me to use injective type families in current GHC? I saw on the top of this page, that a patch was provided, but about 2 years ago - are there any working implementations? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:63> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7567: invalidateModSummaryCache throws exception if ms_hs_date is 0
by GHC 12 Sep '14

12 Sep '14

#7567: invalidateModSummaryCache throws exception if ms_hs_date is 0 -------------------------------------+------------------------------------- Reporter: edsko | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.4 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * owner: => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7567#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5289: Can't use ghci with a library linked against libstdc++
by GHC 12 Sep '14

12 Sep '14

#5289: Can't use ghci with a library linked against libstdc++ -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.0.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by ihameed): * cc: idhameed@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5289#comment:52> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9581: Parse error in multiline case expression inside let inside do block
by GHC 12 Sep '14

12 Sep '14

#9581: Parse error in multiline case expression inside let inside do block -------------------------------------+------------------------------------- Reporter: mpopov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: GHC Difficulty: Unknown | rejects valid program Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- {{{#!hs main = do let x = case 1 of 0 -> False _ -> True print x }}} The above program produces the following error: $ runghc bug.hs bug.hs:3:11: parse error on input ‘->’ Slightly rewritten versions print True as indended: {{{#!hs main = do let x = case 1 of { 0 -> False; _ -> True } print x main = do print $ case 1 of 0 -> False _ -> True }}} I have double-checked that the offending program does not contain mixed tabs and spaces. The same error occurs on my own system (Linux Mint x64, Haskell Platform 2014.2 with GHC 7.83) and in FPComplete's online IDE. I first encountered the error in a program copied verbatim from a Haskell book, so i assume that the syntax is allowed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9581> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #6086: Cross compilation fails using system linker for other architecture binaries
by GHC 12 Sep '14

12 Sep '14

#6086: Cross compilation fails using system linker for other architecture binaries ----------------------------------------------+--------------------------- Reporter: mtjm | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.4 Component: Build System | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: arm Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: 9421 | Related Tickets: Differential Revisions: | ----------------------------------------------+--------------------------- Comment (by cetu86): You don't need to start over. You just need ncurses. I downloaded ncurses and cross compiled it for arm, then put it in the cross-tools' sysroot directory under sysroot/usr. Or I guess you could just copy ncurses from your existing installation on your raspberry pi. That way you can be sure you got the right version. Cause when you create dynamically linked executable, you have to have matching versions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6086#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 12 Sep '14

12 Sep '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by simonpj): I have spent most of this afternoon writing up some thoughts about StaticPtr and serialisation. Here is the result: [blog:simonpj/StaticPointers] I would be very interested in your thoughts. Special thanks to Neil Mitchell who put up with several hours of blather on the way home from ICFP. I did this by writing something new, rather than by editing [wiki:StaticPointers], because I didn't want to Utterly Rewrite the latter. For now you can compare the two. Ultimately we should combine them. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6086: Cross compilation fails using system linker for other architecture binaries
by GHC 11 Sep '14

11 Sep '14

#6086: Cross compilation fails using system linker for other architecture binaries ----------------------------------------------+--------------------------- Reporter: mtjm | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.4 Component: Build System | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: arm Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: 9421 | Related Tickets: Differential Revisions: | ----------------------------------------------+--------------------------- Comment (by jpmasseria): After I manually deleted `libraries/dph` I now get: {{{ configure: error: in `/home/johnma/ghc/libraries/terminfo': configure: error: curses headers could not be found, so this package cannot be built See `config.log' for more details make[1]: *** [libraries/terminfo/dist-install/package-data.mk] Error 1 make: *** [all] Error 2 }}} Should I just start over and re-clone from git? (I'm going to try that). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6086#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 11 Sep '14

11 Sep '14

#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dfeuer): Replying to [comment:58 jstolarek]: > I thought about it and I believe this should be possible. But we could only infer normal injectivity. I believe an algorithm for inferring injectivity in some of the parameters (ie. things like `result a -> b c` or `result -> b c` for a 3-arity type family) would be exponential in the number of arguments. I don't know anything about this, but what's wrong with exponential time here? This inference only happens once per closed type family, right? How many variables are there likely to be? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:62> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4290: hClose002 test fails on Solaris/x86 due to bad expected output
by GHC 11 Sep '14

11 Sep '14

#4290: hClose002 test fails on Solaris/x86 due to bad expected output -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.9 Resolution: | Keywords: Operating System: Solaris | Architecture: x86_64 (amd64) Type of failure: | Difficulty: Easy (less than 1 None/Unknown | hour) Test Case: hClose002 | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Changes (by oddsignals): * status: closed => new * testcase: => hClose002 * difficulty: => Easy (less than 1 hour) * version: 6.13 => 7.9 * architecture: x86 => x86_64 (amd64) * owner: igloo => * resolution: fixed => Comment: This fails identically on solaris-x64 and a similar stdout should be added. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4290#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0