September 2014 - ghc-tickets

Re: [GHC] #9555: internal error: ARR_WORDS object entered!
by GHC 06 Sep '14

06 Sep '14

#9555: internal error: ARR_WORDS object entered! -------------------------------------+------------------------------------- Reporter: walck | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by walck): {{{ walck@X230:~/computer/haskell/ghc/bug9555$ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 13.10 Release: 13.10 Codename: saucy walck@X230:~/computer/haskell/ghc/bug9555$ gcc --version gcc (Ubuntu/Linaro 4.8.1-10ubuntu9) 4.8.1 Copyright (C) 2013 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. walck@X230:~/computer/haskell/ghc/bug9555$ /lib/x86_64-linux-gnu/libc.so.6 GNU C Library (Ubuntu EGLIBC 2.17-93ubuntu4) stable release version 2.17, by Roland McGrath et al. Copyright (C) 2012 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiled by GNU CC version 4.7.3. Compiled on a Linux 3.11.3 system on 2013-10-12. Available extensions: crypt add-on version 2.1 by Michael Glad and others GNU Libidn by Simon Josefsson Native POSIX Threads Library by Ulrich Drepper et al BIND-8.2.3-T5B libc ABIs: UNIQUE IFUNC For bug reporting instructions, please see: <https://bugs.launchpad.net/ubuntu/+source/eglibc/+bugs>. walck@X230:~/computer/haskell/ghc/bug9555$ ld --version GNU ld (GNU Binutils for Ubuntu) 2.23.52.20130913 Copyright 2013 Free Software Foundation, Inc. This program is free software; you may redistribute it under the terms of the GNU General Public Licence version 3 or (at your option) a later version. This program has absolutely no warranty. walck@X230:~/computer/haskell/ghc/bug9555$ ghc --info [("Project name","The Glorious Glasgow Haskell Compilation System") ,("GCC extra via C opts"," -fwrapv") ,("C compiler command","/usr/bin/gcc") ,("C compiler flags"," -fno-stack-protector") ,("C compiler link flags","") ,("Haskell CPP command","/usr/bin/gcc") ,("Haskell CPP flags","-E -undef -traditional ") ,("ld command","/usr/bin/ld") ,("ld flags","") ,("ld supports compact unwind","YES") ,("ld supports build-id","YES") ,("ld supports filelist","NO") ,("ld is GNU ld","YES") ,("ar command","/usr/bin/ar") ,("ar flags","q") ,("ar supports at file","YES") ,("touch command","touch") ,("dllwrap command","/bin/false") ,("windres command","/bin/false") ,("libtool command","libtool") ,("perl command","/usr/bin/perl") ,("target os","OSLinux") ,("target arch","ArchX86_64") ,("target word size","8") ,("target has GNU nonexec stack","True") ,("target has .ident directive","True") ,("target has subsections via symbols","False") ,("Unregisterised","NO") ,("LLVM llc command","/usr/bin/llc") ,("LLVM opt command","/usr/bin/opt") ,("Project version","7.8.3") ,("Booter version","7.8.2") ,("Stage","2") ,("Build platform","x86_64-unknown-linux") ,("Host platform","x86_64-unknown-linux") ,("Target platform","x86_64-unknown-linux") ,("Have interpreter","YES") ,("Object splitting supported","YES") ,("Have native code generator","YES") ,("Support SMP","YES") ,("Tables next to code","YES") ,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn l_dyn thr_l_dyn") ,("Support dynamic-too","YES") ,("Support parallel --make","YES") ,("Dynamic by default","NO") ,("GHC Dynamic","YES") ,("Leading underscore","NO") ,("Debug on","False") ,("LibDir","/usr/local/lib/ghc-7.8.3") ,("Global Package DB","/usr/local/lib/ghc-7.8.3/package.conf.d") ] It was built from source. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9555#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #9555: internal error: ARR_WORDS object entered!
by GHC 05 Sep '14

05 Sep '14

#9555: internal error: ARR_WORDS object entered! -------------------------------------+------------------------------------- Reporter: walck | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by slyfox): Can you tell a bit more about your environment? - what linux distribution is that - gcc version - glibc version - binutils version - 'ghc --info' output - was it manually built ghc or piched from haskell.org -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9555#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #9555: internal error: ARR_WORDS object entered!
by GHC 05 Sep '14

05 Sep '14

