- ghc-tickets - Haskell.org

Re: [GHC] #5797: readRawBufferPtr cannot be interrupted by exception on Windows with -threaded
by GHC 20 Aug '18

20 Aug '18

#5797: readRawBufferPtr cannot be interrupted by exception on Windows with -threaded -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Core Libraries | Version: 7.2.2 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Incorrect result | Test Case: at runtime | Blocked By: | Blocking: Related Tickets: #11394 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * related: => #11394 * milestone: ⊥ => 8.8.1 Comment: Will also require patches to network. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5797#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

20 Aug '18

#4471: Incorrect Unicode output on Windows Console -------------------------------------+------------------------------------- Reporter: sankeld | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Incorrect result | Test Case: at runtime | Blocked By: 11394 | Blocking: Related Tickets: #11394 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * blockedby: => 11394 * milestone: => 8.8.1 Comment: Fixed in new I/O manager. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4471#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3081: Double output after Ctrl+C on Windows
by GHC 20 Aug '18

20 Aug '18

#3081: Double output after Ctrl+C on Windows -----------------------------------+------------------------------ Reporter: NeilMitchell | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 6.10.1 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11394 | Differential Rev(s): Wiki Page: | -----------------------------------+------------------------------ Changes (by Phyx-): * related: => #11394 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3081#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2408: threadWaitRead on mingw32 threaded causes internal error
by GHC 20 Aug '18

20 Aug '18

#2408: threadWaitRead on mingw32 threaded causes internal error -----------------------------------+----------------------------- Reporter: kirby | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Core Libraries | Version: 7.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Runtime crash | Test Case: Blocked By: 11394 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+----------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * blockedby: => 11394 * milestone: => 8.8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2408#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2189: hSetBuffering stdin NoBuffering doesn't work on Windows
by GHC 20 Aug '18

20 Aug '18

#2189: hSetBuffering stdin NoBuffering doesn't work on Windows -------------------------------------+------------------------------------- Reporter: FalconNL | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Core Libraries | Version: 6.8.2 Resolution: | Keywords: hsetbuffering | buffering buffer Operating System: Windows | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: 11394 | Blocking: Related Tickets: #11394, #13440 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * blockedby: => 11394 * milestone: => 8.8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2189#comment:54> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #806: hGetBufNonBlocking doesn't work on Windows
by GHC 20 Aug '18

20 Aug '18

#806: hGetBufNonBlocking doesn't work on Windows -----------------------------------+---------------------------------- Reporter: titto@… | Owner: Phyx- Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Core Libraries | Version: 6.4.2 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Runtime crash | Test Case: hGetBuf001 Blocked By: 11394 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+---------------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * blockedby: => 11394 * milestone: ⊥ => 8.8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/806#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15443: ghc panic when running GI.init on intero REPL
by GHC 20 Aug '18

20 Aug '18

#15443: ghc panic when running GI.init on intero REPL --------------------------------------+------------------------------- Reporter: esclerofilo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+------------------------------- I cloned the [https://github.com/haskell-gi/gi-gtk-examples] repo to learn to use gi-gtk, deleted all version numbers in the .cabal file to make it build with the latest stack resolver (lts-12.2) and then opened ButtonBox.hs in emacs (spacemacs) with intero, opened the intero repl (without actually loading the buffer into the repl*) and what happened follows: {{{ Starting: stack ghci --with-ghc ghci "--docker-run-args=--interactive=true --tty=false" --no-build --no-load gi-gtk-examples GHCi, version 8.4.3: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/vicente/Escritorio/gi-gtk-examples /.stack-work/intero/intero-scriptBbJ8Bq λ import qualified GI.Gtk as GI (main, init) λ GI.init Nothing ghc: panic! (the 'impossible' happened) (GHC version 8.4.3 for x86_64-unknown-linux): nameModule system $dShow_a8qH Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/basicTypes/Name.hs:241:3 in ghc:Name Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} the contents of {{{/home/vicente/Escritorio/gi-gtk-examples/.stack- work/intero/intero-scriptBbJ8Bq}}} are: {{{ :set prompt "" :set -fbyte-code :set -fdefer-type-errors :set -fdiagnostics-color=never :set prompt "\4 " }}} Note: It happens on a terminal ghci invocation too, given the same parameters and configuration. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15443> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15538: GHC boot script can't handle Git origin not named origin
by GHC 19 Aug '18

19 Aug '18

