June 2014 - ghc-tickets

Re: [GHC] #1972: Shadowed binding warning message lacks essential information
by GHC 29 Jun '14

29 Jun '14

#1972: Shadowed binding warning message lacks essential information -------------------------------------+--------------------------------- Reporter: NeilMitchell | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 6.8.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Difficulty: Unknown | Test Case: T1972 -------------------------------------+--------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"dab0fa06fa33eeb45cef16c06c41d6c45b102451/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="dab0fa06fa33eeb45cef16c06c41d6c45b102451" Update Cabal to BinaryLiterals-aware 1.20 version In 1c0b5fdc9f2b6ea8166cc565383d4cd20432343c (re #9224) `BinaryLiterals` was temporarily added to T4437's `expectedGhcOnlyExtensions` list. This can now reverted as Cabal has been made aware of `BinaryLiterals` (see haskell/cabal#1970 and haskell/cabal#1972). updates Cabal submodule Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1972#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last
by GHC 28 Jun '14

28 Jun '14

#4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last -------------------------------+------------------------------------------- Reporter: sclv | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.0.1 Component: | Keywords: libraries/base | Architecture: Unknown/Multiple Resolution: | Difficulty: Easy (less than 1 hour) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by hvr): * status: closed => new * cc: hvr, ekmett (added) * resolution: invalid => * difficulty: => Easy (less than 1 hour) * milestone: Not GHC => 7.10.1 * type: proposal => feature request Comment: Morphed this into a feature-request ticket, as the proposal effectively passed the submission process, and the [http://www.haskell.org/pipermail/libraries/2014-June/023231.html patch got blessed by Edward]. I'd just like to wait until Phab:D13 lands -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4880#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5615: ghc produces poor code for `div` with constant powers of 2.
by GHC 28 Jun '14

28 Jun '14

#5615: ghc produces poor code for `div` with constant powers of 2. -------------------------------------+------------------------------------- Reporter: Lennart | Owner: daniel.is.fischer Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.4.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by thomie): How about implementing Euclidean division? [http://legacy.cs.uu.nl/daan/download/papers/divmodnote.pdf Division and Modulus for Computer Scientists] (6 pages pdf) by [http://research.microsoft.com/en-us/people/daan/ Daan Leijen]. "Boute argues that Euclidean division is superior to the other ones in terms of regularity and useful mathematical properties, allthough floored division, promoted by Knuth, is also a good definition. Despite its widespread use, truncated division is shown to be inferior to the other definitions. An interesting mathematical property that is only satisfied by Euclidean division is the shift-rule. A compiler can use this to optimize divisions by a power of two into an arithmetical shift or a bitwise-and operation." D '''div''',,E,, (2^n^) = D '''asr''' n D '''mod''',,E,, (2^n^) = D '''and''' (2^n - 1^) Note: [https://api.dartlang.org/apidocs/channels/stable/dartdoc-viewer /dart-core.num Dart]'s modulo operator (%) uses Euclidean division. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5615#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5280: System.Random commits (rand `mod` base) error.
by GHC 27 Jun '14

27 Jun '14

#5280: System.Random commits (rand `mod` base) error. ------------------------------------------------+-------------------------- Reporter: rrnewton | Owner: Type: bug | rrnewton Priority: normal | Status: closed Component: libraries/random | Milestone: 7.8.4 Resolution: fixed | Version: 7.9 Operating System: Unknown/Multiple | Keywords: random Type of failure: Incorrect result at runtime | mod base Test Case: | Architecture: Blocking: | Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by thomie): * status: new => closed * cc: rrnewton (added) * difficulty: => Unknown * version: 7.0.3 => 7.9 * milestone: ⊥ => 7.8.4 * resolution: => fixed Comment: Fixed in #8898. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5280#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 27 Jun '14

27 Jun '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thomie Type: bug | Status: patch Priority: lowest | Milestone: Component: libraries/unix | Version: Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Incorrect result | Difficulty: Easy (less than 1 at runtime | hour) Test Case: | Blocked By: Blocking: | Related Tickets: #8293 -------------------------------------+------------------------------------- Changes (by thomie): * related: => #8293 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8293: user001 spuriously fails if getGroupEntryForID correctly fails
by GHC 27 Jun '14

27 Jun '14

#8293: user001 spuriously fails if getGroupEntryForID correctly fails --------------------------+------------------------------------------------ Reporter: ezyang | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: | Version: 7.7 libraries/unix | Operating System: Linux Keywords: | Type of failure: Incorrect result at runtime Architecture: | Test Case: user001 Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ In some cases, a user's current group ID can be a number for a non- existent group. While this usually indicates the system is misconfigured in some way, it can also occur inside chroots or other environments where the information in /etc/groups is not to be considered reliable. Unfortunately, the user001 has no way of telling that the failure is proper, and fails the test anyway. We ought to do something more robust. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8293> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 26 Jun '14

26 Jun '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thomie Type: bug | Status: patch Priority: lowest | Milestone: Component: libraries/unix | Version: Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Incorrect result | Difficulty: Easy (less than 1 at runtime | hour) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => patch * version: 6.6.1 => * milestone: 7.6.2 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 26 Jun '14

26 Jun '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thomie Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: libraries/unix | Version: 6.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Incorrect result | Difficulty: Easy (less than 1 at runtime | hour) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by thomie): The attached patch fixes this issue. I tried going the pseudo-terminal route, but it doesn't work. System.Posix.User's `getLoginName` calls the C function `getlogin`. This function, on GNU/Linux at least, looks in the file /var/run/utmp for a login record with a tty name that matches that of the terminal connected to stdin (filedescriptor 0). It is possible to trick `getlogin` to check a pseudo terminal's name with something like: (master, slave) <- openPseudoTerminal dupTo master stdInput But, as far as I understand, pseudo-terminals are never registered in /var/run/utmp. Therefore `getlogin` will not find the user's login name and just return 'No such file or directory'. Maybe better than 'Inappropriate ioctl for device', but still an error. What does work, surprisingly, is adding this to `user001.hs`: dupTo stdOutput stdInput , but only if we wouldn't redirect stdout as well. The same for stderr. The solution is to simply not redirect stdin (i.e. don't do ./user001 < /dev/null). This implies skipping the ghci way. The commit that introduced the `no_stdin` test option alluded to this as well: fa52a8c9d8eae5e3fc4c0cf0e5672875e161e05c. One general concern is that there are no guarantees that `getlogin` will return anything other than NULL, so the test with this patch applied might fail on some systems. Another option therefore would be to turn the getLoginName test back off again, document why, and close this issue regardless. Review of -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1487: unix package: test needed for getLoginName
by GHC 26 Jun '14

26 Jun '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: thomie Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: libraries/unix | Version: 6.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Incorrect result | Difficulty: Easy (less than 1 at runtime | hour) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by thomie): * owner: adrien => thomie -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3032: would be nice if -fno-code and --make worked together
by GHC 26 Jun '14

26 Jun '14

#3032: would be nice if -fno-code and --make worked together -------------------------------------+------------------------------------ Reporter: duncan | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by tibbe): To make it work with Cabal we need to make -no-code a Cabal flag (that gets converted to a GHC flag). Right now it's opaque to Cabal what's going on. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3032#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0