February 2015 - ghc-tickets

Re: [GHC] #5014: canonicalizePath throws exception on paths that do not exist
by GHC 22 Feb '15

22 Feb '15

#5014: canonicalizePath throws exception on paths that do not exist -------------------------------------+------------------------------------- Reporter: hesselink | Owner: ekmett Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 7.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #4215 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) * related: => #4215 Comment: #4215 seems related -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5014#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4861: Documentation for base does not include special items
by GHC 22 Feb '15

22 Feb '15

#4861: Documentation for base does not include special items -------------------------------------+------------------------------------- Reporter: NeilMitchell | Owner: ekmett Type: bug | Status: upstream Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) * status: new => upstream Comment: Submitted upstream to haddock: https://github.com/haskell/haddock/issues/368 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4861#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4215: canonicalizePath behaves strangely with paths that do not exist
by GHC 22 Feb '15

22 Feb '15

#4215: canonicalizePath behaves strangely with paths that do not exist -------------------------------------+------------------------------------- Reporter: creswick | Owner: ekmett Type: bug | Status: upstream Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) * status: new => upstream Comment: Submitted upstream: https://github.com/haskell/directory/issues/23 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4215#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9631: Comment in GHC.Base about GHC.Prim does not appear to be correct
by GHC 22 Feb '15

22 Feb '15

#9631: Comment in GHC.Base about GHC.Prim does not appear to be correct -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | Documentation bug Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The comment reads {{{ GHC.Prim Has no implementation. It defines built-in things, and by importing it you bring them into scope. The source file is GHC.Prim.hi-boot, which is just copied to make GHC.Prim.hi }}} It does not appear that any files by these names exist. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9631> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8362: Filesystem related tests failed on solaris (SmartOS)
by GHC 22 Feb '15

22 Feb '15

#8362: Filesystem related tests failed on solaris (SmartOS) --------------------------+------------------------------------------------ Reporter: leroux | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: | Version: 7.6.3 libraries (other) | Operating System: Solaris Keywords: | Type of failure: Incorrect result at runtime Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ Getting filesystem (files/permissions) related test faiures on SmartOS (32bit). {{{ $ uname -a SunOS pkgx86 5.11 joyent_20130919T215407Z i86pc i386 i86pc Solaris }}} Unexpected failures: `TEST="openFile003 getPermissions001 processGroup002 user001 posix005"` The testsuite output is attached. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8362> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9388: Narrow the scope of the notorious "state hack"
by GHC 22 Feb '15

22 Feb '15

#9388: Narrow the scope of the notorious "state hack" -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The "state hack" has caused any number of bug reports (just search for that string), the most recent of which is #9349. Here's an idea to make it less pervasive: (roughly) use the state hack only for top-level functions definitions. The idea is that for nested lambdas the context should give the one-shot- ness, now that we are equipped with cardinality analysis. For example, consider the call {{{ replicatM_ 1000 (\(s :: RealWorld#) -> blah) }}} The lambda is 1000-shot, not one-shot, notwithstanding the type of the binder. Moreover `replicateM_`'s strictness/cardinality signature will say just that, and GHC already knows how to propagate that information onto the `\s`. But for top level functions like {{{ pr :: String -> IO () pr x = putStrLn (reverse x) }}} we get Core {{{ pr = \x. let y = reverse x in \ (s :: State# RealWorld). putStrLn y s }}} and, since we can't see all the callers of `pr`, we don't know if work is lost by pushing the `reverse` call inside, to get {{{ pr = \x. (s :: State# RealWorld). putStrLn (reverse x) s }}} which is much more efficient. Indeed, this might not be so good if the calls looked like {{{ ... replicateM_ 1000 (pr "foo")... }}} because then "foo" will be reversed 1000 times. But arguably that's what the programmer expects anyway, looking at the code; and the efficiency hit from not eta-expanding all functions like `pr` (which are very very common) is significant. The point is the that the only ones that need hacking are the top-level guys, and maybe even the top-level ''exported'' guys. I have not fully thought this through, let alone tried it out, but I wanted to capture the thought. It would need some careful performance testing. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9388> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7985: Allow openFile on unknown file type
by GHC 22 Feb '15

22 Feb '15

#7985: Allow openFile on unknown file type -------------------------------------+------------------------------------- Reporter: singpolyma | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Core Libraries | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * owner: ekmett => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7985#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7634: MD5 collision could lead to SafeHaskell violation
by GHC 22 Feb '15

22 Feb '15

#7634: MD5 collision could lead to SafeHaskell violation -------------------------------------+------------------------------------- Reporter: shachaf | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Core Libraries | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) * milestone: 7.12.1 => ⊥ Comment: Acknowledging that this probably won't get addressed in the foreseeable future by pushing it out to _|_. Given that the two strings would have to be legal UTF-32 encodings of text that can actually be entered you wind up with a '''huge''' number of fixed bits in the strings on either side, which very quickly raises the cost of an attempted birthday attack and also forbids a number of birthday attack generation techniques. That said, saying a cryptographic attack isn't possible for hand-wavy reasons doesn't have a great track record for success. :) Techniques for finding small single block collisions via random walks, like https://eprint.iacr.org/2014/871.pdf are probably the most likely source of such a vulnerability. Notice how similar the colliding document pair are. In theory you could prune the walk to keep the paths always within the space of valid inputs. I lack a few weeks (months?) of HPC cluster time to test this hypothesis, however. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7634#comment:5> 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 22 Feb '15

22 Feb '15

#4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last -------------------------------------+------------------------------------- Reporter: sclv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #10107 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * related: => #10107 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4880#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7604: System.Directory.canonicalizePath "" behaviour differs between platforms
by GHC 22 Feb '15

22 Feb '15

#7604: System.Directory.canonicalizePath "" behaviour differs between platforms -------------------------------------+------------------------------------- Reporter: igloo | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Core Libraries | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: T4113 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) Comment: Pushed upstream: https://github.com/haskell/directory/issues/21 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7604#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0