March 2013 - ghc-tickets

[GHC] #7764: Link Error on windows
by GHC 20 Apr '13

20 Apr '13

#7764: Link Error on windows ------------------------+--------------------------------------------------- Reporter: Ericson2314 | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.4.2 | Keywords: Os: Windows | Architecture: x86 Failure: Other | Blockedby: Blocking: | Related: ------------------------+--------------------------------------------------- specific commit in question: https://github.com/Ericson2314/Codec.Archive.CnCMix/commit/eb9c843e4d56068c… When I try to compile my project I get these I get errors at link-time: {{{ C:\Program Files\Haskell Platform\2012.4.0.0\lib\base-4.5.1.0/libHSbase-4.5.1.0.a(Data__683.o):fake:(.text+0x22): undefined reference to `base_DataziData_aonsConstr_closure' C:\Program Files\Haskell Platform\2012.4.0.0\lib\base-4.5.1.0/libHSbase-4.5.1.0.a(Data__683.o):fake:(.data+0x4): undefined reference to `base_DataziData_aonsConstr_closure' collect2: ld returned 1 exit status }}} I am not using any foreign functions, and unresolved symbol seems to be part of GHC so it looks like a bug to me. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #7709: ios patch no 7: Omit ghc-pwd from final stage when cross compiling
by GHC 20 Apr '13

20 Apr '13

#7709: ios patch no 7: Omit ghc-pwd from final stage when cross compiling ------------------------------+--------------------------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- Without this patch, we get this error when cross compiling: {{{ "cp" -p utils/ghc-pwd/dist-install/build/tmp/ghc-pwd inplace/bin/ghc-pwd cp: utils/ghc-pwd/dist-install/build/tmp/ghc-pwd: No such file or directory make[1]: *** [inplace/bin/ghc-pwd] Error 1 make: *** [all] Error 2 }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7709> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #7638: bindist refers to libgmp.so.3 which is missing on Fedora 17
by GHC 20 Apr '13

20 Apr '13

#7638: bindist refers to libgmp.so.3 which is missing on Fedora 17 ----------------------------+----------------------------------------------- Reporter: j.waldmann | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: None/Unknown | Blockedby: Blocking: | Related: ----------------------------+----------------------------------------------- binary distribution ghc-7.6.2-x86_64-unknown-linux.tar.bz2 contains executable(s) that expect libgmp.so.3 but recent systems (Fedora 17) have libgmp.so.10 instead, and I don't see how I could roll back. No big deal, but each fix requires a recompile (of gmp, of ghc). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7638> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #7793: GHC User’s Guide, Version 7.6.2: Page numbering errors
by GHC 17 Apr '13

17 Apr '13

#7793: GHC User’s Guide, Version 7.6.2: Page numbering errors -----------------------------+---------------------------------------------- Reporter: thorkilnaur | Owner: Type: bug | Status: new Priority: normal | Component: Documentation Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- In The Glorious Glasgow Haskell Compilation System User’s Guide, Version 7.6.2, I find the "Introduction to GHC" on a page denoted "1/37". Chapter 10 starts on page "257/37" and "10.1 Introduction" then proceeds on page "1/37". Something seems wrong with the page numbering. Best regards Thorkil -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7793> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7748: Runtime <<loop>> due to incorrect inferred type
by GHC 17 Apr '13

17 Apr '13

#7748: Runtime <<loop>> due to incorrect inferred type ----------------------------------------+----------------------------------- Reporter: jbransen | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- There is a bug in the type checker of 7.6.1 and 7.6.2, which accepts an incorrect type resulting in <<loop>> at runtime. Furthermore, 7.6.2 even automatically infers this incorrect type. Hence, the attached code has the following behavior: - No explicit type: Code works in 7.6.1, loops in 7.6.2 - Correct explicit type: Code works fine in 7.6.1 and 7.6.2 - Incorrect explicit type: Code loops in 7.6.1 and 7.6.2 The incorrect type has a parameter that is too polymorphic, i.e. an "a" type is accepted while the function does a pattern match on the parameter from which it is clear that it should be a Maybe type. In 7.4.* versions this incorrect type is not accepted. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7748> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7586: :kind command cannot show kind of type synonyms
by GHC 16 Apr '13

