April 2014 - ghc-tickets

Re: [GHC] #6017: Reading ./.ghci files raises security issues
by GHC 22 Apr '14

22 Apr '14

#6017: Reading ./.ghci files raises security issues -------------------------------------+------------------------------------ Reporter: nomeata | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.3 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * status: closed => new * resolution: fixed => Comment: Whoops, sorry. I misread the intention of the ticket, here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6017#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6017: Reading ./.ghci files raises security issues
by GHC 22 Apr '14

22 Apr '14

#6017: Reading ./.ghci files raises security issues -------------------------------------+------------------------------------ Reporter: nomeata | Owner: Type: task | Status: closed Priority: high | Milestone: 7.8.3 Component: GHCi | Version: 7.4.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * cc: hvr (added) * status: new => closed * resolution: => fixed Comment: This is now fixed, and also merged to the 7.8 branch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6017#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8985: Strange kind error with type family, GADTs, data kinds, and kind polymorphism
by GHC 22 Apr '14

22 Apr '14

#8985: Strange kind error with type family, GADTs, data kinds, and kind polymorphism -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Consider the following test case (I've tried hard to make it minimal, which unfortunately means there's not a lot of intuition left): {{{ {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, GADTs, TypeOperators #-} data X (xs :: [k]) = MkX data Y :: (k -> *) -> [k] -> * where MkY :: f x -> Y f (x ': xs) type family F (a :: [[*]]) :: * type instance F xss = Y X xss works :: Y X '[ '[ ] ] -> () works (MkY MkX) = () fails :: F '[ '[ ] ] -> () fails (MkY MkX) = () }}} This code compiles in GHC 7.6.3, but it fails in GHC 7.8.1 (both rc2 and the actual release) with the following error: {{{ TestCase.hs:14:8: Couldn't match kind ‘k0’ with ‘*’ Expected type: F '['[]] Actual type: Y t0 t1 In the pattern: MkY MkX In an equation for ‘fails’: fails (MkY MkX) = () TestCase.hs:14:12: Couldn't match type ‘t0’ with ‘X’ ‘t0’ is untouchable inside the constraints (t1 ~ (x : xs)) bound by a pattern with constructor MkY :: forall (f :: k -> *) (x :: k) (xs :: [k]). f x -> Y f (x : xs), in an equation for ‘fails’ at TestCase.hs:14:8-14 Expected type: t0 x Actual type: X x In the pattern: MkX In the pattern: MkY MkX In an equation for ‘fails’: fails (MkY MkX) = () }}} I'm puzzled that simply adding the type family invokation makes the type checker fail with a kind error, even though the type family itself itsn't kind-polymorphic. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8985> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8954: Reifying the nullary unboxed tuple is broken
by GHC 22 Apr '14

22 Apr '14

#8954: Reifying the nullary unboxed tuple is broken ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Template Haskell | Version: 7.8.1-rc2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Here is my code: {{{ {-# LANGUAGE TemplateHaskell, UnboxedTuples #-} module Bug where import Language.Haskell.TH $( do _ <- reify ''(##) return [] ) }}} And here is GHC's response: {{{ Can't find interface-file declaration for type constructor or class GHC.Prim.(##) Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error }}} Non-nullary unboxed tuples behave fine. This behavior is the same whether or not there is a space in the nullary unboxed tuple. Believe me -- I actually was just bit by this bug. I'm happy to fix, but could someone give me a pointer as to where the problem might be? I have the feeling someone reading this will know quite quickly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8954> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8966: Pattern synonyms and kind-polymorphism
by GHC 22 Apr '14

22 Apr '14

#8966: Pattern synonyms and kind-polymorphism -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- There's a strange interaction between pattern synonyms, GADTs, kind polymorphism and data kinds. The following module fails to compile with ghc-7.8.1-rc2, but I think it should: {{{ {-# LANGUAGE PolyKinds, KindSignatures, PatternSynonyms, DataKinds, GADTs #-} data NQ :: [k] -> * where D :: NQ '[a] pattern Q = D }}} I get the following error: {{{ KindPat.hs:6:13: Could not deduce (a ~ a0) from the context (t ~ '[a]) bound by the type signature for (Main.$WQ) :: t ~ '[a] => NQ t at KindPat.hs:6:9 ‘a’ is a rigid type variable bound by the type signature for (Main.$WQ) :: t ~ '[a] => NQ t at KindPat.hs:6:13 Expected type: NQ t Actual type: NQ '[a0] In the expression: D In an equation for ‘$WQ’: ($WQ) = D }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8966> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8861: Use commas to separate thousands when printing memory stats
by GHC 22 Apr '14

22 Apr '14

