August 2013 - ghc-tickets

[GHC] #8203: Yesod platform fails to build on ARM
by GHC 18 Nov '13

18 Nov '13

#8203: Yesod platform fails to build on ARM -----------------------------+--------------------------------- Reporter: randomist | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Keywords: | Operating System: Linux Architecture: arm | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+--------------------------------- Trying to build yesod platform on Samsung Chromebook (architecture is armv7l), and get this crash in compiling the package vector-0.10.0.1: [ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for arm-unknown-linux): Cant do annotations without GHCi {Data/Vector/Fusion/Stream/Monadic.hs:104:19-33} base:GHC.Exts.ForceSpecConstr{d ra42} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8203> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8198: One-shot mode is buggy w.r.t. hs-boot files
by GHC 13 Nov '13

13 Nov '13

#8198: One-shot mode is buggy w.r.t. hs-boot files -------------------------+------------------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: | Milestone: 7.8.1 normal | Version: 7.7 Component: | Operating System: Unknown/Multiple Driver | Type of failure: Incorrect warning at Keywords: | compile-time Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- Consider === A.hs-boot {{{ #!haskell module A where }}} === B.hs {{{ #!haskell module B where import {-# SOURCE #-} A }}} === Command Line {{{ $ ghc -c A.hs-boot B.hs B.hs:3:1: Bad interface file: A.hi-boot-boot A.hi-boot-boot: openBinaryFile: does not exist (No such file or directory) }}} I expect the modules to get compiled cleanly. Instead I get an error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8198> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8061: Support for Complex Double in Foreign Function Interface
by GHC 06 Nov '13

06 Nov '13

#8061: Support for Complex Double in Foreign Function Interface ------------------------------------+------------------------------------- Reporter: dsamperi | Owner: Type: feature request | 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: | ------------------------------------+------------------------------------- Currently the FFI only permits BASIC return types like Double, Int, Bool, etc., but NOT Complex Double (only slightly non-basic!). This makes it impossible to import a Fortran function (not subroutine) that returns a complex value. Adding support for Complex Double would make it easier to interface to external libs like BLAS and LAPACK; without this support wrapper C libs must be used, and these are not standardized (the Haskell package hs-linear-algebra currently has some problems related to this). Thus adding Foreign support for Complex Double (not just through Ptr) would open up access to a large collection of external Fortran libs for the Haskell community. Currently I get the message "Unacceptable return type in FFI" when I try to return IO (ComplexType). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8061> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8134: ghc enters a loop while building 7.6.3 for powerpc64 platform.
by GHC 04 Nov '13

04 Nov '13

#8134: ghc enters a loop while building 7.6.3 for powerpc64 platform. -----------------------------+------------------------------------- Reporter: k0da | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.3 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: powerpc64 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+------------------------------------- It enters a loop around 3414s] "/home/abuild/rpmbuild/BUILD/ghc-boot/bin/ghc" -M -dep-makefile compiler/stage1/build/.depend-v.haskell.tmp -include-pkg-deps -H32m -O -package-db libraries/bootstrapping.conf -package-name ghc-7.6.3 -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/stage1/build -icompiler/stage1 ... building 7.6.1 didn't had such problem strace shows: futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 futex(0x1002420f97c, FUTEX_WAIT_PRIVATE, 1137, NULL) = ? ERESTARTSYS (To be restarted) --- SIGVTALRM (Virtual timer expired) @ 0 (0) --- rt_sigreturn(0x1a) = -1100117768572 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8134> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #8170: Remove _scc_
by GHC 01 Nov '13

01 Nov '13

#8170: Remove _scc_ ------------------------------------+------------------------------------- Reporter: monoidal | 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: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- _scc_ is an ancient way of writing {-# SCC #-} pragmas. The old pragmas were discouraged in 2001 ([http://www.haskell.org/ghc/docs/5.00/set/release-5-00.html GHC 5.0]) and officialy deprecated in 2007 ([http://www.haskell.org/ghc/docs/6.8.3/html/users_guide/release-6-8-1.html GHC 6.8]). I downloaded the archive of the latest versions of packages in Hackage; there are over 1000 occurrences of {-# SCC #-} and 0 occurrences of _scc_. Patch attached. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8170> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8139: ghc 7.6.3 fails to build on OS X 10.9
by GHC 01 Nov '13

01 Nov '13

