August 2013 - ghc-tickets

Re: [GHC] #7953: Segfault on x86 with -O2
by GHC 05 Aug '13

05 Aug '13

#7953: Segfault on x86 with -O2 -------------------------------------+---------------------------- Reporter: igloo | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------- Comment (by adinapoli): Ops, dumb me, I misread the architecture :S Feel free to wipe the comment, if you want. A. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7953#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7953: Segfault on x86 with -O2
by GHC 05 Aug '13

05 Aug '13

#7953: Segfault on x86 with -O2 -------------------------------------+---------------------------- Reporter: igloo | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------- Comment (by jstolarek): This bug was reported for x86 architecture, so it seems OK that you can't reproduce it on x86_64. BTW. I wonder if this bug is somehow related to #8103 I reported a few days ago. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7953#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7953: Segfault on x86 with -O2
by GHC 05 Aug '13

05 Aug '13

#7953: Segfault on x86 with -O2 -------------------------------------+---------------------------- Reporter: igloo | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+---------------------------- Comment (by adinapoli): Using the latest master I wasn't able to reproduce the problem. This is what I've tried: {{{ ./../../ghc/inplace/bin/ghc-stage2 --make Main -O2 -Wall ./Main }}} and {{{ ./../../ghc/inplace/bin/ghc-stage2 --make 7.hs -O2 -Wall ./7 }}} I've ran both programs multiple times, and they have always succeeded, without segmentation faults. Has this been solved or it's just me/my system which can't replicate the issue? I'm on Mac OS X 10.8.4, x86_64 running "The Glorious Glasgow Haskell Compilation System, version 7.7.20130805" -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7953#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 04 Aug '13

04 Aug '13

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------------------+------------------------- Reporter: cetinsert | Owner: Type: bug | dterei Priority: high | Status: new Component: Compiler (LLVM) | Milestone: 7.8.1 Resolution: | Version: Operating System: Windows | 7.6.1-rc1 Type of failure: Incorrect warning at | Keywords: llvm compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by schyler): Replying to [comment:10 carter]: > schyler, could you confirm that editing the relevant fields in your GHC settings file fixes things Confirming llvm 3.4svn and 2.9 on path work perfectly with the settings file fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 04 Aug '13

04 Aug '13

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------------------+------------------------- Reporter: cetinsert | Owner: Type: bug | dterei Priority: high | Status: new Component: Compiler (LLVM) | Milestone: 7.8.1 Resolution: | Version: Operating System: Windows | 7.6.1-rc1 Type of failure: Incorrect warning at | Keywords: llvm compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by carter): schyler, could you confirm that editing the relevant fields in your GHC settings file fixes things -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 04 Aug '13

04 Aug '13

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------------------+------------------------- Reporter: cetinsert | Owner: Type: bug | dterei Priority: high | Status: new Component: Compiler (LLVM) | Milestone: 7.8.1 Resolution: | Version: Operating System: Windows | 7.6.1-rc1 Type of failure: Incorrect warning at | Keywords: llvm compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by carter): the relevant bit being that the windows build doesn't have the llvm cli operations named {{{ ,("LLVM llc command","") ,("LLVM opt command","") }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 04 Aug '13

