September 2013 - ghc-tickets

[GHC] #8322: Report all missing module, not just the first or last
by GHC 02 Nov '13

02 Nov '13

#8322: Report all missing module, not just the first or last ------------------------------------+------------------------------------- Reporter: nomeata | 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: | ------------------------------------+------------------------------------- This is a usability issue bothering me for a while, so I’ll write it down (and potentially attempt to solve it myself). Given `Imports.hs` with {{{ import ABC import XYZ }}} with `ghc -c Imports.hs` I get {{{ Imports.hs:1:1: Failed to load interface for ‛ABC’ Use -v to see a list of the files searched for. }}} When I would want {{{ Imports.hs:1:1: Failed to load interface for ‛ABC’ Use -v to see a list of the files searched for. Imports.hs:2:1: Failed to load interface for ‛XYZ’ Use -v to see a list of the files searched for. }}} Interestingly, with `-c` ghc reports (just) the first, with `--make` (just) the last import... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8322> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8356: Strangeness with FunDeps
by GHC 01 Nov '13

01 Nov '13

#8356: Strangeness with FunDeps ----------------------------+---------------------------------------------- Reporter: ksf | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects valid program Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- {{{ {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GADTSyntax #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE FunctionalDependencies #-} import GHC.TypeLits data (:::) :: Symbol -> * -> * where Field :: sy ::: t class Replaced (sy :: Symbol) a b (xs :: [*]) (ys :: [*]) | sy a b xs -> ys, sy a b ys -> xs instance Replaced sy a b ((sy ::: a) ': xs) ((sy ::: b) ': ys) }}} results in {{{ Illegal instance declaration for [...] Multiple uses of this instance may be inconsistent with the functional dependencies of the class }}} The guess is that the FunDep Checker chokes on [*], as that error message doesn't make sense in this context. What I'm trying to do is to express "xs is ys and ys is xs with a and b interchanged at sy", all in a single predicate because my current type family implementation needs two and explodes the inferred types. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8356> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[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] #8242: Infinite loop with addCFinalizerToWeak
by GHC 25 Oct '13

25 Oct '13

#8242: Infinite loop with addCFinalizerToWeak --------------------------+------------------------------------------------ Reporter: akio | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.6.3 Runtime System | Operating System: Linux Keywords: | Type of failure: Incorrect result at runtime Architecture: x86_64 | Test Case: (amd64) | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ (moved from #8236 ) When I compile the attached program with {{{-threaded -O2}}} and run it, it does not terminate. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8242> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #8320: HEAD (4e2f6c2) build failure
by GHC 24 Oct '13

24 Oct '13

#8320: HEAD (4e2f6c2) build failure --------------------------------+---------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | --------------------------------+---------------------------------------- Anyone else see the build failure below? {{{ $ perl boot && ./configure && make ... attempting to use module `ghc-prim:GHC.Types' (libraries/ghc- prim/./GHC/Types.hs) which is not loaded make[1]: *** [libraries/ghc-prim/dist-install/doc/html/ghc-prim/ghc- prim.haddock] Error 1 make: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8320> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 40

[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] #8337: make it possible for the user to for orphanness of an annotation
by GHC 21 Oct '13

21 Oct '13

#8337: make it possible for the user to for orphanness of an annotation -------------------------------------------+------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: 7867 -------------------------------------------+------------------------------- A module is marked orphan currently only in the case when we detect orphan instances, rules, type families or vectorised stuff. In the use-case of #7867, the user will need a way to manage orphanness more directly. When she creates an annotation (with TH or by hand), it is written to the interface file. When another file directly imports this file, it is read, everything is right. But only orphan modules are searched for transitively. So in the case of command line flags (HFlags library), where we want to transitively read all the annotations (containing info about cmdline flags) in all the imported and grandchild imported modules, we have to mark the originator modules as orphan. This patch adds support for a special module level annotation that forces this module to be orphan. This is the first, meaningful, but still small part of a larger work to implement #7867. The next part will be TH support to generate annotations (not only) like this. I'd like to make this two part of 7.8.1, if still possible; because this already makes messaging possible through adhoc datatypes+instances. After that (probably for 7.10) we only have to make it possible to read (module) annotations back in the Q monad to have a clean solution. The laborious part of that is making module reifyable at all. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8337> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

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

19 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] #8358: Trivial comment fixup
by GHC 15 Oct '13

15 Oct '13

#8358: Trivial comment fixup -------------------------------------+------------------------------------- Reporter: krakrjak | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.8.1 Component: Build System | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation Difficulty: Easy (less than 1 | bug hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- While I was trying to build GHC HEAD today I ran across this minor inconsistency in the comments of the aclocal.m4 file. Attached is a patch to fix the version number in the comments. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8358> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3