February 2013 - ghc-tickets

Re: [GHC] #2354: NOINLINE pragma ignored
by GHC 15 Feb '13

15 Feb '13

#2354: NOINLINE pragma ignored -------------------------------+-------------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.9 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonpj): * status: patch => closed * resolution: => fixed Comment: I put it in `typecheck` in the end; `simplCore` doesn't have a `should_fail` group. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2354#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)
by GHC 15 Feb '13

15 Feb '13

#7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1) -------------------------------+-------------------------------------------- Reporter: AndreasVoellmy | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.6.3 Component: libraries/unix | Version: 7.4.1 Keywords: unix package | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by simonmar): * owner: => igloo * difficulty: => Unknown * priority: normal => highest * milestone: => 7.6.3 Comment: Ian, I think this is your area. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7692: ghci -ignore-package base lets the impossible happen
by GHC 15 Feb '13

15 Feb '13

#7692: ghci -ignore-package base lets the impossible happen -----------------------------+---------------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Obviously I am doing something bad here, but still GHC tells me to report this as a bug... {{{ $ ghci -ignore-package base GHCi, version 7.6.2: http://www.haskell.org/ghc/ :? for help ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): interactiveUI:setBuffering2 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7692> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)
by GHC 15 Feb '13

15 Feb '13

#7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1) ----------------------------+----------------------------------------------- Reporter: AndreasVoellmy | Owner: Type: bug | Status: new Priority: normal | Component: libraries/unix Version: 7.4.1 | Keywords: unix package Os: MacOS X | Architecture: x86_64 (amd64) Failure: Other | Testcase: Blockedby: | Blocking: Related: | ----------------------------+----------------------------------------------- Comment(by andykitchen): bump, unix-2.6.0.1 also fails to build. This breaks a lot of things for Haskell platform users. {{{ $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.2 $ gcc-mp-4.7 -v Using built-in specs. COLLECT_GCC=gcc-mp-4.7 COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin12/4.7.2 /lto-wrapper Target: x86_64-apple-darwin12 Configured with: ../gcc-4.7.2/configure --prefix=/opt/local --build=x86_64 -apple-darwin12 --enable-languages=c,c++,objc,obj-c++,lto,fortran,java --libdir=/opt/local/lib/gcc47 --includedir=/opt/local/include/gcc47 --infodir=/opt/local/share/info --mandir=/opt/local/share/man --datarootdir=/opt/local/share/gcc-4.7 --with-libiconv-prefix=/opt/local --with-local-prefix=/opt/local --with-system-zlib --disable-nls --program- suffix=-mp-4.7 --with-gxx-include-dir=/opt/local/include/gcc47/c++/ --with-gmp=/opt/local --with-mpfr=/opt/local --with-mpc=/opt/local --with- ppl=/opt/local --with-cloog=/opt/local --enable-cloog-backend=isl --disable-cloog-version-check --enable-stage1-checking --disable-multilib --enable-lto --enable-libstdcxx-time --with-as=/opt/local/bin/as --with- ld=/opt/local/bin/ld --with-ar=/opt/local/bin/ar --with- bugurl=https://trac.macports.org/newticket --disable-ppl-version-check --with-pkgversion='MacPorts gcc47 4.7.2_2' Thread model: posix gcc version 4.7.2 (MacPorts gcc47 4.7.2_2) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Feb '13

14 Feb '13

#4012: Compilation results are not deterministic -------------------------------+-------------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Difficulty: Difficult (2-5 days) Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by isaacdupree): * cc: id@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4012#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7645: Parens in an error message
by GHC 14 Feb '13

14 Feb '13

#7645: Parens in an error message -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: #7609 -----------------------------+---------------------------------------------- {{{ {-# LANGUAGE TypeOperators #-} data (+) a b f :: ((+) a a, Maybe) f = undefined }}} gives {{{ X.hs:3:16: Expecting one more argument to `Maybe' In the type signature for `f': f :: (+ a a, Maybe) }}} which should be `(+) a a`. I tried {{{ #!diff diff --git a/compiler/hsSyn/HsTypes.lhs b/compiler/hsSyn/HsTypes.lhs index 74aa477..d0d9e1a 100644 --- a/compiler/hsSyn/HsTypes.lhs +++ b/compiler/hsSyn/HsTypes.lhs @@ -614,7 +614,7 @@ ppr_mono_ty ctxt_prec (HsForAllTy exp tvs ctxt ty) ppr_mono_ty _ (HsBangTy b ty) = ppr b <> ppr_mono_lty pREC_CON ty ppr_mono_ty _ (HsQuasiQuoteTy qq) = ppr qq ppr_mono_ty _ (HsRecTy flds) = pprConDeclFields flds -ppr_mono_ty _ (HsTyVar name) = ppr name +ppr_mono_ty _ (HsTyVar name) = pprPrefixOcc name ppr_mono_ty prec (HsFunTy ty1 ty2) = ppr_fun_ty prec ty1 ty2 ppr_mono_ty _ (HsTupleTy con tys) = tupleParens std_con (interpp'SP tys) where std_con = case con of }}} but this causes the kind * to be printed as (*). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7645> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Feb '13

