October 2013 - ghc-tickets

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 23 Oct '13

23 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"ba6308ece51fbd86f7a0281c223dc49c2f73531a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ba6308ece51fbd86f7a0281c223dc49c2f73531a" Refine fix for #7667. Now, we allow types that do not begin with ':', but we retain other checks on variable names. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[]
by GHC 23 Oct '13

23 Oct '13

#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] -------------------------------------+------------------------------------- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Linux Keywords: | Type of failure: Compile-time Architecture: x86_64 (amd64) | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The following crashes in 7.4.2, 7.6.3, 7.7: {{{ {-# LANGUAGE RecordWildCards #-} data R = R {r :: Int} f x = undefined [] {r = x} main = return () }}} with the message: {{{ ~/$ ghc --make tycon_panic.hs [1 of 1] Compiling Main ( tycon_panic.hs, tycon_panic.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): find_tycon ghc-prim:GHC.Types.[]{(w) d 6m} [] }}} Instead it should signal a type error (as it does with no RecordWildCards). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8470: "Fix" spurious Unused do-bind warnings
by GHC 23 Oct '13

23 Oct '13

#8470: "Fix" spurious Unused do-bind warnings ------------------------------------+------------------------------------- Reporter: 2piix | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | 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: | ------------------------------------+------------------------------------- I've been writing a lot of monadic code with side effects, and I'm getting a lot of unused do-bind warnings. In particular, consider the contrived example: {{{ performSideEffect :: IO () preformSideEffect = return () someComplicatedIOAction :: a -> IO () someComplicatedIOAction a = do a <- getA performSideEffect putStrLn . show $ a }}} The call to performSideEffect triggers the unused do-bind warning. I can appreciate that we're not binding result of performSideEffect, but we know, by virtue of the type () being a singleton, that there is nothing we can do with the the result. So it "really" doesn't make sense to pull anything out of the action. Fixing the warning with _ <- performSideEffect just adds noise. Would it be possible to turn off the warning in the case that the monad action returns (), or maybe even other singleton types? I'm guessing the latter is harder, and I'd be happy to settle for just (). I don't know enough about GHC's internals to evaluate how hard either would be, though. I know about -fno-warn-unused-do-bind, but it is inconvenient to use in a project that uses -Wall in the Cabal file, which a fairly popular web application framework uses. Even still, catching the legitimate unused do-binds while eliminating these spurious ones would be a nice, noise- lowering addition. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8470> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8397: reify annotations in TH
by GHC 22 Oct '13

22 Oct '13

#8397: reify annotations in TH -------------------------------------------+------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: 7867 -------------------------------------------+------------------------------- For the use-case detailed in #7867, this patch adds annotation reification to TH. This may be useful as a simpler approach for other cases too, where the whole power GHC API is not needed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8397> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7991: stm: add mkWeakTVar
by GHC 22 Oct '13

22 Oct '13

#7991: stm: add mkWeakTVar --------------------------------------+------------------------------------ Reporter: errge | Owner: simonmar Type: feature request | Status: patch Priority: highest | Milestone: 7.8.1 Component: libraries (other) | Version: 7.6.3 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 errge): Sorry, I broke the link in the description by deleting the pull request repository. Here is an updated link: https://github.com/Gabriel439/Haskell-Pipes-Concurrency- Library/blob/master/src/Pipes/Concurrent.hs#L211 The only reason why Tekmo is doing unsafeIOToSTM here is because there is no mkWeakTVar. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7991#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

22 Oct '13

