- ghc-tickets - Haskell.org

[GHC] #12924: Pattern Synonyms in Typeclasses
by GHC 05 Dec '16

05 Dec '16

#12924: Pattern Synonyms in Typeclasses -------------------------------------+------------------------------------- Reporter: xcmw | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: pattern | Operating System: Unknown/Multiple synonym type class | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs data A t where AX :: A X AY :: A Y AZ :: A Z class HasX a where data pattern X :: a X instance HasX A where data pattern X = AX d :: A t -> String d = \case X -> "" AY -> "" AZ -> "" }}} The above example should compile and emit no warnings with -fwarn- incomplete-patterns. Would require https://ghc.haskell.org/trac/ghc/ticket/8779 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12924> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #12141: Testsuite failures when GHC is built with 'quickest' profile
by GHC 03 Dec '16

03 Dec '16

#12141: Testsuite failures when GHC is built with 'quickest' profile -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- After building GHC HEAD with the `quickest` setting and running 'make test', here is the testsuite failures (I've included the perf-related tests' for completeness's sake, although they're probably spurious): {{{ Unexpected results from: TEST="T10083 T8848 linker_unload debug T4930 HyperStrUse integerConstantFolding T9938 T3717 break011 T9938B T7796 break013 T8639_api spec-inline T9220 T4306 T8628 T5623 T7360 T10694 T6056 AmapCoerce T7837 T4018 IntegerConversionRules prog001 T11195 T10482 break024 T9881 EvalTest T4007 UnsatFun T3055 T3234 T4908 T7865 T5327 T8832 dynCompileExpr ghci004 T7116 ghci006 T8598 T2110 tcfail072 ghci025 T10482a T10508_api T3772 T10830 T9872d T4830 T9872a T9872b T9872c T9233 T9020 InlineByteArrayAlloc T5536 T5949 T7954 lazy-bs-alloc T5321Fun T3064 parsing001 T4801 T5030 T5642 T3924 Conversions T5237 T876 T5549 T9848 T7619 T5631 T9203 T8766 T3294 InlineCloneArrayAlloc T4334 MethSharing T7257 InlineArrayAlloc T5205 T3586 T10547 T783 T6048 T4474a T4474c T4474b T9675 T3738 T5113 T5321FD T5837 T4029 T9339 T10359 T7797 T9961 T4978 T1969 T4267 space_leak_001" OVERALL SUMMARY for test run started at Wed Jun 1 18:03:49 2016 EDT 0:15:57 spent to go through 5174 total tests, which gave rise to 16207 test cases, of which 10987 were skipped 71 had missing libraries 4925 expected passes 116 expected failures 0 caused framework failures 1 unexpected passes 51 unexpected failures 56 unexpected stat failures Unexpected passes: /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T10083 T10083 (normal) Unexpected failures: /tmp/ghctest/_iBKeQ/1/2/3/../../libraries/array/tests/T9220 T9220 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./codeGen/should_compile/debug debug [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./driver/T9938 T9938 [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./driver/T9938B T9938B [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./ghc-api/T10508_api T10508_api [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./ghc-api/T8628 T8628 [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./ghc-api/T8639_api T8639_api [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./ghc-api/dynCompileExpr/dynCompileExpr dynCompileExpr [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./ghci.debugger/scripts/break011 break011 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./ghci.debugger/scripts/break013 break013 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./ghci.debugger/scripts/break024 break024 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./ghci/prog001/prog001 prog001 [bad exit code] (ghci-ext) /tmp/ghctest/_iBKeQ/1/2/3/./ghci/scripts/T9881 T9881 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./ghci/scripts/ghci004 ghci004 [bad exit code] (ghci-ext) /tmp/ghctest/_iBKeQ/1/2/3/./ghci/scripts/ghci006 ghci006 [bad exit code] (ghci-ext) /tmp/ghctest/_iBKeQ/1/2/3/./ghci/scripts/ghci025 ghci025 [bad stdout] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./indexed-types/should_compile/T7837 T7837 [stderr mismatch] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./lib/integer/IntegerConversionRules IntegerConversionRules [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./lib/integer/integerConstantFolding integerConstantFolding [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./numeric/should_compile/T7116 T7116 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T4007 T4007 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/space_leaks/T4018 T4018 [bad exit code] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./pmcheck/should_compile/T11195 T11195 [exit code non-0] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./rts/linker_unload linker_unload [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/EvalTest EvalTest [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T3055 T3055 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T3234 T3234 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T3717 T3717 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T3772 T3772 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T4306 T4306 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T4908 T4908 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T4930 T4930 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T5327 T5327 [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T5623 T5623 [bad exit code] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T6056 T6056 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T7360 T7360 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T7796 T7796 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T7865 T7865 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T8832 T8832 [bad stdout] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/T8848 T8848 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_compile/spec-inline spec-inline [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_run/AmapCoerce AmapCoerce [bad stdout] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_run/T10830 T10830 [bad exit code] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./simplCore/should_run/T2110 T2110 [bad stdout] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/should_compile/T10482 T10482 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/should_compile/T10482a T10482a [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/should_compile/T10694 T10694 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/sigs/HyperStrUse HyperStrUse [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/sigs/T8598 T8598 [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./stranal/sigs/UnsatFun UnsatFun [stderr mismatch] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./typecheck/should_fail/tcfail072 tcfail072 [stderr mismatch] (normal) Unexpected stat failures: /tmp/ghctest/_iBKeQ/1/2/3/../../libraries/base/tests/T8766 T8766 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/../../libraries/base/tests/T9848 T9848 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./callarity/perf/T3924 T3924 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T10547 T10547 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T1969 T1969 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T3064 T3064 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T3294 T3294 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T4801 T4801 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5030 T5030 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5321FD T5321FD [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5321Fun T5321Fun [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5631 T5631 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5642 T5642 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T5837 T5837 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T6048 T6048 [stat not good enough] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T783 T783 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9020 T9020 [stat not good enough] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9233 T9233 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9675 T9675 [stat not good enough] (optasm) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9872a T9872a [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9872b T9872b [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9872c T9872c [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9872d T9872d [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/T9961 T9961 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/compiler/parsing001 parsing001 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/Conversions Conversions [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/InlineArrayAlloc InlineArrayAlloc [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/InlineByteArrayAlloc InlineByteArrayAlloc [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/InlineCloneArrayAlloc InlineCloneArrayAlloc [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/MethSharing MethSharing [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T10359 T10359 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T3586 T3586 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T3738 T3738 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4267 T4267 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4474a T4474a [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4474b T4474b [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4474c T4474c [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4830 T4830 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T4978 T4978 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5113 T5113 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5205 T5205 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5237 T5237 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5536 T5536 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5549 T5549 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T5949 T5949 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T7257 T7257 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T7619 T7619 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T7797 T7797 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T7954 T7954 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T876 T876 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T9203 T9203 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/T9339 T9339 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/should_run/lazy-bs-alloc lazy-bs-alloc [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/space_leaks/T4029 T4029 [stat too good] (ghci) /tmp/ghctest/_iBKeQ/1/2/3/./perf/space_leaks/T4334 T4334 [stat not good enough] (normal) /tmp/ghctest/_iBKeQ/1/2/3/./perf/space_leaks/space_leak_001 space_leak_001 [stat not good enough] (normal) }}} I can't reproduce these issues when testing with GHC built with the `quick` setting. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12141> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12916: GHC 8.0.1 vs GHC HEAD (8.1.20161202) doesn't do inlining and unboxing very well
by GHC 03 Dec '16

