August 2013 - ghc-tickets

Re: [GHC] #7678: GHC should compile cleanly with clang
by GHC 12 Aug '13

12 Aug '13

#7678: GHC should compile cleanly with clang ----------------------------------------+---------------------------------- Reporter: thoughtpolice | Owner: thoughtpolice Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: clang Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC failed | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 7602 | Blocked By: | Related Tickets: ----------------------------------------+---------------------------------- Comment (by thoughtpolice): Clang does not 'support' traditional mode in the sense it does not completely mimmick GCC, because to do so would be insane. However, we can get by with it in the latest version of Clang HEAD. This bug is only for GHC HEAD. 7.6.3 simply will not work with Clang I'm afraid without hacking things. There are several very important changes that were needed in the source for *both* projects in order to make them compatible, so it's not surprising you have to do weird things to make it all work in some hacky way. All that said, I guess I'll have to bite the stupid bullet and get an ADC account since Apple likes to mess things up so much. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7678#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7678: GHC should compile cleanly with clang
by GHC 12 Aug '13

12 Aug '13

#7678: GHC should compile cleanly with clang ----------------------------------------+---------------------------------- Reporter: thoughtpolice | Owner: thoughtpolice Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: clang Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC failed | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 7602 | Blocked By: | Related Tickets: ----------------------------------------+---------------------------------- Comment (by pyrtsa): Hi, I think this bug should be reconsidered. It looks like the upcoming version of Clang won't support llvm-gcc and its {{{-traditional}}} option at all. I wrote my notes about the issue in [https://gist.github.com/pyrtsa/6213784] if it helps. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7678#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2595: Implement record update for existential and GADT data types
by GHC 12 Aug '13

12 Aug '13

#2595: Implement record update for existential and GADT data types -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.12 branch Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: tc244 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by adamgundry): * cc: adam.gundry@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2595#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3452: Show type of most recent expression in GHCi
by GHC 12 Aug '13

12 Aug '13

#3452: Show type of most recent expression in GHCi -------------------------------------+------------------------------------ Reporter: ozy | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.6.2 Component: GHCi | Version: 6.10.4 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 osa1): Sorry for confusion, +t was enabled by default(specified in my .ghci). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3452#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3452: Show type of most recent expression in GHCi
by GHC 12 Aug '13

12 Aug '13

#3452: Show type of most recent expression in GHCi -------------------------------------+------------------------------------ Reporter: ozy | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.6.2 Component: GHCi | Version: 6.10.4 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 goldfire): I'm a little confused by the output generated in your gist. Is the `t` option assumed now? You don't seem to set it, but you do unset it. And, I think the output should be more explicit about that it's changing behavior based on the lack of a Show instance. Having the output sometimes be a value and sometimes be a type is confusing! In another direction, should we maybe promote the use of `:force`? This allows us to see the value of certain structures that don't have a `Show` instance. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3452#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

12 Aug '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: cactus 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: -------------------------------------+------------------------------------ Changes (by hvr): * cc: hvr@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

12 Aug '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: cactus 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 cactus): Progress update: the following module demonstrates all the features implemented so far: {{{ {-# LANGUAGE PatternSynonyms #-} module PatSyn where -- The example from the wiki page data Type = App String [Type] deriving Show pattern Arrow t1 t2 = App "->" [t1, t2] pattern Int = App "Int" [] collectArgs :: Type -> [Type] collectArgs (Arrow t1 t2) = t1 : collectArgs t2 collectArgs _ = [] isInt Int = True isInt _ = False arrows :: [Type] -> Type -> Type arrows = flip $ foldr Arrow -- Simple pattern synonyms pattern Nil = [] pattern Cons x xs = x:xs zip' :: [a] -> [b] -> [(a, b)] zip' (Cons x xs) (Cons y ys) = Cons (x, y) (zip' xs ys) zip' Nil _ = Nil zip' _ Nil = Nil pattern One x = [x] one :: [a] -> Maybe a one (One x) = Just x one _ = Nothing singleton :: a -> [a] singleton x = One x -- Pattern only synonyms pattern Third x = _:_:x:_ third :: [a] -> Maybe a third (Third x) = Just x third _ = Nothing -- This causes a type error: invalid x = Third x -- PatSyn.hs:30:13: -- Third used in an expression, but it's a non-bidirectional pattern synonym -- In the expression: Third x -- In an equation for ‛invalid’: invalid x = Third x -- Failed, modules loaded: none. }}} The following module also works, but demonstrates the clunkiness caused by the lack of infix pattern synonyms: {{{ {-# LANGUAGE ViewPatterns, PatternSynonyms #-} import qualified Data.Sequence as Seq pattern Empty = (Seq.viewl -> Seq.EmptyL) pattern Cons x xs = (Seq.viewl -> x Seq.:< xs) pattern Snoc xs x = (Seq.viewr -> xs Seq.:> x) zipZag :: Seq.Seq a -> Seq.Seq b -> Seq.Seq (a, b) zipZag (Cons x xs) (Snoc ys y) = (x, y) Seq.<| zipZag xs ys zipZag _ _ = Seq.empty }}} Of course, implementing infix pattern synonyms should be easy. Still missing: exporting of pattern synonyms. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7993: ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x
by GHC 12 Aug '13

12 Aug '13

#7993: ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x -----------------------------------+--------------------------- Reporter: cjwatson | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: Other Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+--------------------------- Comment (by nomeata): I tried to reproduce the problem by spawning lots of processes, but {{{ import System.Process main = mapM_ (\_ -> readProcess "/bin/echo" ["hello", "world"] "") [0..10000] }}} did not deadlock. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7993#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7993: ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x
by GHC 12 Aug '13

12 Aug '13

#7993: ghc 7.6 (not 7.4) sometimes hangs at child process exit on s390x -----------------------------------+--------------------------- Reporter: cjwatson | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: Other Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+--------------------------- Changes (by nomeata): * difficulty: => Unknown Comment: I tried to find out if `-V0` helps, but unfortunately it does not. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7993#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3693: Show stack traces
by GHC 12 Aug '13

12 Aug '13

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Runtime System | Version: 6.10.4 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): Peter - this is really exciting stuff. What I'm most interested in at this stage is a plan for getting it integrated. In practice what that means is breaking down the code into separate pieces that can reasonably be reviewed independently, and I'll probably need your help to point me at key places in the code where the important design decisions are. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:45> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0