August 2014 - ghc-tickets

Re: [GHC] #4471: Incorrect Unicode output on Windows Console
by GHC 23 Aug '14

23 Aug '14

#4471: Incorrect Unicode output on Windows Console -------------------------------------+------------------------------------- Reporter: sankeld | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Incorrect | Difficulty: Unknown result at runtime | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * cc: ryan.gl.scott@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4471#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 22 Aug '14

22 Aug '14

#1487: unix package: test needed for getLoginName -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: | Version: libraries/unix | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Easy (less than 1 Type of failure: Incorrect | hour) result at runtime | Blocked By: Test Case: | Related Tickets: #8293 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by ezyang): * owner: thomie => * status: closed => new * resolution: fixed => Comment: Hello, the test is still failing for me, using GHC HEAD and the latest version of unix: {{{ =====> user001(normal) 5 of 29 [0, 0, 0] cd . && '/5playpen/t-edyang/ghc-master/inplace/bin/ghc-stage2' -fforce- recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -o user001 user001.hs -package unix >user001.comp.stderr 2>&1 cd . && ./user001 >user001.run.stdout 2>user001.run.stderr Actual stdout output differs from expected: --- ./user001.stdout 2014-08-22 23:28:41.969906580 +0100 +++ ./user001.run.stdout 2014-08-23 00:33:07.631841764 +0100 @@ -3,11 +3,11 @@ getEffectiveUserID: OK getEffectiveGroupID: OK getGroups: OK -getLoginName: OK +getLoginName: ERROR: getLoginName: does not exist (No such file or directory) getEffectiveUserName: OK getGroupEntryForID: OK getGroupEntryForName: OK getAllGroupEntries: OK getUserEntryForID: OK -getUserEntryForName: OK +getUserEntryForName: ERROR: getLoginName: does not exist (No such file or directory) getAllUserEntries: OK *** unexpected failure for user001(normal) Unexpected results from: TEST="user001" }}} On my box, running the following C program in terminal returns null: {{{ #include <stdio.h> #include <unistd.h> int main() { printf("%p\n", getlogin()); } }}} This StackOverflow post suggests that getlogin works quite unreliably: http://stackoverflow.com/questions/4785126/getlogin-c-function-returns- null-and-error-no-such-file-or-directory -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1487#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7206: Implement cheap build
by GHC 22 Aug '14

22 Aug '14

#7206: Implement cheap build -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dfeuer): Even more kinds of producers makes for even more fusion rules. If we decide to rewrite ''all'' consumers to `foldr`, I suppose that then opens up the possibility of having multiple producers instead, but expanding on both ends makes for a rule explosion. I'm also trying, on and off, to see if we can get away with writing all these enumerations using `unfoldr` or similar; I'm not sure how these ideas interact. An idea that might be crazy: introduce a local annotation indicating that a certain function should be treated as `CONLIKE` at a particular call site. So then you'd have just `{-# CHEAP #-} build blah` and leave the fusion rules alone. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7379: rangeTest test fails on Windows
by GHC 22 Aug '14

22 Aug '14

#7379: rangeTest test fails on Windows -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: | Version: 7.6.1 libraries/random | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: upstream => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7379#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4218: System.Random is way too lazy
by GHC 22 Aug '14

22 Aug '14

#4218: System.Random is way too lazy -------------------------------------+------------------------------------- Reporter: EyalLotem | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: | Version: 6.12.3 libraries/random | Keywords: random stack Resolution: fixed | overflow Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: 427, 7936 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: upstream => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4218#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9503: Cross compiling with mingw uses wrong gcc
by GHC 22 Aug '14

22 Aug '14

#9503: Cross compiling with mingw uses wrong gcc -------------------------------------+------------------------------------- Reporter: Kritzefitz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.8.3 Keywords: Cross compiling | Operating System: Linux Architecture: x86 | Type of failure: Building Difficulty: Unknown | GHC failed Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Greetings, I tried to cross compile a cross compiler ghc on Debian jessie Linux/GNU i386. I configured with "./configure --target=x86_64-w64-mingw32" (log attached). The configure script runs and then wants to use the native gcc (/usr/bin/gcc) instead of the mingw one (/usr/bin//usr/bin/x86_64-w64-mingw32-gcc). Thus the mingw headers (in /usr/x86_64-w64-mingw32/include/) aren't found, which leads to errors during compiling (relevant part attached). Regards Sven -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9503> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7015: Add support for 'static'
by GHC 22 Aug '14

22 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by facundo.dominguez): Forbidding polymorphic types in the static form makes it less obvious defining a combinator like the following: {{{ staticCompose :: Static (b -> c) -> Static (a -> b) -> Static (a -> c) staticCompose sf sg = staticLabel (static (.)) `staticApply` sf `staticApply` sg }}} This is actually defined in the version of distributed-static in hackage: {{{ composeStatic :: (Typeable a, Typeable b, Typeable c) => Static ((b -> c) -> (a -> b) -> a -> c) composeStatic = staticLabel "$compose" staticCompose :: (Typeable a, Typeable b, Typeable c) => Static (b -> c) -> Static (a -> b) -> Static (a -> c) staticCompose g f = composeStatic `staticApply` g `staticApply` f }}} It doesn't mean that we can't live with the restriction, but we will have to figure out the impact upwards before committing, I guess. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 22 Aug '14

22 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by edsko): One thing I was wondering about: clearly, solving the general problem of impredicativity would take us way off too far here; but if the type checker ''knows'' about static, just like, say, it knows about ADTs, then perhaps it wouldn't be too difficult to support things like `static (forall a. a -> a)`, just like it supports universally quantified types as arguments to ADT constructors? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 22 Aug '14

22 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by simonpj): Edsko my remark about a "hack" was not intended as a criticism. Of course, if GHC is inadequate you must hack around its shortcomings. My intent was solely this: let's not enshrine a temporary hack into the design of the language that GHC implements. There are two things going on in this ticket: * What should be the specification of the feature that GHC implements? I think we are agreeing that: the argument of `static` should have no free type variables. Let's put that into the spec.[[BR]][[BR]] That leaves open the question of adding an impredicative-like feature, the ability to have terms of type `Static (forall a. [a] -> [a])`, which make perfect sense, have no free type variables, but which are disallowed at present. * Given the above restriction, and the absence of the impredicative support, how can we hack around the restriction to get something like polymorphism. This is the `Any` discussion on #9429. Even lacking a fix for poly-kinded `Any`, it's not a disaster because for any particular kind we can always do the job; it's just a bit inelegant. If we agree about these things, perhaps you can update the wiki page as above and we can go from there. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9501: test
by GHC 22 Aug '14

22 Aug '14

#9501: test -------------------------------------+------------------------------------- Reporter: kfrdbs | 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: -------------------------------------+------------------------------------- test -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9501> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1