03 Dec '16

#12916: GHC 8.0.1 vs GHC HEAD (8.1.20161202) doesn't do inlining and unboxing very well -------------------------------------+------------------------------------- Reporter: alexbiehl | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Comparing the core output for a small program of mine I found that GHC HEAD produced binary runs 26x slower than with GHC 8.0.1. I have uploaded an example: https://gist.github.com/alexbiehl/0a1b5016223e00ae79a1399176e14eef The following is the output for the empResult function. We can see that GHC 8.0.1 nicely unboxed the accumulator in the loop. While GHC HEAD uses boxed values all over the place and doesn't even do dictionary inlining. For GHC 8.0.1 it produces: {{{#!hs -- RHS size: {terms: 175, types: 184, coercions: 4} $wempResult :: IO (Maybe (Vector ColValue)) -> State# RealWorld -> (# State# RealWorld, Either Error Int #) $wempResult = \ (ww :: IO (Maybe (Vector ColValue))) (w :: State# RealWorld) -> letrec { $sloop :: State# RealWorld -> Int# -> (# State# RealWorld, Either Error Int #) $sloop = \ (sc :: State# RealWorld) (sc1 :: Int#) -> case (ww `cast` ...) sc of _ { (# ipv, ipv1 #) -> case ipv1 of _ { Nothing -> (# ipv, Right (I# sc1) #); Just a -> case length $fVectorVectora a of _ { I# y -> case y of _ { __DEFAULT -> (# ipv, empResult2 #); 4# -> case a of _ { Vector dt dt1 dt2 -> let { $wsucc_ :: Int# -> State# RealWorld -> (# State# RealWorld, Either Error Int #) $wsucc_ = \ (ww1 :: Int#) (w1 :: State# RealWorld) -> let { $wsucc_1 :: Int# -> State# RealWorld -> (# State# RealWorld, Either Error Int #) $wsucc_1 = \ (ww2 :: Int#) (w2 :: State# RealWorld) -> case indexArray# dt2 (+# dt ww2) of _ { (# ipv2 #) -> case ipv2 of _ { __DEFAULT -> (# w2, empResult2 #); CV_Int8 dt4 -> case indexArray# dt2 (+# dt (+# ww2 1#)) of _ { (# ipv3 #) -> case ipv3 of _ { __DEFAULT -> (# w2, empResult2 #); CV_Text t -> $sloop w2 (+# sc1 1#) } }; CV_Int16 dt4 -> case indexArray# dt2 (+# dt (+# ww2 1#)) of _ { (# ipv3 #) -> case ipv3 of _ { __DEFAULT -> (# w2, empResult2 #); CV_Text t -> $sloop w2 (+# sc1 1#) } }; CV_Int32 dt4 -> case indexArray# dt2 (+# dt (+# ww2 1#)) of _ { (# ipv3 #) -> case ipv3 of _ { __DEFAULT -> (# w2, empResult2 #); CV_Text t -> $sloop w2 (+# sc1 1#) } } } } } in case indexArray# dt2 (+# dt ww1) of _ { (# ipv2 #) -> case ipv2 of _ { __DEFAULT -> (# w1, empResult2 #); CV_Int8 dt4 -> $wsucc_1 (+# ww1 1#) w1; CV_Int16 dt4 -> $wsucc_1 (+# ww1 1#) w1; CV_Int32 dt4 -> $wsucc_1 (+# ww1 1#) w1 } } } in case indexArray# dt2 dt of _ { (# ipv2 #) -> case ipv2 of _ { __DEFAULT -> (# ipv, empResult2 #); CV_Int8 dt4 -> $wsucc_ 1# ipv; CV_Int16 dt4 -> $wsucc_ 1# ipv; CV_Int32 dt4 -> $wsucc_ 1# ipv } } } } } } }; } in $sloop w 0# }}} and for GHC HEAD it produces {{{#!hs -- RHS size: {terms: 193, types: 182, coercions: 3} empResult :: Result Int empResult = case <$> $fFunctorRow $WEmp lvl19 of { Row dt fm -> case + $fNumInt (I# dt) lvl17 of dt1 { I# dt2 -> case + $fNumInt dt1 lvl17 of dt3 { I# dt4 -> case + $fNumInt dt3 lvl17 of dt5 { I# dt6 -> (\ (is :: InputStream (Vector ColValue)) -> let { lvl23 :: IO (Maybe (Vector ColValue)) lvl23 = case is of { InputStream ds1 ds2 -> ds1 } } in $! (letrec { loop :: Int -> IO (Either Error Int) loop = \ (s :: Int) -> let { lvl24 :: IO (Either Error Int) lvl24 = $! loop (+ $fNumInt s lvl17) } in let { lvl25 :: IO (Either Error Int) lvl25 = return $fMonadIO (Right s) } in >>= $fMonadIO lvl23 (\ (ma :: Maybe (Vector ColValue)) -> case ma of { Nothing -> lvl25; Just a -> case == $fEqInt dt5 (lvl13 a) of { False -> lvl21; True -> fm (\ _ (j :: Int) -> case a of { Vector dt7 dt8 dt9 -> case + $fNumInt (I# dt7) j of { I# i# -> let { $wsucc_ :: Int -> IO (Either Error Int) $wsucc_ = \ (w :: Int) -> case + $fNumInt (I# dt7) w of { I# i#1 -> case indexArray# dt9 i#1 of { (# ipv #) -> case ipv of { __DEFAULT -> lvl21; CV_Int8 dt10 -> case + $fNumInt (I# dt7) (+ $fNumInt w lvl17) of { I# i#2 -> case indexArray# dt9 i#2 of { (# ipv1 #) -> case ipv1 of { __DEFAULT -> lvl21; CV_Text t -> lvl24 } } }; CV_Int16 dt10 -> case + $fNumInt (I# dt7) (+ $fNumInt w lvl17) of { I# i#2 -> case indexArray# dt9 i#2 of { (# ipv1 #) -> case ipv1 of { __DEFAULT -> lvl21; CV_Text t -> lvl24 } } }; CV_Int32 dt10 -> case + $fNumInt (I# dt7) (+ $fNumInt w lvl17) of { I# i#2 -> case indexArray# dt9 i#2 of { (# ipv1 #) -> case ipv1 of { __DEFAULT -> lvl21; CV_Text t -> lvl24 } } } } } } } in case indexArray# dt9 i# of { (# ipv #) -> case ipv of { __DEFAULT -> lvl21; CV_Int8 dt10 -> $wsucc_ (+ $fNumInt j lvl17); CV_Int16 dt10 -> $wsucc_ (+ $fNumInt j lvl17); CV_Int32 dt10 -> $wsucc_ (+ $fNumInt j lvl17) } } } }) lvl22 a $fShowColValue2 } }); } in loop) $fShowColValue2) `cast` ... } } } } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12916> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #10812: High memory usage
by GHC 03 Dec '16

