September 2013 - ghc-tickets

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

25 Sep '13

#7567: invalidateModSummaryCache throws exception if ms_hs_date is 0 -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 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 edsko): Under circumstances where we manually set those mtimes (to work around http://ghc.haskell.org/trac/ghc/ticket/7473) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7567#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8058: If .ghci is a symlink, permissions aren't read correctly
by GHC 24 Sep '13

24 Sep '13

#8058: If .ghci is a symlink, permissions aren't read correctly -------------------------------------------+------------------------------- Reporter: berdario | Owner: Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 7.6.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Other Blocked By: | Test Case: Related Tickets: | Blocking: -------------------------------------------+------------------------------- dario@macbook ~> ls -l .ghci lrwxrwxrwx 1 dario dario 40 Jul 14 15:27 .ghci -> /home/dario/.dotfiles/dotfiles/ghci.conf dario@macbook ~> ls -l (readlink -f .ghci) -rw-r--r-- 1 dario dario 10 Jul 14 15:25 /home/dario/.dotfiles/dotfiles/ghci.conf dario@macbook ~> ghci GHCi, version 7.6.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. *** WARNING: /home/dario/.dotfiles/dotfiles is writable by someone else, IGNORING! Prelude> Obviously, /home/dario/.dotfiles/dotfiles isn't writable by someone else... Someone else could actually delete the symlink and maybe recreate it... but it couldn't inject malicious commands in the .ghci, unless the file pointed by the symlink was also writable by the attacker, in which case, checking the permissions of the target of the symlink would still prevent any wrongdoing -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8058> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8348: Add Super-classes to libraries
by GHC 24 Sep '13

24 Sep '13

#8348: Add Super-classes to libraries ------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | 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: | ------------------------------------+------------------------------------- Haskell community has a long discussion how to implement a superclasses into Haskell. Now it is used `default` method. But it looks ugly! But all their abilities are already implemented! We need just 2 extensions: FlexibleInstances and UndecidableInstances {{{ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} instance Monad m => Applicative m where pure = return (<*>) = ap instance Monad m => Functor m where fmap = liftM instance Monad m => Bind m where (>>-) = flip (>>=) B.join = M.join }}} this code is valid! I've already defined 3 "superclassses" for Monad: Functor, Applicative and Bind! "superclass' instances" have unique quality from Programming Patterns and typeclasses ideology: do not inherit, extend! We could easily extend "superclasses" and make a lot of class' dependences. We don't need to insert inside the class some ugliness like {{{ default return :: Applicative f => a -> f a return = pure }}} Next is much prettier! {{{ instance Monoid m => Alternative m where (<|>) = mplus empty = mzero }}} We could even use it with `Generic` without any `default`: {{{ class ToJSON a where toJSON :: a -> Value instance (Generic a, GToJSON (Rep a)) => ToJSON a where toJSON = genericToJSON defaultOptions }}} So, I suggest to made true "Applicative and Functor are superclasses of Monad" and add all necessary superclass' instances to base libraries. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8348> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #5987: Too many symbols in ghc package DLL
by GHC 24 Sep '13

24 Sep '13

#5987: Too many symbols in ghc package DLL -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 3658 | Related Tickets: -------------------------------------+------------------------------------ Changes (by awson): * status: closed => new * resolution: fixed => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5987#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7926: eventfd: unsupported operation when doing anything
by GHC 24 Sep '13

24 Sep '13

#7926: eventfd: unsupported operation when doing anything ----------------------------------+---------------------------------- Reporter: guest | Owner: AndreasVoellmy Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by rwbarton): Debian 7.1 is from June 2013 and jessie is the new "testing" version, so I don't think the original reporter's (joelteon?) or mloskot's problem is a too old kernel. Are either of you using an unusual kernel flavor, not -amd64? What's the output of `uname -a` and `dpkg -l | grep linux-image` and `grep CONFIG_EVENTFD /boot/config-*`? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7926#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #910: --make should have a -j flag for parallel building
by GHC 23 Sep '13

23 Sep '13

#910: --make should have a -j flag for parallel building -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: N/A | Blocked By: 8184, 8235 Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by mcandre): Could -j parall builds be on by default? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/910#comment:61> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8218: Missing instance Monad WrappedMonad
by GHC 23 Sep '13

23 Sep '13

#8218: Missing instance Monad WrappedMonad ------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | 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: | ------------------------------------+------------------------------------- Add to Control.Applicative the missing instance: {{{ instance Monad m => Monad (WrappedMonad m) where return = WrapMonad . return a >>= f = WrapMonad (unwrapMonad a >>= unwrapMonad . f) }}} Mailing-list discussion here: http://markmail.org/message/jfy7v2dgn7fpzplb -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8218> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #3725: Annotations not written to interface files
by GHC 23 Sep '13

23 Sep '13

#3725: Annotations not written to interface files -------------------------------+------------------------------------------- Reporter: rl | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: Other | Blocked By: Test Case: | Related Tickets: Blocking: 7867 | -------------------------------+------------------------------------------- Changes (by errge): * status: new => patch * cc: gergely@… (added) * priority: lowest => normal * difficulty: => Easy (less than 1 hour) * version: 6.13 => 7.7 * milestone: 7.6.2 => 7.8.1 Comment: Well, it wasn't as knock-on as expected, but doable :) Had to pay attention to a lot of other possibilities to define annotations: - module annotations, - type annotations (both class and data), - type class method annotations, - data constructor annotations. Raising back priority to normal: this is kind of important for people who try to use annotations from GHC API. It's also blocking 7867, that I'm currently working on. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3725#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8219: x86 definition of cas() is wrong
by GHC 23 Sep '13

23 Sep '13

#8219: x86 definition of cas() is wrong ------------------------------------+------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- On x86, `cas()` is defined in SMP.h as (paraphrasing) {{{ #!c asm ("lock\ncmpxchg %3,%1" :"=a"(o), "=m" (*p) :"0"(o), "r"(n)); }}} But *p is both read and written to, and therefore should have the '+' constraint modifier as opposed to the '=' modifier. Otherwise, the compiler is allowed to elide an earlier write to *p because it thinks that the call to `cas()` will overwrite it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8219> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7633: Checkable "minimal complete definitions"
by GHC 23 Sep '13

23 Sep '13

#7633: Checkable "minimal complete definitions" -------------------------------------------------+------------------------- Reporter: shachaf | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: warnings/minimal/WarnMinimal | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #6028 -------------------------------------------------+------------------------- Comment (by simonpj): Sorry I missed the bit about underscores. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0