July 2013 - ghc-tickets

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 28 Jul '13

28 Jul '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by igloo): Ah, `compiler/main/DynFlags.hs` should be changed so that {{{ ("Support dynamic-too", "YES"), }}} is `NO` on Windows. Then Cabal should do the right thing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 28 Jul '13

28 Jul '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by awson): Enabling DynamicGhcPrograms makes ghci work, but again, since -dynamic-too does not work on Windows it's impossible to build any libraries for ghci using Cabal (it uses dynamic-too flag to build shared libraries), because the libraries built this way lack dyn_hi interface files. What one have to do further to get working ghc on Win64? Fix dynamic-too for windows? Or introduce some workaround into Cabal to make it not to use 'dynamic-too' when building shared libraries on Windows? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4092: Floating point manipulation : ulp and coerce IEEE-754 Double# into Word64#
by GHC 28 Jul '13

28 Jul '13

#4092: Floating point manipulation : ulp and coerce IEEE-754 Double# into Word64# -------------------------------------+------------------------------------ Reporter: malosh | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): Wait, unsafecoerce# doesn't work here? Oh, is this because we (in general) need to move things between simd and word registers? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4092#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 27 Jul '13

27 Jul '13

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------------------+------------------------- Reporter: cetinsert | Owner: Type: bug | dterei Priority: high | Status: new Component: Compiler (LLVM) | Milestone: 7.8.1 Resolution: | Version: Operating System: Windows | 7.6.1-rc1 Type of failure: Incorrect warning at | Keywords: llvm compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by schyler): I believe I receive this bug also, and so does my friend who recently installed a fresh MinGW + Haskell Platform. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4092: Floating point manipulation : ulp and coerce IEEE-754 Double# into Word64#
by GHC 27 Jul '13

27 Jul '13

#4092: Floating point manipulation : ulp and coerce IEEE-754 Double# into Word64# -------------------------------------+------------------------------------ Reporter: malosh | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by lelf): * cc: me@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4092#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8066: Compiler Panic When Using Instance Derivation With Singletons
by GHC 26 Jul '13

26 Jul '13

#8066: Compiler Panic When Using Instance Derivation With Singletons ------------------------------------+------------------------------------- Reporter: tvynr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- The following code causes a compiler panic: {{{ {-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances, FlexibleInstances, TemplateHaskell, GADTs, TypeFamilies, DataKinds, KindSignatures #-} module Example ( UnqualifiedTVar(..) , QualifiedTVar(..) , TVar(..) , QVar , UVar , TQual(..) ) where import GHC.TypeLits import qualified Data.Set as Set type Identifier = String type Span = (Int,Int) data QualForm = UnqualifiedTVar | QualifiedTVar deriving (Eq, Ord, Read, Show) data instance Sing (f :: QualForm) where UnqualifiedTVarS :: Sing UnqualifiedTVar QualifiedTVarS :: Sing QualifiedTVar instance Eq (Sing (a::QualForm)) where (==) = undefined instance Ord (Sing (a::QualForm)) where compare = undefined instance SingI UnqualifiedTVar where sing = UnqualifiedTVarS instance SingI QualifiedTVar where sing = QualifiedTVarS data TVar (a :: QualForm) = TVar (Sing a) Int [Span] deriving (Eq, Ord, Show) type QVar = TVar QualifiedTVar type UVar = TVar UnqualifiedTVar data AnyVar = SomeQVar QVar | SomeUVar UVar anyVar :: TVar (a :: QualForm) -> AnyVar anyVar a = let (TVar s _ _) = a in case fromSing s of UnqualifiedTVarS -> SomeUVar a QualifiedTVarS -> SomeQVar a }}} This has been tested on GHC 7.6.1 and GHC 7.6.3; both give an error message such as {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.6.1.20121207 for i386-unknown-linux): find_thing APromotionErr FamDataConPE }}} This problem seems to have something to do with instance derivation; removing the instances for Eq and Ord causes the problem to go away. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8066> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5289: Can't use ghci with a library linked against libstdc++
by GHC 26 Jul '13

26 Jul '13

#5289: Can't use ghci with a library linked against libstdc++ -------------------------------------+------------------------------------ Reporter: bos | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: GHCi | Version: 7.0.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by svenpanne): * difficulty: => Unknown Comment: Asking 'gcc --print-file-name' might solve some of the C++ troubles mentioned above, but in general I feel that it is the wrong thing to do: GHCi is not mirroring what would happen at runtime for a compiled program, see e.g. https://github.com/haskell-opengl/OpenGL/issues/42 where the problem is described in length for libGL.so. In that special case it could be argued that the Ubuntu setup is a bit strange, but the C++ stuff above looks equally weird to me, too. IMHO, if dlopen(foo, RTLD_LAZY) succeeds when looking for foo, one should not ask GCC and leave the path to foo as it is. GHCi will use the same mechanism later when loading/resolving symbols, anyway. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5289#comment:47> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7814: panic in PPC NCG
by GHC 26 Jul '13

26 Jul '13

#7814: panic in PPC NCG ----------------------------------------+------------------------------ Reporter: heisenbug | Owner: heisenbug Type: bug | Status: infoneeded Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+------------------------------ Comment (by heisenbug): I have no idea how to place the jump instruction in a way that it can span the maximum jump range. Maybe there is a linker trick to create a ''floating'' island. Anyway the original panic is resolved, and by controlling excessive inlining in certain source files I was able to build the libraries for PPC. I did not run any code but some smaller tests, though. We can close this bug, and possibly open a new (more specific) one? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7814#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8021: Multiple constraint classes - the alternative to superclass
by GHC 26 Jul '13

26 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by carter): * status: new => closed * resolution: => invalid Comment: closing, see http://ghc.haskell.org/trac/ghc/ticket/8090 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7935: Syntactic sugar for comonads
by GHC 26 Jul '13

26 Jul '13

#7935: Syntactic sugar for comonads -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by carter): * status: new => closed * difficulty: => Unknown * resolution: => invalid Comment: closing, see http://ghc.haskell.org/trac/ghc/ticket/8090 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7935#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0