16 Apr '13

#7586: :kind command cannot show kind of type synonyms -----------------------------+---------------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- The following illustrates the problem: {{{ Prelude> type T a = Int Prelude> :k T <interactive>:1:1: Type synonym `T' should have 1 argument, but has been given none In a type in a GHCi command: T }}} Undoubtedly, T has a kind, and there's no reason to insist that the type given to the :kind command should be fully applied. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7586> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #7598: ghc-stage1 generates wrong assembler on StgCmmPrim (operand out of range)
by GHC 14 Apr '13

14 Apr '13

#7598: ghc-stage1 generates wrong assembler on StgCmmPrim (operand out of range) --------------------------------+------------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Linux | Architecture: powerpc Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Hello, an attempt to compile today GHC HEAD on linux powerpc fails with this message {{{ "inplace/bin/ghc-stage1" -static -H32m -O -package-name ghc-7.7.20130115 -hide-all-packages -i -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage2/build -icompiler/stage2/build/autogen -Icompiler/stage2/build -Icompiler/stage2/build/autogen -Icompiler/../rts/dist/build -Icompiler/stage2 -Icompiler/. -Icompiler/parser -Icompiler/utils -optP- DGHCI -optP-include -optPcompiler/stage2/build/autogen/cabal_macros.h -package Cabal-1.17.0 -package array-0.4.0.2 -package base-4.7.0.0 -package bin-package-db-0.0.0.0 -package bytestring-0.10.3.0 -package containers-0.5.0.0 -package directory-1.2.0.1 -package filepath-1.3.0.2 -package hoopl-3.10.0.0 -package hpc-0.6.0.1 -package process-1.2.0.0 -package template-haskell-2.9.0.0 -package time-1.4.0.2 -package transformers-0.3.0.0 -package unix-2.6.1.0 -Wall -fno-warn-name-shadowing -XHaskell98 -XNondecreasingIndentation -XCPP -XMagicHash -XUnboxedTuples -XPatternGuards -XForeignFunctionInterface -XEmptyDataDecls -XTypeSynonymInstances -XMultiParamTypeClasses -XFlexibleInstances -XRankNTypes -XScopedTypeVariables -XDeriveDataTypeable -XBangPatterns -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -O2 -no-user-package-db -rtsopts -odir compiler/stage2/build -hidir compiler/stage2/build -stubdir compiler/stage2/build -hisuf hi -osuf o -hcsuf hc -c compiler/codeGen/StgCmmPrim.hs -o compiler/stage2/build/StgCmmPrim.o /tmp/ghc20445_0/ghc20445_0.s: Assembler messages: /tmp/ghc20445_0/ghc20445_0.s:98896:0: Error: operand out of range (0x00000000000081ac is not between 0xffffffffffff8000 and 0x0000000000007ffc) make[1]: *** [compiler/stage2/build/StgCmmPrim.o] Error 1 make: *** [all] Error 2 }}} The platform is 32bit PowerPC running debian wheezy which provides GHC 7.4.1 used for bootstrapping GHC HEAD. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7598> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 13 Apr '13

13 Apr '13

#7800: Error message when deriving Typeable without PolyKinds ----------------------------------------------+----------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Module M: {{{ {-# LANGUAGE PolyKinds #-} module M where data A a }}} Module N: {{{ {-# LANGUAGE StandaloneDeriving, DeriveDataTypeable #-} module N where import M import Data.Typeable deriving instance Typeable A }}} We get a confusing error message: {{{ N.hs:7:1: Derived typeable instance must be of form (Typeable A) In the stand-alone deriving instance for ‛Typeable A’ }}} The error disappears when N is compiled with -XPolyKinds. The reason is: without -XPolyKinds, A defaults to A *. I think it's simplest to suggest the flag in the error message. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7800> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7797: re-enable the defun RULE from a SPECIALISE instance pragma
by GHC 13 Apr '13

13 Apr '13