#9555: internal error: ARR_WORDS object entered! -------------------------------------+------------------------------------- Reporter: walck | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by walck): {{{ $ ghc -v -e 'Data.Complex.Cyclotomic.goldenRatio' Glasgow Haskell Compiler, Version 7.8.3, stage 2 booted by GHC version 7.8.2 Using binary package database: /usr/local/lib/ghc-7.8.3/package.conf.d/package.cache Using binary package database: /home/walck/.ghc/x86_64-linux-7.8.3/package.conf.d/package.cache wired-in package ghc-prim mapped to ghc- prim-0.3.1.0-954cb57749cf319beafdc89b3415422c wired-in package integer-gmp mapped to integer- gmp-0.5.1.0-d42e6a7874a019e6a0d1c7305ebc83c4 wired-in package base mapped to base-4.7.0.1-e4b74d27ad8c8987c63abc42a80e7335 wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.9.0.0-3afdeeadb657091939ef0bfa600dc614 wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: Loading package ghc-prim ... linking ... done. *** gcc: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -L/usr/local/lib/ghc-7.8.3/integer-gmp-0.5.1.0 --print-file-name libgmp.so Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. *** Parser: *** Desugar: *** Simplify: *** CorePrep: *** ByteCodeGen: Loading package transformers-0.3.0.0 ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package mtl-2.1.3.1 ... linking ... done. Loading package random-1.0.1.3 ... linking ... done. Loading package arithmoi-0.4.1.1 ... linking ... done. Loading package cyclotomic-0.4.3 ... linking ... done. <interactive>: internal error: ARR_WORDS object entered! (GHC version 7.8.3 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9555#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #9554: Pathological type family turns type error into runtime loop (was: Pathological type family seems to violate FC operational semantics)
by GHC 05 Sep '14

05 Sep '14

#9554: Pathological type family turns type error into runtime loop -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by goldfire): Another look at this revealed it's not as bad as I thought: the `Show` instance for `Proxy` is ''lazy'' in its argument. So, `foo` was never being evaluated. But, consider this: {{{#!hs {-# LANGUAGE TypeFamilies, UndecidableInstances #-} import Data.Proxy type family F a where F a = F (F a) foo :: Proxy (F Bool) -> Proxy (F Int) foo x = x main = case foo Proxy of Proxy -> putStrLn "Made it!" }}} This ''does'' properly force `foo`, and the result is a runtime loop. The core is similar to that in the original post, in that it contains clearly looping coercions. This is bad: it means that `-XUndecidableInstances` allows programs to go wrong, contrary to my (and many others') assumptions about `-XUndecidableInstances`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9554#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #9555: internal error: ARR_WORDS object entered!
by GHC 05 Sep '14

05 Sep '14

#9555: internal error: ARR_WORDS object entered! -------------------------------------+------------------------------------- Reporter: walck | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: x86_64 (amd64) Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by slyfox): * cc: slyfox (added) Comment: I've tried 'cyclotomic-0.4.3' package and it does not seem to crash that easily. Which one do you try to use? May I ask you to post complete output of: {{{ ghc -v -e 'Data.Complex.Cyclotomic.goldenRatio' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9555#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9449: GHC.Prim documentation says "Safe Inferred"
by GHC 05 Sep '14

05 Sep '14

#9449: GHC.Prim documentation says "Safe Inferred" -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Documentation | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The Haddock docs for GHC.Prim (for example, [http://haddocks.fpcomplete.com/fp/7.7/20131212-1/ghc-prim/GHC-Prim.html here]) says that it is Safe-Inferred. This is very bogus. When testing, I was (happily) unable to import `GHC.Prim` into a `Safe` module, so I think this is just a documentation bug. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9449> 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 04 Sep '14

04 Sep '14

#5289: Can't use ghci with a library linked against libstdc++ -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.0.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by MikolajKonarski): Replying to [comment:48 MichalGajda]: > On Windows, this bug seems also to prevent linking libraries that depend on double-conversion and Template Haskell. Are the symptoms similar to #9553? Does a similar workaround work? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5289#comment:51> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7206: Implement cheap build
by GHC 04 Sep '14

04 Sep '14

#7206: Implement cheap build -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by edsko): * cc: edsko (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9551: Remove max_bytes_used from haddock tests
by GHC 04 Sep '14

04 Sep '14

#9551: Remove max_bytes_used from haddock tests -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Simon M says: “I think we should probably remove the max_bytes_used limits for the Haddock tests.” (I plan to “fix” this in the HIW contributors talk, so please do _not_ fix it just now :-). And sorry for the noise...) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9551> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9548: Numerical type system problem
by GHC 04 Sep '14

04 Sep '14

#9548: Numerical type system problem -------------------------------------+------------------------------------- Reporter: vxanica | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.8.3 Keywords: Number | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Originally, in haskell 98 the factorial function {{{#!hs f 0 = 1 f n = n * f (n - 1) }}} has type Num a => a -> a, while after ghc 7.4 it requires Eq type class. I suggest that Num type class should be redefined as {{{#!hs class Eq a => Num a where ... }}} Since all the numbers are equality checkable. we can be more aggressive to have Order super class for numbers even complex numbers are not well ordered. I suppose that this is like the historical problem like Applicative should be the super class of Monad. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9548> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3