January 2016 - ghc-tickets

[GHC] #11415: Pandoc fails to build on 4 GB machine
by GHC 27 May '16

27 May '16

#11415: Pandoc fails to build on 4 GB machine -------------------------------------+------------------------------------- Reporter: pavolzetor | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.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: -------------------------------------+------------------------------------- I made an attempt to install pandoc on laptop with 4 GB RAM and GHC was killed by OS after using all RAM and swap space (512 MB). Output from 'emerge pandoc' http://lpaste.net/148881 I can tolerate slow compile times, however this bug makes it impossible to build some packages which is worse. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11415> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #10604: Make Generic1 kind polymorphic
by GHC 27 May '16

27 May '16

#10604: Make Generic1 kind polymorphic -------------------------------------+------------------------------------- Reporter: | Owner: ekmett DerekElkins | Status: new Type: feature | Milestone: request | Version: 7.10.1 Priority: low | Operating System: Unknown/Multiple Component: Core | Type of failure: None/Unknown Libraries | Blocked By: Keywords: | Related Tickets: Architecture: | Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It looks to me that the Generic1 class (and the Rep1 associated type) can immediately be generalized to forall k. k -> *. If k was instantiated to anything other than *, you wouldn't be able to make an instance for Par1, but then I don't think it would ever come up so that would be exactly the right behavior. This allows, in particular, DataKinds to be used as a parameter to instances of Generic1. I don't know if this would affect deriving, but I wouldn't really expect it to. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10604> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #9399: CPP does not process test case enum01.hs correctly
by GHC 25 May '16

25 May '16

#9399: CPP does not process test case enum01.hs correctly -------------------------------------+------------------------------------- Reporter: jrp | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.8.3 Keywords: cpp | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: GHC Difficulty: Unknown | rejects valid program Blocked By: | Test Case: enum01.hs Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The printTest cpp macro does not seem to be being applied in the test suite test enum01.hs (libraries/base) {{{ > ghci -cpp enum01.hs GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main ( enum01.hs, interpreted ) enum01.hs:91:3: Not in scope: ‘printTest’ enum01.hs:92:3: Not in scope: ‘printTest’ : }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9399> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #8914: Remove unnecessary constraints from MonadComprehensions and ParallelListComp
by GHC 25 May '16

25 May '16

#8914: Remove unnecessary constraints from MonadComprehensions and ParallelListComp -------------------------------------------+------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Difficult (2-5 days) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Many parts of MonadComprehensions don't actually require monads instance, the following could do with a `Functor` constraint {{{ fmapM :: Monad m => (a -> b) -> m a -> m b fmapM f xs = [ f x | x <- xs ] }}} and I don't see any reason why the class `MonadZip` (from [http://hackage.haskell.org/package/base-4.4.0.0/docs/Control-Monad- Zip.html Control.Monad.Zip]) requires a `Monad` constraint rather a `Functor` constraint: {{{ class Functor f => FunctorZip f where fzip :: f a -> f b -> f (a,b) fzip = fzipWith (,) fzipWith :: (a -> b -> c) -> f a -> f b -> f c fzipWith f fa fb = fmap (uncurry f) (fzip fa fb) funzip :: f (a,b) -> (f a, f b) funzip fab = (fmap fst fab, fmap snd fab) }}} with the laws {{{ fmap (f *** g) (fzip fa fb) = fzip (fmap f fa) (fmap g fb) fmap (const ()) fa = fmap (const ()) fb ==> funzip (fzip fa fb) = (fa, fb) }}} Same with `Applicative` (see ApplicativeDo): {{{ liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c liftA2 f a1 a2 = [ f x1 x2 | x1 <- a1, x2 <- a2 ] }}} The reason I bring this up is because I'm writing a DSL that uses length- indexed vectors whose `Functor` and `FunctorZip` instances are trivial but whose `Monad` instance is [http://stackoverflow.com/questions/5802628 /monad-instance-of-a-number-parameterised-vector complicated] and not need. This proposal shares a similar rationale as ApplicativeDo. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8914> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9526: Add missing Generic instances in base
by GHC 25 May '16

25 May '16

#9526: Add missing Generic instances in base -------------------------------------+------------------------------------- Reporter: nh2 | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less | Type of failure: than a day) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Most primitive types (`Int`, `Char`, etc.) have a GHC.Generics.Generic instance, but some are missing, such as `Integer` and the various `Word*` data types. We should consistently have instances for all primitive types offered by base, since they are required if you want to derive a Generic instance for any type that contains them. I boldly set the milestone to 7.10 because I naively assume this should be straightforward. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9526> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #10512: Generic instances missing for Int32, Word64 etc.
by GHC 25 May '16

