December 2015 - ghc-tickets

[GHC] #11277: Undeclared `CCS_MAIN` in unregisterised build
by GHC 03 Jan '16

03 Jan '16

#11277: Undeclared `CCS_MAIN` in unregisterised build -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The unregisterised build currently fails with: {{{ "inplace/bin/ghc-stage1" -static -prof -O -H64m -Wall -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -this-package-key rts -optc-DNOSMP -dcmm-lint -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen -O2 c rts/PrimOps.cmm -o rts/dist/build/PrimOps.p_o /tmp/ghc12993_0/ghc_3.hc: In function ‘clB_entry’: /tmp/ghc12993_0/ghc_3.hc:2983:24: error: error: ‘CCS_MAIN’ undeclared (first use in this function) *((P_)(_cly+8)) = (W_)&CCS_MAIN; ^ /tmp/ghc12993_0/ghc_3.hc:2983:24: error: note: each undeclared identifier is reported only once for each function it appears in /tmp/ghc12993_0/ghc_3.hc: In function ‘stg_mkApUpd0zh’: /tmp/ghc12993_0/ghc_3.hc:3031:24: error: error: ‘CCS_MAIN’ undeclared (first use in this function) *((P_)(_clP+8)) = (W_)&CCS_MAIN; ^ /tmp/ghc12993_0/ghc_3.hc: In function ‘stg_clearCCSzh’: /tmp/ghc12993_0/ghc_3.hc:3323:40: error: error: ‘CCS_MAIN’ undeclared (first use in this function) CCCS = (struct CostCentreStack_ *)(W_)&CCS_MAIN; }}} which is almost certainly a result of commit c8c44fd91b509b9eb6. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11277> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10379: Prefix syntax for promoted list kind isn't parsed properly
by GHC 03 Jan '16

03 Jan '16

#10379: Prefix syntax for promoted list kind isn't parsed properly -------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- (Originally from https://stackoverflow.com/questions/27673578/) Given the following input file: {{{ {-# LANGUAGE KindSignatures, GADTs, DataKinds, TypeOperators #-} data Foo1 :: [*] -> * where data Foo2 :: ([] *) -> * where }}} it fails on the definition of `Foo2`: {{{ list-promote2.hs:4:16: parse error on input `]' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10554: Replacing existing attachment with the same name doesn't work
by GHC 03 Jan '16

03 Jan '16

#10554: Replacing existing attachment with the same name doesn't work -------------------------------------+------------------------------------- Reporter: thomie | Owner: hvr Type: bug | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10554> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11288: Thread blocked indefinitely in a Mvar operation
by GHC 03 Jan '16

03 Jan '16

#11288: Thread blocked indefinitely in a Mvar operation --------------------------------+------------------------------------------ Reporter: ygor_2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: Installing GHC failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+------------------------------------------ During the stack upgrade process the following error occurred: A specified local key could not be updated from keyserver. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11288> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11280: getCurrentDirectory should raise better error string when cwd doesn't exist
by GHC 03 Jan '16

03 Jan '16

#11280: getCurrentDirectory should raise better error string when cwd doesn't exist -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: low | Milestone: ⊥ Component: | Version: 7.11 libraries/directory | Keywords: easy | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Run this script in a directory which no longer exists: {{{ import System.Directory main = getCurrentDirectory >>= putStrLn }}} Currently the error looks like: {{{ ezyang@sabre:~/test$ ./test bash: ./test: No such file or directory }}} It would be nicer to give a better message in this case. Originally reported https://github.com/haskell/cabal/issues/2902 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11280> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10592: Allow cycles in class declarations
by GHC 03 Jan '16

03 Jan '16

#10592: Allow cycles in class declarations -------------------------------------+------------------------------------- Reporter: | Owner: MikeIzbicki | Status: new Type: feature | Milestone: request | Version: 7.10.1 Priority: normal | Operating System: Unknown/Multiple Component: Compiler | Type of failure: None/Unknown (Type checker) | Blocked By: Keywords: | Related Tickets: Architecture: | Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- In particular, I would like to have a class hierarchy that looks like: {{{ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-} type family Scalar x class Field (Scalar x) => Vector x class Vector x => Field x }}} It is the case that every field is a vector, and the scalar associated with every vector is a field. But we can't currently enforce that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10592> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19

[GHC] #10846: PartialTypeSignatures change implicit CallStack behavior
by GHC 02 Jan '16

02 Jan '16

#10846: PartialTypeSignatures change implicit CallStack behavior -------------------------------------+------------------------------------- Reporter: | Owner: nitromaster101 | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I have two functions, f and f2 which are identical expect for the use of PartialTypeSignatures in f2. GHC produces a warning and says that f2's wildcard is filled in by String, which is correct. {{{#!hs {-# LANGUAGE ImplicitParams, PartialTypeSignatures #-} import GHC.Types f :: (?loc :: CallStack) => String f = show $ map (srcLocStartLine . snd) $ getCallStack ?loc f2 :: (?loc :: CallStack) => _ f2 = show $ map (srcLocStartLine . snd) $ getCallStack ?loc f_caller = f f2_caller = f2 }}} {{{ [1 of 1] Compiling Main ( Bug2.hs, interpreted ) Bug2.hs:8:30: warning: Found type wildcard ‘_’ standing for ‘String’ In the type signature for: f2 :: (?loc :: CallStack) => _ Ok, modules loaded: Main. *Main> f_caller "[6,11]" *Main> f2_caller "[9]" }}} f2_caller should have two entries (f2_caller's line and f2's line), just like f_caller. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10846> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11326: bindist built in docker won't install
by GHC 02 Jan '16

