July 2016 - ghc-tickets

[GHC] #12169: libraries/base/dist-install/build/HSbase-4.9.0.0.o: unknown symbol `stat'
by GHC 20 Jul '16

20 Jul '16

#12169: libraries/base/dist-install/build/HSbase-4.9.0.0.o: unknown symbol `stat' -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.0.1 System (Linker) | 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: -------------------------------------+------------------------------------- When I make the following change: {{{ --- a/mk/flavours/validate.mk +++ b/mk/flavours/validate.mk @@ -2,7 +2,7 @@ SRC_HC_OPTS = -O0 -H64m SRC_HC_OPTS_STAGE1 = -fllvm-fill-undef-with-garbage # See Trac 11487 GhcStage1HcOpts = -O -DDEBUG GhcStage2HcOpts = -O -dcore-lint -GhcLibHcOpts = -O -dcore-lint +GhcLibHcOpts = -O0 -dcore-lint BUILD_PROF_LIBS = NO SplitObjs = NO HADDOCK_DOCS = YES }}} And push to Travis (`DYNAMIC_GHC_PROGRAMS = NO`, `GhcLibWays = v`), a [https://api.travis-ci.org/jobs/136229053/log.txt?deansi=true gazillion tests fail] with: {{{ libraries/base/dist-install/build/HSbase-4.9.0.0.o: unknown symbol `stat' }}} Originally reported in https://github.com/snowleopard/hadrian/issues/259. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12169> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11357: Regression when deriving Generic1 on poly-kinded data family
by GHC 20 Jul '16

20 Jul '16

#11357: Regression when deriving Generic1 on poly-kinded data family -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.1 (CodeGen) | Keywords: Generics, | Operating System: Unknown/Multiple TypeInType | Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- On GHC 7.10.3, the following code compiles: {{{#!hs {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} module ProxyFam where import GHC.Generics (Generic1) data family ProxyFam (a :: k) data instance ProxyFam (a :: k) = ProxyCon deriving Generic1 }}} But on GHC 8.1, it fails: {{{ $ /opt/ghc/head/bin/ghc ProxyFam.hs [1 of 1] Compiling ProxyFam ( ProxyFam.hs, ProxyFam.o ) ProxyFam.hs:10:53: error: • Can't make a derived instance of ‘Generic1 ProxyFam’: ProxyFam must not be instantiated; try deriving `ProxyFam k a' instead • In the data instance declaration for ‘ProxyFam’ }}} I'm not sure what exactly is going on here, but I have a hunch. The `Generic1` typeclass is of kind `* -> *`, which means that in a `Generic1 ProxyFam` instance, the kind of `a` is instantiated to `*`. Curiously, though, the same error does ''not'' appear when `deriving Generic` for a normal datatype (e.g., `data ProxyFam (a :: k) = ProxyCon deriving Generic1`). Richard, I'm stuck as to how to fix this. I suspect this was triggered by `-XTypeInType`-related changes, specifically, [http://git.haskell.org/ghc.git/blobdiff/6e56ac58a6905197412d58e32792a04a63b… this change]: {{{#!diff diff --git a/compiler/typecheck/TcGenGenerics.hs b/compiler/typecheck/TcGenGenerics.hs index 2c5b80e..fb18517 100644 (file) --- a/compiler/typecheck/TcGenGenerics.hs +++ b/compiler/typecheck/TcGenGenerics.hs @@ -147,7 +146,7 @@ canDoGenerics tc tc_args -- -- Data family indices can be instantiated; the `tc_args` here are -- the representation tycon args - (if (all isTyVarTy (filterOut isKind tc_args)) + (if (all isTyVarTy (filterOutInvisibleTypes tc tc_args)) then IsValid else NotValid (tc_name <+> text "must not be instantiated;" <+> text "try deriving `" <> tc_name <+> tc_tys <> }}} What exactly does `filterOutInvisibleTypes` do? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11357> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #11094: Cost-center heap profiler should be able to emit samples to eventlog
by GHC 20 Jul '16

20 Jul '16