25 May '16

#10512: Generic instances missing for Int32, Word64 etc. -------------------------------------+------------------------------------- Reporter: | Owner: ekmett andreas.abel | Status: new Type: feature | Milestone: request | Version: 7.10.1 Priority: normal | Operating System: Unknown/Multiple Component: Core | Type of failure: None/Unknown Libraries | Blocked By: Keywords: | Related Tickets: Architecture: | Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Some base types have Generic instances, like Integer, the machine-specific ones like Int32 have none. But these would be most useful when using generic Binary serialization. I think it makes sense to add Generic instances for *all* primitive types in base. I can define the instance myself, see https://github.com/agda/agda/commit/1d3710189989aced61be79c8e52945651fc94c0e {{{#!hs import GHC.Generics (Generic(..)) import qualified GHC.Generics as Gen data D_Int32 data C_Int32 instance Gen.Datatype D_Int32 where datatypeName _ = "Int32" moduleName _ = "GHC.Int32" -- packageName _ = "base" instance Gen.Constructor C_Int32 where conName _ = "" -- JPM: I'm not sure this is the right implementation... instance Generic Int32 where type Rep Int32 = Gen.D1 D_Int32 (Gen.C1 C_Int32 (Gen.S1 Gen.NoSelector (Gen.Rec0 Int32))) from x = Gen.M1 (Gen.M1 (Gen.M1 (Gen.K1 x))) to (Gen.M1 (Gen.M1 (Gen.M1 (Gen.K1 x)))) = x }}} However, as GHC.Generics is a moving target, and changes over the compiler versions, I'd rather not have to. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10512> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #10623: Handling of ASCII encodings introduced in D898 breaks Unicode terminal detection
by GHC 24 May '16

24 May '16

#10623: Handling of ASCII encodings introduced in D898 breaks Unicode terminal detection -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2-rc2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: T8958a | Related Tickets: #10298, #7695 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Phab:D898 was primarily intended to fix hangs in the event that `iconv` was unavailable (namely #10298 and #7695). In addition to this fix, it also introduced self-contained handling of ANSI terminals to allow compiled executables to run in minimal environments lacking iconv. However, the behavior that the patch introduced is highly suspicious. Specifically, it gives the user a UTF-8 encoding even if they requested ASCII. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10623> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #11034: ghc 7.10.2 testsuite: "T367(normal)" test compilation fails
by GHC 23 May '16

23 May '16

#11034: ghc 7.10.2 testsuite: "T367(normal)" test compilation fails ----------------------------------------+--------------------------------- Reporter: dtonhofer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.10.2 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- {{{ =====> T367(normal) 39 of 4142 [0, 1, 0] cd ./concurrent/should_run && "/usr/local/bin/ghc" -o T367 T367.hs -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package- db -rtsopts -fno-warn-tabs -fno-ghci-history -O2 -fno-omit-yields > T367.comp.stderr 2>&1 Compile failed (status 256) errors were: [1 of 1] Compiling Main ( T367.hs, T367.o ) *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: seq @ (Id Int) @ (# State# RealWorld, () #) (foldlM' @ Int @ Int @ Id @ Vector $fMonadId ($fNumInt_$c+ `cast` (<Int>_R -> <Int>_R -> Sym (NTCo:Id[0] <Int>_R) :: (Int -> Int -> Int) ~R# (Int -> Int -> Id Int))) z_a2UZ (enumFromTo_int @ Id @ Vector $fMonadId (I# 1) (I# 1000000000))) (# eta_B1, () #) Kinds don't match in type application: Type variable: b_13 :: * Arg type: (# State# RealWorld, () #) :: # xx # (.... offending program attached ...) *** End of Offense *** <no location info>: Compilation had errors *** unexpected failure for T367(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11034> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8990: Performance tests behave differently depending on presence of .hi file (even with -fforce-recomp)
by GHC 23 May '16

23 May '16