#8139: ghc 7.6.3 fails to build on OS X 10.9 ----------------------------------+------------------------------------- Reporter: darinmorrison | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------------- ghc 7.6.3 does not compile on OS X 10.9 (as of DP5). There are a few issues that seem to be causing this: 1) gcc is no longer available and the clang compatibility patches of http://ghc.haskell.org/trac/ghc/ticket/7678 are not included in 7.6.3. 2) There is some sort of bug that causes mkdirhier.sh to fail in some cases. 3) There is another bug when compiling RtsProbes.d with DTrace. The problem seems to be triggered by the inclusion of stdint.h. #undef-ing HAVE_STDINT_H only for the compilation of RtsProbes.d (which then includes inttypes.h instead) seems to work for some reason. A better solution may be possible from someone who understands the DTrace machinery better. The issue has has been discussed here: https://github.com/mxcl/homebrew/issues/20546 I have come up with a tentative patch that fixes problems (2) and (3) here (and also pasted below): https://github.com/darinmorrison/homebrew/commit/611c76f6d6701c482559a64fe2… {{{ diff --git a/includes/HsFFI.h b/includes/HsFFI.h index dceabab..bc5e423 100644 --- a/includes/HsFFI.h +++ b/includes/HsFFI.h @@ -21,7 +21,7 @@ extern "C" { #include "stg/Types.h" /* get limits for integral types */ -#ifdef HAVE_STDINT_H +#if defined HAVE_STDINT_H && !defined RTS_PROBES_D /* ISO C 99 says: * "C++ implementations should define these macros only when * __STDC_LIMIT_MACROS is defined before <stdint.h> is included." diff --git a/rts/RtsProbes.d b/rts/RtsProbes.d index 40665ac..8963ca7 100644 --- a/rts/RtsProbes.d +++ b/rts/RtsProbes.d @@ -6,6 +6,8 @@ * * ---------------------------------------------------------------------------*/ +#define RTS_PROBES_D + #include "HsFFI.h" #include "rts/EventLogFormat.h" diff --git a/utils/mkdirhier/mkdirhier.sh b/utils/mkdirhier/mkdirhier.sh index 4c5d5f7..80762f4 100644 --- a/utils/mkdirhier/mkdirhier.sh +++ b/utils/mkdirhier/mkdirhier.sh @@ -1,4 +1,4 @@ #!/bin/sh -mkdir -p ${1+"$@"} +mkdir -p ${1+"./$@"} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8139> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19

[GHC] #8205: the 'impossible' happened : expectJust block_order
by GHC 22 Oct '13

22 Oct '13

#8205: the 'impossible' happened : expectJust block_order -----------------------------+---------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+---------------------------------------- Currently at commit 7e91e5bf84c2b3f461934b43911c0defb61dd9c6 and this was not failing to build 2 days ago. Compiling results in: {{{ "inplace/bin/ghc-stage1" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -Werror -Wall -H64m -O0 -hide-all-packages -i -iutils/hpc/. -iutils/hpc/dist-install/build -iutils/hpc/dist-install/build/autogen -Iutils/hpc/dist-install/build -Iutils/hpc/dist-install/build/autogen -optP-include -optPutils/hpc/dist-install/build/autogen/cabal_macros.h -package array-0.4.0.2 -package base-4.7.0.0 -package containers-0.5.2.1 -package directory-1.2.0.1 -package hpc-0.6.0.1 -XHaskell98 -XCPP -no-user-package-db -rtsopts -fwarn-tabs -odir utils/hpc/dist- install/build -hidir utils/hpc/dist-install/build -stubdir utils/hpc/dist- install/build -c utils/hpc/dist-install/build/HpcParser.hs -o utils/hpc/dist-install/build/HpcParser.dyn_o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130830 for powerpc64-unknown-linux): expectJust block_order }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8205> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 39

[GHC] #8119: better type inference for lambdas
by GHC 18 Oct '13

18 Oct '13

#8119: better type inference for lambdas -------------------------------------------+------------------------------- Reporter: dmwit | 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: | Test Case: | Blocking: -------------------------------------------+------------------------------- With the following code in a file: {{{ {-# LANGUAGE TypeFamilies #-} class Test a where test :: a instance (a ~ Int, b ~ Int) => Test (a -> b) where test = id }}} We can tell ghci that {{{test}}} is a function (and nothing more) in two different ways: {{{ *Main> :t test `asTypeOf` (undefined :: a -> b) test `asTypeOf` (undefined :: a -> b) :: Int -> Int *Main> :t \x -> test x \x -> test x :: Test (t1 -> t) => t1 -> t }}} The type inferred for {{{\x -> test x}}} is very disappointing in comparison! A similar example can be cooked up with MPTCs and functional dependencies; see also http://lpaste.net/91534 for some (still quite abstract, of course) motivation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8119> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8047: Implement line-number %-substitution for prompt-string
by GHC 07 Oct '13

07 Oct '13

#8047: Implement line-number %-substitution for prompt-string ------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: GHCi | 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: | ------------------------------------+------------------------------------- Currently, GHCi supports the following `%`-interpolations: > `:set prompt prompt` > > Sets the string to be used as the prompt in GHCi. Inside prompt, the sequence %s is replaced by the names of the modules currently in scope, and %% is replaced by %. If prompt starts with " then it is parsed as a Haskell String; otherwise it is treated as a literal string. The attached patch implements the `%l` variable, which gets replaced by the current line number of the shown prompt. The motivation being, that compiler messages refer to interactively entered bindings by the line number when they were defined, which are a bit hard to keep track of, e.g.: {{{ λ> :set prompt "\955:%l> " λ:3> let x = () x :: () λ:4> let x = ((),()) x :: ((), ()) λ:5> print xx <interactive>:5:7: Not in scope: ‛xx’ Perhaps you meant ‛x’ (line 4) λ:6> :info x x :: ((), ()) -- Defined at <interactive>:4:5 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8047> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8173: GHC uses nub
by GHC 05 Oct '13

05 Oct '13

#8173: GHC uses nub -------------------------------------+------------------------------------- Reporter: nh2 | 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: Compile-time Difficulty: Moderate (less | performance bug than a day) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- nub is O(n²). I bet all usages have Ord instances. https://github.com/nh2/haskell-ordnub -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8173> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 18