- ghc-tickets - Haskell.org

[GHC] #8799: Orientation of given `Coercible` constraints
by GHC 19 May '15

19 May '15

#8799: Orientation of given `Coercible` constraints -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #8555 | Test Case: | Blocking: -------------------------------------------+------------------------------- {{{ Prelude> :m + GHC.Exts Prelude GHC.Exts> let f :: Coercible a b => b -> a ; f = coerce <interactive>:3:40: Could not coerce from ‛b’ to ‛a’ because ‛b’ and ‛a’ are different types. arising from a use of ‛coerce’ from the context (Coercible a b) bound by the type signature for f :: Coercible a b => b -> a at <interactive>:3:10-32 In the expression: coerce In an equation for ‛f’: f = coerce }}} Something better could be done here (but its not clear what exactly, and to what general extend). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8799> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7695: Hang when locale-archive and gconv-modules are not there
by GHC 19 May '15

19 May '15

#7695: Hang when locale-archive and gconv-modules are not there -------------------------------------+------------------------------------- Reporter: hpd | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.10.2 Component: None | Version: 7.8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #8977, #10298 | Blocking: | Differential Revisions: Phab:D898 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: new => patch * differential: => Phab:D898 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7695#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10349: ghc-7.10.1.20150414 fails to configure on aarch64 with ld.gold: cannot compute sizeof (long long)
by GHC 19 May '15

19 May '15

#10349: ghc-7.10.1.20150414 fails to configure on aarch64 with ld.gold: cannot compute sizeof (long long) -------------------------------------+------------------------------------- Reporter: | Owner: juhpetersen | Status: new Type: bug | Milestone: 7.10.2 Priority: normal | Version: 7.10.1 Component: Build | Operating System: Linux System | Type of failure: Building GHC Keywords: | failed Architecture: aarch64 | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- On Fedora at least, the ghc-7.10 branch (as of yesterday) fails to configure on aarch64 when using ld.gold: {{{ checking size of long long... configure: error: in `/builddir/build/BUILD/ghc-7.10.1.20150414': configure: error: cannot compute sizeof (long long) }}} Gdb says: {{{ (gdb) r Starting program: /home/petersen/conftest During startup program terminated with signal SIGKILL, Killed. }}} Compiling the conftest.c attached with -fuse-ld=gold causes it to crash when run. {{{ $ gcc -o conftest conftest.c $ ./conftest $ gcc -o conftest -fuse-ld=gold conftest.c $ ./conftest Killed $ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10349> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10110: Compiling unit fails with Loading temp shared object failed
by GHC 19 May '15

19 May '15

#10110: Compiling unit fails with Loading temp shared object failed -------------------------------------+------------------------------------- Reporter: trommler | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.10.1-rc2 Keywords: | Operating System: Linux Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: #10058 Differential Revisions: | -------------------------------------+------------------------------------- @goldfire reported in #10058 in comment 1 another failure: {{{ [43 of 55] Compiling Tests.Compile.UnitParser ( Tests/Compile/UnitParser.hs, dist/build/main/main- tmp/Tests/Compile/UnitParser.o ) <no location info>: ghc: panic! (the 'impossible' happened) (GHC version 7.10.0.20150123 for x86_64-unknown-linux): Loading temp shared object failed: /tmp/ghc6444_0/libghc6444_264.so: undefined symbol: DataziMetrologyziSIziUnits_zdfShowHectare_closure Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} While on the surface this looks like a duplicate of #10058 it is not. The issue is only on Linux (travis to be precise), not OSX. Looking at the undefined symbol, here we see a symbol from the current module whereas in #10058 the undefined symbol lives in one of the packages. My theory is that the travis machine is running a modified link editor that defaults to `--as-needed` being set whereas the binutils default is `-no-as-needed`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10110> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #10366: Post link to MacOS binary of 7.10
by GHC 19 May '15

19 May '15

#10366: Post link to MacOS binary of 7.10 -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: task | Status: new Priority: highest | Milestone: 7.10.2 Component: | Version: 7.10.1 Documentation | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- More than a month after GHC 7.10 is released, there still isn't a binary linked for MacOS at https://www.haskell.org/ghc/download_ghc_7_10_1#binaries. I see that the binary exists in https://downloads.haskell.org/~ghc/7.10.1/, but that link is critical to finding it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10366> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 19 May '15