#8990: Performance tests behave differently depending on presence of .hi file (even with -fforce-recomp) ------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.9 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Example: {{{ [ezyang@hs01 compiler]$ cat T6048.comp.stats /home/hs01/ezyang/ghc-compalloc/inplace/lib/bin/ghc-stage2 -B/home/hs01/ezyang/ghc-compalloc/inplace/lib -fforce-recomp -dno-debug- output -no-user-package-db -rtsopts -fno-ghci-history -c T6048.hs -O -fasm +RTS -V0 -tT6048.comp.stats --machine-readable [("bytes allocated", "119871672") ,("num_GCs", "100") ,("average_bytes_used", "4388904") ,("max_bytes_used", "12539576") ,("num_byte_usage_samples", "7") ,("peak_megabytes_allocated", "27") ,("init_cpu_seconds", "0.00") ,("init_wall_seconds", "0.00") ,("mutator_cpu_seconds", "0.09") ,("mutator_wall_seconds", "0.10") ,("GC_cpu_seconds", "0.15") ,("GC_wall_seconds", "0.15") ] [ezyang@hs01 compiler]$ rm T6048.hi [ezyang@hs01 compiler]$ '/home/hs01/ezyang/ghc-compalloc/inplace/bin/ghc- stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T6048.hs -O -fasm +RTS -V0 -tT6048.comp.stats --machine-readable -RTS [ezyang@hs01 compiler]$ cat T6048.comp.stats /home/hs01/ezyang/ghc-compalloc/inplace/lib/bin/ghc-stage2 -B/home/hs01/ezyang/ghc-compalloc/inplace/lib -fforce-recomp -dno-debug- output -no-user-package-db -rtsopts -fno-ghci-history -c T6048.hs -O -fasm +RTS -V0 -tT6048.comp.stats --machine-readable [("bytes allocated", "121022912") ,("num_GCs", "100") ,("average_bytes_used", "4022069") ,("max_bytes_used", "11224944") ,("num_byte_usage_samples", "7") ,("peak_megabytes_allocated", "25") ,("init_cpu_seconds", "0.00") ,("init_wall_seconds", "0.00") ,("mutator_cpu_seconds", "0.09") ,("mutator_wall_seconds", "0.11") ,("GC_cpu_seconds", "0.15") ,("GC_wall_seconds", "0.14") ] }}} It's a slight but present difference: I noticed because one of the perf tests was failing on an initial run of the test suite, but passing when I re-ran it. There are two possible bugs here. One is that our implementation of `-fforce-recomp` is buggy and we shouldn't be reading in the hi file at all if `-fforce-recomp` is on; the other is that we should always clean up interface files before running one of these perf tests. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8990> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #11033: ghc 7.10.2 testsuite: "DoParamM(normal)" test fails
by GHC 23 May '16

23 May '16

#11033: ghc 7.10.2 testsuite: "DoParamM(normal)" test fails --------------------------------------+--------------------------------- Reporter: dtonhofer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.10.2 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- In the log: {{{ =====> DoParamM(normal) 13 of 4142 [0, 0, 0] cd ./rebindable && "/usr/local/bin/ghc" -c DoParamM.hs -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs -fno-ghci-history > DoParamM.comp.stderr 2>&1 Actual stderr output differs from expected: --- ./rebindable/DoParamM.stderr 2014-12-23 02:31:11.000000000 +0000 +++ ./rebindable/DoParamM.comp.stderr 2015-10-29 10:21:12.520000000 +0000 @@ -1,25 +1,20 @@ DoParamM.hs:146:25: - Couldn't match expected type `Int' with actual type `Char' - In the second argument of `(==)', namely v' - In the first argument of `return', namely `(v == v')' - In a stmt of a 'do' block: return (v == v') + Couldn't match expected type ‘Int’ with actual type ‘Char’ + In the second argument of ‘(==)’, namely ‘v'’ + In the first argument of ‘return’, namely ‘(v == v')’ DoParamM.hs:286:28: - Couldn't match type `Unlocked' with `Locked' + Couldn't match type ‘Unlocked’ with ‘Locked’ Expected type: LIO Locked Locked () Actual type: LIO Unlocked Locked () In a stmt of a 'do' block: tlock2_do In the expression: do { tlock2_do; tlock2_do } - In an equation for `tlock4_do': - tlock4_do - = do { tlock2_do; - tlock2_do } DoParamM.hs:302:37: - Couldn't match type `Locked' with `Unlocked' + Couldn't match type ‘Locked’ with ‘Unlocked’ Expected type: LIO Unlocked Unlocked () Actual type: LIO Locked Unlocked () In a stmt of a 'do' block: unlock @@ -27,8 +22,3 @@ do { tlock2_do; unlock; unlock } - In an equation for `tlock4'_do': - tlock4'_do - = do { tlock2_do; - unlock; - unlock } *** unexpected failure for DoParamM(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11033> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2