- ghc-tickets - Haskell.org

[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

[GHC] #8205: the 'impossible' happened : expectJust block_order
by GHC 22 Oct '13

22 Oct '13

#8205: the 'impossible' happened : expectJust block_order -----------------------------+---------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+---------------------------------------- Currently at commit 7e91e5bf84c2b3f461934b43911c0defb61dd9c6 and this was not failing to build 2 days ago. Compiling results in: {{{ "inplace/bin/ghc-stage1" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -Werror -Wall -H64m -O0 -hide-all-packages -i -iutils/hpc/. -iutils/hpc/dist-install/build -iutils/hpc/dist-install/build/autogen -Iutils/hpc/dist-install/build -Iutils/hpc/dist-install/build/autogen -optP-include -optPutils/hpc/dist-install/build/autogen/cabal_macros.h -package array-0.4.0.2 -package base-4.7.0.0 -package containers-0.5.2.1 -package directory-1.2.0.1 -package hpc-0.6.0.1 -XHaskell98 -XCPP -no-user-package-db -rtsopts -fwarn-tabs -odir utils/hpc/dist- install/build -hidir utils/hpc/dist-install/build -stubdir utils/hpc/dist- install/build -c utils/hpc/dist-install/build/HpcParser.hs -o utils/hpc/dist-install/build/HpcParser.dyn_o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130830 for powerpc64-unknown-linux): expectJust block_order }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8205> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 39

[GHC] #8464: ghc -C crashes on Hello World
by GHC 21 Oct '13

21 Oct '13

#8464: ghc -C crashes on Hello World ----------------------------------+--------------------------------------- Reporter: ygramoel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- johan@morla:~/haskell\> cat hello.hs main = putStrLn "Hello, World!" johan@morla:~/haskell\> ghc -C hello.hs addFlag by -C on the commandline: Warning: The -fvia-C flag does nothing; it will be removed in a future GHC release ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): pipeLoop: at phase As but I wanted to stop at phase HCc Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8464> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6