19 May '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Fuuzetsu): >It would be unusual to delay a patch-level release for a ticket that has been open for five years. Well, if anything we'd only be holding it up for the specialisation issue posted recently. To me at least it seems like a serious regression so it should probably be fixed in some patch release, whether it's 7.10.2 or 7.10.3 is up to whenever a fix is found. But I also don't want to hold up any other fixes. I wish only to not end up in a situation where the final 7.10.x is released and to get much else in we have to wait for 7.12. As long as it's fixed in 7.10 somewhere, I'm happy. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:85> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10335: Failure to construct superclasses in instance
by GHC 18 May '15

18 May '15

#10335: Failure to construct superclasses in instance -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Consider {{{ {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, ConstraintKinds #-} module Foo where class Eq a => C a b type X a = (Eq a, Show a) instance X a => C a [b] }}} HEAD gives {{{ Foo.hs:8:10: Could not deduce (Eq a) arising from the superclasses of an instance declaration from the context: X a bound by the instance declaration at Foo.hs:8:10-23 Possible fix: add (Eq a) to the context of the instance declaration In the instance declaration for ‘C a [b]’ }}} This is fall-out from refactoring the silent-superclass story. Patch coming. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10335> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10422: reorder in nativeCodeGen too slow
by GHC 18 May '15

18 May '15

#10422: reorder in nativeCodeGen too slow -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (CodeGen) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When working on #10397 and after fixing the bottleneck in `elimCommonBlocks` I noticed that `reorder` was taking most of the time. Bad lazy linked lists. I have a fix, will put it on Phabricator for validation shortly -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10422> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10429: GHC fails to import instance
by GHC 18 May '15

18 May '15

#10429: GHC fails to import instance -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The following code compiles in 7.8.4 but fails to compile in 7.10.1. Tagged.hs {{{#!hs module Tagged where import Control.Monad.Trans newtype TaggedT s m b = TagT (m b) instance MonadTrans (TaggedT s) }}} Main.hs {{{#!hs import Control.Monad.Trans.Class import Tagged returnT :: (MonadTrans t) => t m a -> t m a returnT a = undefined f :: TaggedT Int m a -> TaggedT Int m a f = returnT }}} GHC complains {{{ Could not deduce (MonadTrans (TaggedT Int)) arising from a use of ‘returnT’ }}} If I change the import in Main to `Control.Monad.Trans`, 7.10.1 accepts the program. Since the import `Control.Monad.Trans` is actually a folder, the class `MonadTrans` must refer to the definition in `Control.Monad.Trans.Class`, so GHC should find the instance. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10429> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10248: GHC panic when used with deferred type errors, again
by GHC 18 May '15

18 May '15

#10248: GHC panic when used with deferred type errors, again ---------------------------------------+------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.10.1-rc3 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ---------------------------------------+------------------------------- Similar to previous report of mine #9834. Given `error.hs` {{{#!hs data I a = I a }}} I get the following result: {{{#!hs $ ghci -fdefer-type-errors -ignore-dot-ghci error.hs <ype-errors -ignore-dot-ghci error.hs GHCi, version 7.10.0.20150316: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( error.hs, interpreted ) Ok, modules loaded: Main. *Main> I <$> _ I <$> _ <interactive>:2:7: Warning: Found hole ‘_’ with type: IO a0 Where: ‘a0’ is an ambiguous type variable In the second argument of ‘(<$>)’, namely ‘_’ In the first argument of ‘GHC.GHCi.ghciStepIO :: IO a_auR -> IO a_auR’, namely ‘I <$> _’ In a stmt of an interactive GHCi command: it <- GHC.GHCi.ghciStepIO :: IO a_auR -> IO a_auR (I <$> _) ghc: panic! (the 'impossible' happened) (GHC version 7.10.0.20150316 for i386-unknown-linux): nameModule $dShow_aIT Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *Main> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10248> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7