03 Dec '16

#10812: High memory usage -------------------------------------+------------------------------------- Reporter: danilo2 | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Hello, lets consider following program: {{{ {-# LANGUAGE NoMonomorphismRestriction #-} import System.Mem.Weak import Control.Concurrent import System.Mem data Tst a = Tst a deriving (Show, Eq) tst a = do let arr = [0 .. a*a*a] v = Tst (seq arr arr) ptr <- mkWeakPtr v Nothing return ptr main = do ptrs <- mapM tst [1..100000000] --performGC --performMajorGC --performMinorGC threadDelay 1000000 xr <- mapM deRefWeak ptrs print $ length $ filter (/= Nothing) xr threadDelay 5000000 return () }}} It simply creates 10 million of weak references to values of {{{Tst}}}. These weak pointers are returned in the main function. After that we sleep a second and ask how meany references are alive. I get the {{{0}}} as a result here - so everything seems ok - garbage collection worked. There is a problem though - somehow the memory was not released, because on the second 5-second sleep the program uses over 14 Gb of RAM on my computer. I'm compiling it simply with {{{ghc -O2 Main.hs}}}. I'm pretty sure this is a bug, because such behaviour is not expected I think. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10812> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #3399: Generalize the type of Data.List.{deleteBy, deleteFirstsBy}
by GHC 03 Dec '16