#11094: Cost-center heap profiler should be able to emit samples to eventlog -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Often when looking at heap profiles I find myself wishing that I had better tools for aligning the heap behavior to various events in the lifetime of my program. The eventlog provides a nice facility for marking these events, why not record heap profile samples in the eventlog as well? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11094> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12402: Add fromLeft and fromRight to Data.Either
by GHC 20 Jul '16

20 Jul '16

#12402: Add fromLeft and fromRight to Data.Either -------------------------------------+------------------------------------- Reporter: mettekou | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: | Version: 8.0.1 libraries/base | Keywords: Data.Either, | Operating System: Unknown/Multiple fromLeft, fromRight | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This ticket is the result of [https://mail.haskell.org/pipermail/libraries/2016-June/027093.html the discussion of the proposal on the libraries mailing list] to add the following two functions to Data.Either in base: {{{#!hs fromLeft :: a -> Either a b -> a fromRight :: b -> Either a b -> b }}} The functions extract an {{{Either a b}}} value for the constructors in their namesake, providing their first argument as a default value for values created using the other constructor. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12402> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11348: Local open type families instances ignored during type checking
by GHC 20 Jul '16

20 Jul '16

#11348: Local open type families instances ignored during type checking -------------------------------------+------------------------------------- Reporter: alexvieth | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeInType #-} import Data.Kind import Data.Proxy type family TrivialFamily t :: Type type instance TrivialFamily (t :: Type) = Bool data R where R :: Proxy Bool -> R type ProblemType t = 'R ('Proxy :: Proxy (TrivialFamily t)) }}} Compiling this program as-is, GHC rejects it! {{{#!sh error: • Expected kind ‘Proxy Bool’, but ‘'Proxy’ has kind ‘Proxy (TrivialFamily t)’ • In the first argument of ‘R’, namely ‘(Proxy :: Proxy (TrivialFamily t))’ In the type ‘R (Proxy :: Proxy (TrivialFamily t))’ In the type declaration for ‘ProblemType’ }}} But if we move `TrivialFamily` to another module and import it, GHC discovers that `TrivialFamily t = Bool` and the program is accepted. When compiling the rejected program (with the local family instance) I observe that the instance environments given by `FamInst.tcGetFamInstEnvs` contain no instances! The renamer processes the local instance, but no `FamInst` is created for it, and nothing enters the `TcGblEnv`'s family instance record. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11348> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 23

[GHC] #12082: Typeable on RealWorld fails
by GHC 20 Jul '16

20 Jul '16

#12082: Typeable on RealWorld fails -------------------------------------+------------------------------------- Reporter: bgamari | 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: -------------------------------------+------------------------------------- This, {{{#!hs import GHC.Prim import Data.Typeable main = print $ typeRep (Proxy :: Proxy RealWorld) }}} fails with, {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.0.20160421 for x86_64-unknown-linux): tyConRep RealWorld Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12082> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #12271: Remove magic from type defaulting
by GHC 19 Jul '16

19 Jul '16

#12271: Remove magic from type defaulting -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The Prelude is great, but there are reasons people use drop-in replacements as well. In particular, I'm using [numeric-prelude] for its more mathematical numeric type class hierarchy. Unfortunately, I don't get type defaulting with their numeric type class replacements, which makes some operations a real pain to use. For example, GHC accepts the following: {{{ main :: IO () main = print $ 2^2 }}} but not {{{ {-# LANGUAGE NoImplicitPrelude, RebindableSyntax #-} import Algebra.Ring as Ring (C) import Algebra.ToInteger as ToInteger (C) import NumericPrelude hiding ((^)) (^) :: (Ring.C a, ToInteger.C i) => a -> i -> a x0 ^ y0 = undefined main :: IO () main = print $ 2^2 }}} (there are ambiguous types on both occurrences of `2`.) The [https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-790004… HaskellReport] seems to suggest that there is no way to use the `default` keyword to get type defaulting in this case. What I'm asking for is a programmatic way to set defaulting rules for non- standard numeric classes. In terms of implementation, my naive approach would be to remove `Num` from the process altogether: if we ever see a "integer-looking" literal and its type cannot be inferred, always default it to the `IntDefault` type (which could be the same as the current "automatic" default, or the value in the `default` tuple if present). I'm guessing that this approach has some flaws; perhaps someone can point them out? Barring that, I suppose we need a way to specify a `Num` replacement. In the case of numeric-prelude, it would be `Algebra.Additive.C`. An even more flexible approach would be to allow defaulting for constants with a specific constraint. (That's equivalent to specifying a default type for constants with the constraint `Num a => a` and a possibly different default for `Integral a => a`.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12271> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12238: Many tests fail when BuildFlavour == perf-llvm and DYNAMIC_GHC_PROGRAMS == NO
by GHC 19 Jul '16