#7797: re-enable the defun RULE from a SPECIALISE instance pragma -----------------------------+---------------------------------------------- Reporter: nfrisby | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- As of commit [https://github.com/ghc/ghc/commit/51d89a55c3 51d89a55c3], `SPECIALISE instance` pragmas do not result in a RULE for the dictionary function. For example, consider this `Eq` instance for `List`. {{{ module M where data List a = Nil | Cons a (List a) instance (Eq a) => Eq (List a) where {-# SPECIALISE instance Eq (List Char) #-} Nil == Nil = True (Cons x xs) == (Cons y ys) = x == y && xs == ys _xs == _ys = False }}} With ghc-7.4.2, we get: {{{ ==================== Tidy Core rules ==================== "SPEC $c/=" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Types.Char). M.$fEqList_$c/=1 @ GHC.Types.Char $dEq = M.$fEqList_$c/= "SPEC $c==" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Types.Char). M.$fEqList_$c==1 @ GHC.Types.Char $dEq = M.$fEqList_$c== "SPEC M.$fEqList" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Types.Char). M.$fEqList @ GHC.Types.Char $dEq = M.$fEqList_$fEqList }}} Note the last rule: it specializes the normal defun `M.$fEqList` when applied at type `Char`. With anything after 7.4.2 -- eg if you download the binary sources for 7.4.2 and make [https://github.com/ghc/ghc/commit/51d89a55c3#L0L779 the change at line 779] from that commit --- you instead get this: {{{ ==================== Tidy Core rules ==================== "SPEC $c/=" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Types.Char). M.$fEqList_$c/=1 @ GHC.Types.Char $dEq = M.$fEqList_$c/= "SPEC $c==" [ALWAYS] forall ($dEq :: GHC.Classes.Eq GHC.Types.Char). M.$fEqList_$c==1 @ GHC.Types.Char $dEq = M.$fEqList_$c== }}} (Actually, after some patch the /= RULE disappears too, but I don't know which/why.) If the dictionary is used at the relevant type in the same module, the specializer will automatically create the omitted rule. That will not, however, currently happen across module boundaries. In my contrived example, omitting this defun specialization increases runtime by a factor of 2 at -O1. {{{ {-# LANGUAGE ExistentialQuantification #-} module Main where import M data Box = forall a. Eq a => Box a a box = Box (go 10000000) (go 10000000) where go :: Int -> List Char go 0 = Nil go n = Cons 'c' $ go (n - 1) {-# NOINLINE box #-} main = print $ case box of Box l r -> l == r }}} (-O2 squashes the runtime difference; I haven't investigated in detail.) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7797> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7794: GHCi "Prelude.undefined" exceptions on ARM; ByteCodeItbls.mkJumpToAddr unimplemented
by GHC 13 Apr '13

13 Apr '13

#7794: GHCi "Prelude.undefined" exceptions on ARM; ByteCodeItbls.mkJumpToAddr unimplemented -----------------------+---------------------------------------------------- Reporter: cjwatson | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 7.6.2 | Keywords: Os: Linux | Architecture: arm Failure: GHCi crash | Blockedby: Blocking: | Related: -----------------------+---------------------------------------------------- A number of non-trivial operations fail in ghci on ARM (specifically armhf on both Debian experimental and Ubuntu raring). I initially noticed this as conduit's doctests failing, but reduced this to: $ ghci GHCi, version 7.6.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> data Type a = Nothing *** Exception: Prelude.undefined This is a singularly unhelpful exception, coming as it does without context, but I eventually tracked it down to ByteCodeItbls.mkJumpToAddr having no specific implementation for ARM and thus falling back to the default of "undefined". I've tried adding this: +#elif arm_TARGET_ARCH +type ItblCode = Word32 +mkJumpToAddr a + = [ 0xe51ff004 -- ldr pc, [pc, #-4] # pc reads as <current insn>+8 + , fromIntegral (ptrToInt a) ] This definitely changes the nature of the problem, so I think I'm on the right track, and I'm reasonably confident that that's the correct branch implementation; but when I actually try it in practice I get crashes (SIGSEGV/SIGILL/SIGBUS) with trashed stack traces, so I'm clearly not done yet. Friends of mine suggest that I may need to __clear_cache or equivalent, which sounds plausible, so my current line of attack is figuring out how to glue that in; but if any actual GHC hackers can spot something obviously missing in the meantime then that would be great. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7794> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3