#15538: GHC boot script can't handle Git origin not named origin -------------------------------------+------------------------------------- Reporter: ChaiTRex | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Build System | Version: Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- == Problem I ran the following to get the sources for GHC to build them: {{{ git clone -o ghc --recursive http://git.haskell.org/ghc.git }}} Note especially the `-o ghc` part, which uses the Git origin name `ghc` instead of the default `origin`. When a custom origin name is used, `./boot` fails: {{{ $ ./boot Traceback (most recent call last): File "./boot", line 193, in <module> check_for_url_rewrites() File "./boot", line 29, in check_for_url_rewrites subprocess.check_output('git config remote.origin.url'.split()).find(b'github.com') != -1 and \ File "/usr/lib/python3.5/subprocess.py", line 626, in check_output **kwargs).stdout File "/usr/lib/python3.5/subprocess.py", line 708, in run output=stdout, stderr=stderr) subprocess.CalledProcessError: Command '['git', 'config', 'remote.origin.url']' returned non-zero exit status 1 $ git config remote.origin.url $ echo $? 1 }}} == Solution To get the URL of the proper origin name, `git config branch.master.remote` can be used to get the origin name to use to get the URL: {{{ $ git config "remote.$( git config branch.master.remote ).url" http://git.haskell.org/ghc.git }}} == Workaround Rename the origin to `origin`: {{{ $ git remote rename "$( git config branch.master.remote )" origin $ ./boot Creating libraries/mtl/ghc.mk Creating libraries/unix/ghc.mk Creating libraries/text/ghc.mk ⋮ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15538> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #15536: Unify unlifted pointer equality primitives
by GHC 19 Aug '18

19 Aug '18

#15536: Unify unlifted pointer equality primitives -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- We have a bunch of different primops to test pointer equality between various unlifted pointer types (`MutableArray#`, `MutVar#`, etc.). Now that we have the necessary type machinery, I believe we should be able to get away with just one: {{{#!hs unliftedPtrEquality# :: forall (a :: TYPE 'UnliftedRep). a -> a -> Int# }}} All the rest can then be defined as regular functions in `GHC.Exts` or some such. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15536> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9441: Merge identical top-level expressions following simplification when it is safe to do so
by GHC 19 Aug '18

19 Aug '18

#9441: Merge identical top-level expressions following simplification when it is safe to do so -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: feature request | 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: -------------------------------------+------------------------------------- If I redefine {{{#!hs {-# INLINE reverse #-} reverse :: [a] -> [a] reverse xs = build $ \c n -> foldl (\a x -> x `c` a) n xs }}} and then write a couple test cases: {{{#!hs appRev xs ys = xs ++ reverse ys revAppRev xs ys = reverse xs ++ reverse ys }}} I end up getting some rather annoying code duplication (lots of stuff omitted from the following): {{{#!hs Rec { poly_go_r2v3 poly_go_r2v3 = \ @ a_a2nF ds_a2zc eta_Xl -> case ds_a2zc of _ { [] -> eta_Xl; : y_a2zh ys_a2zi -> poly_go_r2v3 ys_a2zi (: y_a2zh eta_Xl) } end Rec } reverse reverse = \ @ a_a2nF eta_B1 -> poly_go_r2v3 eta_B1 ([]) Rec { revAppRev2 revAppRev2 = \ @ a_a2y7 ds_a2zc eta_B1 -> case ds_a2zc of _ { [] -> eta_B1; : y_a2zh ys_a2zi -> revAppRev2 ys_a2zi (: y_a2zh eta_B1) } end Rec } Rec { revAppRev1 revAppRev1 = \ @ a_a2y7 ds_a2zc eta_B1 -> case ds_a2zc of _ { [] -> eta_B1; : y_a2zh ys_a2zi -> revAppRev1 ys_a2zi (: y_a2zh eta_B1) } end Rec } Rec { appRev1 appRev1 = \ @ a_a2xE ds_a2zc eta_B1 -> case ds_a2zc of _ { [] -> eta_B1; : y_a2zh ys_a2zi -> appRev1 ys_a2zi (: y_a2zh eta_B1) } end Rec } }}} The `reverse` function was inlined three times. In each case, there was no fusion, so `build` was inlined and the resulting copy of the `reverse` worker lifted to the top level. It would seem to me that once simplification is complete, it should be safe to merge all these copies into one. They are all `Rec {\ ... -> ...}` forms, so I don't think this has any potential to introduce undesirable sharing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9441> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14