03 Dec '16

#3399: Generalize the type of Data.List.{deleteBy, deleteFirstsBy} -------------------------------------+------------------------------------- Reporter: iago | Owner: Type: proposal | Status: patch Priority: normal | Milestone: Component: libraries/base | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2526 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.2.1 => Comment: This won't happen for 8.2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3399#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12711: GHC Internal error, unboxed sums
by GHC 03 Dec '16

03 Dec '16

#12711: GHC Internal error, unboxed sums -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: UnboxedSums | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ $ ./ghc-stage2 -ignore-dot-ghci --interactive GHCi, version 8.1.20160930: http://www.haskell.org/ghc/ :? for help Prelude> :set -XUnboxedSums Prelude> :kind (# _ | _ #) <interactive>:1:4: error: • GHC internal error: ‘_’ is not in scope during type checking, but it passed the renamer tcl_env of environment: [] • In the type ‘(# _ | _ #)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12711> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12907: ExtendedDefaultRules-related regression in GHC 8.0.2
by GHC 03 Dec '16

03 Dec '16

#12907: ExtendedDefaultRules-related regression in GHC 8.0.2 -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.2 Component: Compiler | Version: 8.0.2-rc1 (Type checker) | 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: -------------------------------------+------------------------------------- Commit https://git.haskell.org/ghc.git/commit/9a34bf1985035858ece043bf38b47b6ff4b8… introduced a regression between GHC 8.0.1 and 8.0.2 regarding the behavior of `ExtendedDefaultRules`. In GHC 8.0.1, this program {{{#!hs module Bug where default (Bool) }}} would compile without issue. On GHC 8.0.2, however, it is rejected with this error message: {{{ $ /opt/ghc/8.0.2/bin/ghc Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:3:1: error: • The default type ‘Bool’ is not an instance of ‘Num’ • When checking the types in a default declaration }}} As a result, the `shelly` library now fails to compile with GHC 8.0.2 (see https://github.com/yesodweb/Shelly.hs/issues/130) A workaround is to explicitly enable `ExtendedDefaultRules` at the top of the module. Richard, do you understand what's going on here? I'm not sure if this is a real regression or just GHC being more particular (admittedly, I don't understand many of the intricacies of `ExtendedDefaultRules`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12907> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12844: No Skolem Info with PartialTypeSignatures
by GHC 03 Dec '16