02 Jan '16

#11326: bindist built in docker won't install -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Building with https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Linux#Docker as follows {{{ git checkout e4cc19de4bdbccea589d41717e31d63b088a8990 git submodule update ./configure CPUS=5 ./validate }}} Thereafter {{{ tar xvf ~/mysrc/git.haskell.org/ghc/bindistprep/ghc-7.11.20151229-x86_64 -unknown-linux.tar.bz2 cd ghc-7.11.20151229 ./configure make install }}} Fails with {{{ "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" copy libraries /ghc-prim dist-install "strip" '' '/opt/ghc/7.11.20151229' '/opt/ghc/7.11.20151229/lib/ghc-7.11.20151229' '/opt/ghc/7.11.20151229/share/doc/ghc/html/libraries' 'v dyn' ghc-cabal: /home/ghc/libraries/ghc-prim/ghc-prim.cabal: does not exist }}} The path `/home/ghc/libraries/ghc-prim/ghc-prim.cabal` is the absolute path to the file in the docker file system, i.e. it is the location when the tar was constructed. Bisection log {{{ alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git checkout 5bb7fecb09f828ea41e5b5a295ea159fa405dcc5 M libraries/Cabal M libraries/primitive M libraries/unix M utils/haddock Note: checking out '5bb7fecb09f828ea41e5b5a295ea159fa405dcc5'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by performing another checkout. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -b with the checkout command again. Example: git checkout -b <new-branch-name> HEAD is now at 5bb7fec... Export some useful GHC API functions. alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git submodule update Submodule path 'libraries/Cabal': checked out '679812d2b679af952a7c9ab45a9a3a3476874a07' Submodule path 'libraries/primitive': checked out '83d3d23d2fa1583ecd1b59464cc889924e1b5fff' Submodule path 'utils/haddock': checked out '80f2f9805b61e8cea291bae8ce22db626dc11f21' alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git bisect good Bisecting: 11 revisions left to test after this (roughly 4 steps) [c06b46d0313cafe05f8250a660b4481d7c1d298f] Fix #11305. alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git bisect bad Bisecting: 5 revisions left to test after this (roughly 3 steps) [fcc76493c8b35001fc1b22738cc64ff9506e278a] Introduce negative patterns for literals (addresses #11303) alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git bisect good Bisecting: 2 revisions left to test after this (roughly 2 steps) [e4cc19de4bdbccea589d41717e31d63b088a8990] Update Cabal submodule to latest snapshot alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git bisect bad Bisecting: 0 revisions left to test after this (roughly 1 step) [adcbc98f50cd6bb01dfcf4c98ad5fe414f7cc40c] Add regression test for #11303 alanz@alanz-laptop:~/mysrc/git.haskell.org/ghc$ git bisect good e4cc19de4bdbccea589d41717e31d63b088a8990 is the first bad commit commit e4cc19de4bdbccea589d41717e31d63b088a8990 Author: Herbert Valerio Riedel <hvr(a)gnu.org> Date: Tue Dec 29 22:19:54 2015 +0100 Update Cabal submodule to latest snapshot :040000 040000 9ba8cf17f85a186265761f3f1e4a11c809d0a54f 7cec7703b483a73f07d2414b364e0f3923970b1f M libraries }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11326> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #11321: API Annotations: AnnTilde missing
by GHC 02 Jan '16

02 Jan '16

#11321: API Annotations: AnnTilde missing -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In T10689a.hs, the fragment {{{#!hs data instance Sing (z :: [a]) = z ~ '[] => SNil | forall (m :: a) (n :: [a]). z ~ (:) m n => SCons (Sing m) (Sing n) }}} ends up with the `AnnTilde` annotations for the two tildes not attached to the final AST. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11321> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9590: AMP breaks `haskell2010` package
by GHC 02 Jan '16

02 Jan '16

#9590: AMP breaks `haskell2010` package -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: | Version: 7.9 libraries/haskell2010 | Operating System: Keywords: AMP | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHC Difficulty: Unknown | rejects valid program Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- (and probably also `haskell98`) I hate to be the one pointing this out, but the AMP has one ugly side- effect. Consider the following session: ``` $ inplace/bin/ghc-stage2 --interactive -XHaskell2010 -hide-all-packages -package haskell2010 GHCi, version 7.9.20140914: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim-0.3.1.0 ... linking ... done. Loading package integer-gmp-0.5.1.0 ... linking ... done. Loading package base-4.8.0.0 ... linking ... done. Loading package array-0.5.0.1 ... linking ... done. Loading package haskell2010-1.1.2.1 ... linking ... done. λ:2> data Identity a = Identity a data Identity a = Identity a λ:3> instance Monad Identity <interactive>:3:10: No instance for (base-4.8.0.0:GHC.Base.Applicative Identity) arising from the superclasses of an instance declaration In the instance declaration for ‘Monad Identity’ λ:4> :info Monad class base-4.8.0.0:GHC.Base.Applicative m => Monad (m :: * -> *) where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a fail :: String -> m a -- Defined in ‘base-4.8.0.0:GHC.Base’ instance Monad (Either e) -- Defined in ‘base-4.8.0.0:Data.Either’ instance Monad Maybe -- Defined in ‘base-4.8.0.0:Data.Maybe’ instance Monad [] -- Defined in ‘base-4.8.0.0:GHC.Base’ instance Monad IO -- Defined in ‘base-4.8.0.0:GHC.Base’ instance Monad ((->) r) -- Defined in ‘base-4.8.0.0:GHC.Base’ λ:5> ``` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9590> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 23