#8861: Use commas to separate thousands when printing memory stats -------------------------------------------+------------------------------- Reporter: ErlendH | Owner: Type: feature request | Status: new Priority: lowest | Milestone: Component: GHCi | 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: -------------------------------------------+------------------------------- In GHCi, by enabling printing of timing/memory stats after each evaluation (`:set +s`), the memory stats is printed in bytes. When this number is quite large, it's hard to see – at a glance – how much memory was used. It would be nicer if this was printed as “1,200,000 bytes” instead of “1200000 bytes” as is the case now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8861> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8932: Panic with TemplateHaskell and duplicate indentifiers
by GHC 22 Apr '14

22 Apr '14

#8932: Panic with TemplateHaskell and duplicate indentifiers -----------------------------------+--------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.8.1-rc2 Haskell | Operating System: Unknown/Multiple Keywords: | Type of failure: Compile-time crash Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- This code causes GHC panic under 7.8.1-RC2: {{{ {-# LANGUAGE TemplateHaskell #-} module TXXXX where $([d| foo :: a -> a foo x = x |]) foo :: a foo = undefined }}} {{{ [killy@xerxes : /dane/projekty/sandbox/haskell] ghc -fforce-recomp TXXXX.hs [1 of 1] Compiling TXXXX ( TXXXX.hs, TXXXX.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.4.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package template-haskell ... linking ... done. ghc: panic! (the 'impossible' happened) (GHC version 7.8.0.20140226 for x86_64-unknown-linux): lookupExactOcc foo_a2kL{v} [main:TXXXX.foo{v a2kL} defined at TXXXX.hs:11:1, main:TXXXX.foo{v a2kL} defined at TXXXX.hs:5:3] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8932> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8641: ghc with -odir and -prof cannot create the specified output directory
by GHC 22 Apr '14

22 Apr '14

#8641: ghc with -odir and -prof cannot create the specified output directory -----------------------------------+--------------------------------------- Reporter: wmarshall | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- Calling ghc with -odir set to a non-existent directory causes ghc to create the directory. However, if the -prof option is also specified, ghc fails to create the directory and quits with an error. Steps to reproduce: {{{ $ echo 'main = print "Hello world"' > Main.hs $ ghc Main.hs -odir bin [1 of 1] Compiling Main ( Main.hs, bin\Main.o ) Linking Main.exe ... $ rm -Rvf bin removed `bin/Main.o' removed directory: `bin' $ ghc Main.hs -odir bin -prof [1 of 1] Compiling Main ( Main.hs, bin\Main.o ) C:/Program Files (x86)/Haskell Platform/2013.2.0.0/mingw/bin/ld.exe: cannot open output file bin\Main.o: No such file or directory collect2: ld returned 1 exit status }}} Expected result: The output directory is created regardless of whether -prof is specified. The above commands were executed from within Cygwin, but the error occurs in the Windows command shell as well. (I used Cygwin here because it is easier to give precise instructions to reproduce the error.) I have only tested this on Windows. I do not know if the issue exists on Linux or other platforms. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8641> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #8458: T5435_dyn_asm fails on x86_64 Linux
by GHC 22 Apr '14

22 Apr '14

#8458: T5435_dyn_asm fails on x86_64 Linux --------------------------+------------------------------------------------ Reporter: | Owner: simonmar jstolarek | Status: new Type: bug | Milestone: Priority: normal | Version: 7.7 Component: | Operating System: Linux Runtime System | Type of failure: Incorrect result at runtime Keywords: | Test Case: Architecture: x86_64 | Blocking: (amd64) | Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ I keep getting failure from `T5435_dyn_asm` test: {{{ make WAY=normal TEST=T5435_dyn_asm =====> T5435_dyn_asm(normal) 2622 of 3829 [0, 0, 0] cd ./rts && $MAKE -s --no-print-directory T5435_dyn_asm </dev/null >T5435_dyn_asm.run.stdout 2>T5435_dyn_asm.run.stderr Actual stdout output differs from expected: --- ./rts/T5435_dyn_asm.stdout 2013-10-16 09:49:22.236712001 +0200 +++ ./rts/T5435_dyn_asm.run.stdout 2013-10-18 19:26:11.076223002 +0200 @@ -1,5 +1,5 @@ -initArray1 -initArray2 ctors1 ctors2 +initArray1 +initArray2 success *** unexpected failure for T5435_dyn_asm(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8458> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8940: "make help" fails
by GHC 22 Apr '14

22 Apr '14

#8940: "make help" fails ------------------------------------+------------------------------------- Reporter: uznx | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | 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: | ------------------------------------+------------------------------------- Although `make help` exists as a target in the GHC source Makefile, it fails because the file `MAKEHELP` does not exist. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8940> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3