04 Aug '13

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------------------+------------------------- Reporter: cetinsert | Owner: Type: bug | dterei Priority: high | Status: new Component: Compiler (LLVM) | Milestone: 7.8.1 Resolution: | Version: Operating System: Windows | 7.6.1-rc1 Type of failure: Incorrect warning at | Keywords: llvm compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by schyler): Using the HP ghc on Windows you get an error like this (even if llc and opt are directly callable from the *same* command line): {{{ <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM }}} This occurs with all versions of llvm. ghc --info is interesting: {{{ [("Project name","The Glorious Glasgow Haskell Compilation System") ,("GCC extra via C opts"," -fwrapv") ,("C compiler command","$topdir/../mingw/bin/gcc.exe") ,("C compiler flags"," -fno-stack-protector -Wl,--hash-size=31 -Wl ,--reduce-memory-overheads") ,("ar command","$topdir/../mingw/bin/ar.exe") ,("ar flags","q") ,("ar supports at file","YES") ,("touch command","$topdir/touchy.exe") ,("dllwrap command","$topdir/../mingw/bin/dllwrap.exe") ,("windres command","$topdir/../mingw/bin/windres.exe") ,("perl command","$topdir/../perl/perl.exe") ,("target os","OSMinGW32") ,("target arch","ArchX86") ,("target word size","4") ,("target has GNU nonexec stack","False") ,("target has .ident directive","True") ,("target has subsections via symbols","False") ,("LLVM llc command","") ,("LLVM opt command","") ,("Project version","7.6.3") ,("Booter version","7.4.1") ,("Stage","2") ,("Build platform","i386-unknown-mingw32") ,("Host platform","i386-unknown-mingw32") ,("Target platform","i386-unknown-mingw32") ,("Have interpreter","YES") ,("Object splitting supported","YES") ,("Have native code generator","YES") ,("Support SMP","YES") ,("Unregisterised","NO") ,("Tables next to code","YES") ,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn") ,("Leading underscore","YES") ,("Debug on","False") ,("LibDir","C:\\Program Files (x86)\\Haskell Platform\\2013.2.0.0\\lib") ,("Global Package DB","C:\\Program Files (x86)\\Haskell Platform\\2013.2.0.0\\lib\\package.conf.d") ,("Gcc Linker flags","[\"-Wl,--hash-size=31\",\"-Wl,--reduce-memory- overheads\"]") ,("Ld Linker flags","[\"--hash-size=31\",\"--reduce-memory-overheads\"]") ] }}} For some reason the commands to interface with llc/opt are empty. I was able to work around it by doing this; `alias ghc-llvm="ghc -pgmlo opt -pgmlc llc -fllvm"` ... and then using `ghc-llvm` whenever I wanted to use llvm. This works perfectly. The 64-bit GHC from GHC HQ has the same problem, and the same workaround works for me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5144: Pattern synonyms
by GHC 04 Aug '13

04 Aug '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): Replying to [comment:10 cactus]: Great to hear that you're working on this! Just out of interest, are you implementing ViewPatternsAlternative too? Pattern synonyms become rather powerful when you can use pattern guards inside them, which is what ViewPatternsAlternative lets you do. > What's the correct protocol in this case? Should I mark myself as the owner on this ticket until I have my patches ready for submission for review? Or only after an initial working version is accepted? You can assign the ticket to yourself if you're working on it, yes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7938: Unbound kind variable can appear in RHS of associated type
by GHC 04 Aug '13

04 Aug '13

#7938: Unbound kind variable can appear in RHS of associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC accepts | Difficulty: Easy (less than 1 invalid program | hour) Test Case: indexed- | Blocked By: types/should_fail/T7938 | Related Tickets: Blocking: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * testcase: => indexed-types/should_fail/T7938 * resolution: => fixed Comment: Ack. I got caught in the same misunderstanding about return kinds as documented in #7939. The original file in the description of this bug should not compile, and it now doesn't. The modification I made in my previous comment (to add a `:: k`) to the declaration for `Bar` really ''should'' compile. I've added a test case for the original bug, but otherwise, no changes necessary. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7938#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7938: Unbound kind variable can appear in RHS of associated type
by GHC 04 Aug '13

04 Aug '13

#7938: Unbound kind variable can appear in RHS of associated type -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC accepts | Difficulty: Easy (less than 1 invalid program | hour) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by goldfire): * difficulty: => Easy (less than 1 hour) * version: 7.6.3 => 7.7 Comment: With the changes to kind inference that came with closed type families, the exact code above fails to compile, as expected. However, if we change the declaration of `Bar` to be `type Bar a :: k`, the code still compiles. Looking into this now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7938#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0