#5987: Too many symbols in ghc package DLL -------------------------------------+------------------------------------ Reporter: igloo | Owner: thoughtpolice 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: -------------------------------------+------------------------------------ Comment (by tomberek): {{{ # Now check that the DLL doesn't have too many symbols. See trac #5987. SYMBOLS=`c:/Haskell/ghc/inplace/mingw/bin/objdump.exe -p compiler/stage2/build/l ibHSghc-7.7.20131018-0-ghc7.7.20131018.dll | sed -n "1,/^.Ordinal\/Name Pointer/ D; p; /^$/ q" | tail -n +2 | wc -l`; echo "Number of symbols in compiler/stage2 /build/libHSghc-7.7.20131018-0-ghc7.7.20131018.dll: $SYMBOLS" Number of symbols in compiler/stage2/build/libHSghc-7.7.20131018-0-ghc7.7.201310 18.dll: 70721 case `c:/Haskell/ghc/inplace/mingw/bin/objdump.exe -p compiler/stage2/build/libH Sghc-7.7.20131018-0-ghc7.7.20131018.dll | sed -n "1,/^.Ordinal\/Name Pointer/ D; p; /^$/ q" | grep "\[ *0\]" | wc -l` in 1) echo DLL compiler/stage2/build/libHS ghc-7.7.20131018-0-ghc7.7.20131018.dll OK;; 0) echo No symbols in DLL compiler/s tage2/build/libHSghc-7.7.20131018-0-ghc7.7.20131018.dll; exit 1;; [0-9]*) echo T oo many symbols in DLL compiler/stage2/build/libHSghc-7.7.20131018-0-ghc7.7.2013 1018.dll; c:/Haskell/ghc/inplace/mingw/bin/objdump.exe -p compiler/stage2/build/ libHSghc-7.7.20131018-0-ghc7.7.20131018.dll | sed -n "1,/^.Ordinal\/Name Pointer / D; p; /^$/ q" | tail; exit 1;; *) echo bad DLL compiler/stage2/build/libHSghc- 7.7.20131018-0-ghc7.7.20131018.dll; exit 1;; esac Too many symbols in DLL compiler/stage2/build/libHSghc-7.7.20131018-0-ghc7.7.201 31018.dll [5176] ghczm7zi7zi20131018_Var_zdfUniquableVar_closure [5177] ghczm7zi7zi20131018_Var_zdfUniquableVar_info [5178] ghczm7zi7zi20131018_Var_zdwsetVarUnique_closure [5179] ghczm7zi7zi20131018_Var_zdwsetVarUnique_info [5180] ghczm7zi7zi20131018_Var_zdwupdateTyVarKindM_closure [5181] ghczm7zi7zi20131018_Var_zdwupdateTyVarKindM_info [5182] ghczm7zi7zi20131018_Var_zdwzdcgmapMp_closure [5183] ghczm7zi7zi20131018_Var_zdwzdcgmapMp_info [5184] setHeapSize make[1]: *** [compiler/stage2/build/libHSghc-7.7.20131018-0-ghc7.7.20131018.dll] Error 1 make[1]: *** Deleting file `compiler/stage2/build/libHSghc-7.7.20131018-0-ghc7.7 .20131018.dll' make: *** [all] Error 2 }}} Windows 7, MSYS, ld 2.23.2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5987#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8459: Role of TExp
by GHC 22 Oct '13

22 Oct '13

#8459: Role of TExp -------------------------------------------+------------------------------- Reporter: monoidal | Owner: monoidal Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.7 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: -------------------------------------------+------------------------------- We've got `type role TExp phantom` where `TExp` is typed TH expression. As far as I understand, it should be representational, like `Ptr` is. I will change it soon unless someone objects. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8459> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7991: stm: add mkWeakTVar
by GHC 22 Oct '13

22 Oct '13

#7991: stm: add mkWeakTVar --------------------------------------+------------------------------------ Reporter: errge | Owner: simonmar Type: feature request | Status: patch Priority: highest | Milestone: 7.8.1 Component: libraries (other) | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Changes (by simonpj): * priority: normal => highest Comment: Simon M has approved, so I'll up the priority so Austin is sure to see it. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7991#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve'
by GHC 22 Oct '13

22 Oct '13

#7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve' ----------------------------+---------------------------------------------- Reporter: songpp | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: loadArchive Unknown PEi386 Operating System: Windows | Architecture: x86 Type of failure: GHCi | Difficulty: Unknown crash | Blocked By: 3658 Test Case: | Related Tickets: #2487, #7103, #7889 Blocking: | ----------------------------+---------------------------------------------- Changes (by nightski): * cc: nightski@…, hvr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7056#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7068: Extensive Memory usage (regression)
by GHC 22 Oct '13

22 Oct '13

#7068: Extensive Memory usage (regression) -------------------------------------------------+------------------------- Reporter: waldheinz | Owner: Type: bug | simonpj Priority: high | Status: new Component: Compiler | Milestone: 7.8.1 Resolution: | Version: 7.4.1 Operating System: Unknown/Multiple | Keywords: Type of failure: Compile-time performance bug | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by akio): * cc: tkn.akio@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7068#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0