19 Jul '16

#12238: Many tests fail when BuildFlavour == perf-llvm and DYNAMIC_GHC_PROGRAMS == NO --------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: #12230 Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------- Ticket spawned from #12240. Some time just before commit a33b498d5f648a576dac6d219115866f05721196 about 40 tests started failing with `BuildFlavour` set to `perf-llvm`. @simonmar suggested also testing with `DYNAMIC_GHC_PROGRAMS` set to `NO` which results on over 700 of the tests failing. @simonmar suggests something is broken in the LLVM backend or in the linker. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12238> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12132: Type representations missing for promoted boxed tuples
by GHC 19 Jul '16

19 Jul '16

#12132: Type representations missing for promoted boxed tuples -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.0.2 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: -------------------------------------+------------------------------------- This is a continuation of #11120. It seems there is something odd happening with type representations for boxed tuples, {{{ $ inplace/bin/ghc-stage2 --interactive GHCi, version 8.1.20160528: http://www.haskell.org/ghc/ :? for help Prelude> :set -XDataKinds Prelude> :m + Data.Typeable Data.Proxy Prelude Data.Typeable Data.Proxy> typeOf (Proxy :: Proxy (Int,Int)) Proxy * (Int,Int) Prelude Data.Typeable Data.Proxy> typeOf (Proxy :: Proxy '(Int,Int)) GHC error in desugarer lookup in Ghci2: Can't find interface-file declaration for variable $tc'(,) Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20160528 for x86_64-unknown-linux): initDs IOEnv failure Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Prelude Data.Typeable Data.Proxy> }}} This is odd since the `$tc'(,)` binding is present in the interface file for `GHC.Tuple`, {{{ $ inplace/bin/ghc-stage2 --show-iface libraries/ghc-prim/dist- install/build/GHC/Tuple.dyn_hi |less ... 14e44400752f4580e52ed2a760b9633f $tc'(,) :: TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (TyCon 14407099369839560749## 10712746223293009168## $trModule $tc'(,)1) -} 543be63d698612591d2e75b0b60ad643 $tc'(,)1 :: TrName {- HasNoCafRefs, Strictness: m1, Unfolding: (TrNameS "'(,)"#) -} 469b4ffe716da12a5be1f5ab03864791 $tc'(,,) :: TyCon {- HasNoCafRefs, Strictness: m, Unfolding: (TyCon 3540448346642256323## 9150387332266490903## $trModule $tc'(,,)1) -} ... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12132> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #12400: Suggest misspelling if a type signature has similarly named binding
by GHC 18 Jul '16

18 Jul '16

#12400: Suggest misspelling if a type signature has similarly named binding -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: lowest | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Due to clumsy fingers I often run into {{{#!hs mkBinder :: a mkBidner = undefined }}} errors with {{{ t1ZE.hs:1:1-8: error: … The type signature for ‘mkBinder’ lacks an accompanying binding Compilation failed. }}} Maybe it could mention {{{ note: did you mean 'mkBinder'? }}} ---- How `clang` does it {{{#!c #include <stdio.h> int main(void) { prinft("hi"); } }}} {{{ % clang -Werror c.c c.c:5:3: error: implicit declaration of function 'prinft' is invalid in C99 [-Werror,-Wimplicit-function-declaration] prinft("hi"); ^ c.c:5:3: note: did you mean 'printf'? /usr/include/stdio.h:362:12: note: 'printf' declared here extern int printf (const char *__restrict __format, ...); ^ 1 error generated. baldur@Loki:/tmp$ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12400> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2