03 Dec '16

#12844: No Skolem Info with PartialTypeSignatures -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The following program triggers a panic: {{{ {-# LANGUAGE DataKinds #-} {-# LANGUAGE PartialTypeSignatures #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} barWraper :: ('(r,r') ~ Head rngs, Foo rngs) => FooData rngs barWraper = bar bar :: (_) => FooData rngs bar = foo data FooData rngs class Foo xs where foo :: (Head xs ~ '(r,r')) => FooData xs type family Head (xs :: [k]) where Head (x ': xs) = x }}} {{{ > ghci NoSkolem.hs [1 of 1] Compiling Main ( NoSkolem.hs, NoSkolem.o ) NoSkolem.hs:8:13: error:ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): No skolem info: k_aYV[sk] }}} I haven't tested with 8.0.2 or head. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12844> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12881: GHC 8.0.2 regression involving OVERLAP annotations
by GHC 03 Dec '16

03 Dec '16

#12881: GHC 8.0.2 regression involving OVERLAP annotations -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.2-rc1 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: -------------------------------------+------------------------------------- `quickcheck-combinators-0.0.1` fails to build with GHC 8.0.2-rc1 (but does build with GHC 8.0.1) due to this issue. Here is a simplified example: {{{#!hs {-# LANGUAGE FlexibleInstances #-} module Bug where class Arbitrary a where shrink :: a -> [a] shrink _ = [] instance Arbitrary a instance Arbitrary Int }}} Is this expected? If so, we should make a note of this in the 8.0.2 release notes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12881> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #12917: Location info for error message with multiple source locations
by GHC 02 Dec '16

02 Dec '16

#12917: Location info for error message with multiple source locations -------------------------------------+------------------------------------- Reporter: gracjan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Currently: {{{ MonadFailErrors.hs:16:5: error: • Could not deduce (MonadFail m) arising from a do statement with the failable pattern ‘Just x’ from the context: Monad m bound by the type signature for: general :: Monad m => m a at MonadFailErrors.hs:14:1-25 }}} better: {{{ MonadFailErrors.hs:16:5: error: • Could not deduce (MonadFail m) arising from a do statement with the failable pattern ‘Just x’ from the context: Monad m bound by the type signature for: general :: Monad m => m a MonadFailErrors.hs:14:1-25: defined here }}} Rationale: Code editors (Emacs) react to file paths and line numbers in the first column and provide affordances, like go to file after clicking. Related work: Similar mechanism is used by VisualStudio C compiler, gcc, clang. All location information is put in front, so that jump to source code works reliably. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12917> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1