14 Feb '13

#4012: Compilation results are not deterministic -------------------------------+-------------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Difficulty: Difficult (2-5 days) Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by refold): * cc: the.dead.shall.rise@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4012#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7674: Separate StablePtr table from StableName table.
by GHC 14 Feb '13

14 Feb '13

#7674: Separate StablePtr table from StableName table. -----------------------------+---------------------------------------------- Reporter: EyalLotem | Owner: EyalLotem Type: task | Status: new Priority: normal | Component: Runtime System Version: 7.6.2 | Keywords: rts stable_ptr stable_name performance Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Currently, there is one table for these two difference concepts which makes each one of them less efficient. The patches that address this improve some benchmarks' performance by a factor of ~3. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7674> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

Re: [GHC] #876: Length is not a good consumer
by GHC 14 Feb '13

14 Feb '13

#876: Length is not a good consumer --------------------------------------+------------------------------------- Reporter: ariep@… | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: libraries/base | Version: 6.5 Resolution: fixed | Keywords: length Os: Linux | Architecture: Unknown/Multiple Failure: Runtime performance bug | Difficulty: Unknown Testcase: perf/should_run/T876 | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: list003 => perf/should_run/T876 * resolution: => fixed Comment: This patch to `GHC.List` makes `length` a good consumer, for what it's worth. The nofib numbers didn't budge. Simon {{{ commit 82f56e5a331f9bbd5c8afda9e8d8ad71059e934b Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Thu Feb 14 08:22:08 2013 +0000 Make 'length' into a good consumer, fixing Trac #876 Trac #876 is the oldest ticket I have fixed in a long time. I finally figured out how to make foldr behave in a non space-leaky way for length. Thanks to Andy for re-opening. >--------------------------------------------------------------- GHC/List.lhs | 23 ++++++++++++++++++----- 1 files changed, 18 insertions(+), 5 deletions(-) diff --git a/GHC/List.lhs b/GHC/List.lhs index 02d6965..049aa2a 100644 --- a/GHC/List.lhs +++ b/GHC/List.lhs @@ -114,12 +114,25 @@ null (_:_) = False -- | /O(n)/. 'length' returns the length of a finite list as an 'Int'. -- It is an instance of the more general 'Data.List.genericLength', -- the result type of which may be any kind of number. +{-# NOINLINE [1] length #-} length :: [a] -> Int -length l = len l 0# - where - len :: [a] -> Int# -> Int - len [] a# = I# a# - len (_:xs) a# = len xs (a# +# 1#) +length l = lenAcc l 0# + +lenAcc :: [a] -> Int# -> Int +lenAcc [] a# = I# a# +lenAcc (_:xs) a# = lenAcc xs (a# +# 1#) + +incLen :: a -> (Int# -> Int) -> Int# -> Int incLen _ g x = g (x +# 1#) + +-- These rules make length into a good consumer +-- Note that we use a higher-order-style use of foldr, so that +-- the accumulating parameter can be evaluated strictly +-- See Trac #876 for what goes wrong otherwise {-# RULES +"length" [~1] forall xs. length xs = foldr incLen I# xs 0# +"lengthList" [1] foldr incLen I# = lenAcc #-} -- | 'filter', applied to a predicate and a list, returns the list of -- those elements that satisfy the predicate; i.e., }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/876#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7649: BangPatterns + ViewPatterns
by GHC 13 Feb '13

13 Feb '13

#7649: BangPatterns + ViewPatterns ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ This program: {{{ {-# LANGUAGE ViewPatterns, BangPatterns #-} import Control.Exception main :: IO () main = do print (f False) print (f True) print (g undefined) `catchE` \_ -> putStrLn "g exception" print (h undefined) `catchE` \_ -> putStrLn "h exception" print (i undefined) `catchE` \_ -> putStrLn "i exception" putStrLn "Done" f :: Bool -> String f (view -> Nothing) = "Got Nothing" f (view -> Just x) = "Got Just " ++ show x g :: Bool -> String g (view -> x) = "g Got something" h :: Bool -> String h (view -> !x) = "h Got something" i :: Bool -> String i !(view -> x) = "i Got something" view :: Bool -> Maybe Int view False = Nothing view True = Just 5 catchE :: IO a -> (ErrorCall -> IO a) -> IO a catchE = catch }}} prints: {{{ "Got Nothing" "Got Just 5" "g Got something" "h exception "i Got something" Done }}} but presumably `i` ought to be strict in `x`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7649> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2