December 2015 - ghc-tickets

Re: [GHC] #5296: Add explicit type applications
by GHC 21 Dec '15

21 Dec '15

#5296: Add explicit type applications -------------------------------------+------------------------------------- Reporter: dsf | Owner: goldfire Type: feature request | Status: new Priority: low | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.0.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: 1897 | Blocking: 10770 Related Tickets: #4466 | Differential Rev(s): Phab:D1681 Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * differential: Phab:D1138 => Phab:D1681 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5296#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5217: GADT declaration not (yet) handled by Template Haskell
by GHC 21 Dec '15

21 Dec '15

#5217: GADT declaration not (yet) handled by Template Haskell -------------------------------------+------------------------------------- Reporter: Ashley Yakeley | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.0.3 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: th/T5217 Blocked By: | Blocking: Related Tickets: #10828 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * related: => #10828 Comment: #10828 extends TH syntax to support GADTs without encoding them as normal data types. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5217#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4188: Template Haskell support for reifying non-vanilla data constructors
by GHC 21 Dec '15

21 Dec '15

#4188: Template Haskell support for reifying non-vanilla data constructors -------------------------------------+------------------------------------- Reporter: illissius | Owner: illissius Type: feature request | Status: closed Priority: normal | Milestone: Component: Template Haskell | Version: Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: th/T4188 Blocked By: | Blocking: Related Tickets: #10828 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * related: => #10828 Comment: Note that #10828 adds proper support for representing GADTs in Template Haskell. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4188#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10901: failing build of ghc in openSUSE with ncurses-6.0
by GHC 21 Dec '15

21 Dec '15

#10901: failing build of ghc in openSUSE with ncurses-6.0 -------------------------------------+------------------------------------- Reporter: mimi.vx | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build | Version: 7.10.2 System | Keywords: | Operating System: Linux Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- build of GHC-7.10.2 in openSUSE:Factory always fails with: {{{ [ 530s] "/usr/bin/ghc" -o utils/ghc-pkg/dist/build/tmp/ghc-pkg -hisuf hi -osuf o -hcsuf hc -static -H32m -O -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/ghc-pkg/. -iutils/ghc-pkg/dist/build -iutils/ghc-pkg/dist/build/autogen -Iutils/ghc- pkg/dist/build -Iutils/ghc-pkg/dist/build/autogen -optP-include -optPutils/ghc-pkg/dist/build/autogen/cabal_macros.h -package Cabal-1.22.4.0 -package base-4.7.0.1 -package bin-package-db-0.0.0.0 -package binary-0.7.5.0 -package bytestring-0.10.4.0 -package containers-0.5.5.1 -package directory-1.2.1.0 -package filepath-1.3.0.2 -package process-1.2.0.0 -package terminfo-0.4.0.1 -package unix-2.7.0.1 -XHaskell2010 -no-user-package-db -rtsopts -odir utils/ghc- pkg/dist/build -hidir utils/ghc-pkg/dist/build -stubdir utils/ghc- pkg/dist/build -optl-L'/home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/terminfo/dist- boot/build' -optl-L'/home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/bin- package-db/dist-boot/build' -optl-L'/home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/Cabal/Cabal/dist- boot/build' -optl-L'/usr/lib/ghc-7.8.3/process-1.2.0.0' -optl-L'/usr/lib/ghc-7.8.3/pretty-1.1.1.1' -optl-L'/usr/lib/ghc-7.8.3/directory-1.2.1.0' -optl-L'/usr/lib/ghc-7.8.3/unix-2.7.0.1' -optl-L'/usr/lib/ghc-7.8.3/time-1.4.2' -optl-L'/usr/lib/ghc-7.8.3/old- locale-1.0.0.6' -optl-L'/usr/lib/ghc-7.8.3/filepath-1.3.0.2' -optl-L'/home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/binary/dist- boot/build' -optl-L'/usr/lib/ghc-7.8.3/containers-0.5.5.1' -optl-L'/usr/lib/ghc-7.8.3/bytestring-0.10.4.0' -optl-L'/usr/lib/ghc-7.8.3/deepseq-1.3.0.2' -optl-L'/usr/lib/ghc-7.8.3/array-0.5.0.0' -optl-L'/usr/lib/ghc-7.8.3/base-4.7.0.1' -optl-L'/usr/lib/ghc-7.8.3 /integer-simple-0.1.1.0' -optl-L'/usr/lib/ghc-7.8.3/ghc-prim-0.3.1.0' -optl-L'/usr/lib/ghc-7.8.3/rts-1.0' -optl-ltinfo -optl-lrt -optl-lutil -optl-ldl -optl-lpthread -optl-lm -optl-lrt -optl-ldl -static -H32m -O -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils /ghc-pkg/. -iutils/ghc-pkg/dist/build -iutils/ghc-pkg/dist/build/autogen -Iutils/ghc-pkg/dist/build -Iutils/ghc-pkg/dist/build/autogen -optP- include -optPutils/ghc-pkg/dist/build/autogen/cabal_macros.h -package Cabal-1.22.4.0 -package base-4.7.0.1 -package bin-package-db-0.0.0.0 -package binary-0.7.5.0 -package bytestring-0.10.4.0 -package containers-0.5.5.1 -package directory-1.2.1.0 -package filepath-1.3.0.2 -package process-1.2.0.0 -package terminfo-0.4.0.1 -package unix-2.7.0.1 -XHaskell2010 -no-user-package-db -rtsopts utils/ghc- pkg/dist/build/Main.o utils/ghc-pkg/dist/build/Version.o [ 531s] /home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/terminfo/dist- boot/build/libHSterminfo-0.4.0.1.a(Base.o): In function `c8bd_info': [ 531s] /tmp/ghc13028_0/ghc13028_6.o:(.text+0x1a1a): undefined reference to `cur_term' [ 531s] /tmp/ghc13028_0/ghc13028_6.o:(.text+0x1a1e): undefined reference to `cur_term' [ 531s] /home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/terminfo/dist- boot/build/libHSterminfo-0.4.0.1.a(Base.o): In function `c8bw_info': [ 531s] /tmp/ghc13028_0/ghc13028_6.o:(.text+0x1b2a): undefined reference to `cur_term' [ 531s] /tmp/ghc13028_0/ghc13028_6.o:(.text+0x1b2e): undefined reference to `cur_term' [ 531s] /home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/terminfo/dist- boot/build/libHSterminfo-0.4.0.1.a(Base.o): In function `s7EW_info': [ 531s] /tmp/ghc13028_0/ghc13028_6.o:(.text+0x1d02): undefined reference to `cur_term' [ 531s] /home/abuild/rpmbuild/BUILD/ghc-7.10.2/libraries/terminfo/dist- boot/build/libHSterminfo-0.4.0.1.a(Base.o):/tmp/ghc13028_0/ghc13028_6.o:(.text+0x1d06): more undefined references to `cur_term' follow [ 531s] collect2: error: ld returned 1 exit status [ 531s] utils/ghc-pkg/ghc.mk:46: recipe for target 'utils/ghc- pkg/dist/build/tmp/ghc-pkg' failed [ 531s] make[1]: *** [utils/ghc-pkg/dist/build/tmp/ghc-pkg] Error 1 [ 531s] make[1]: *** Waiting for unfinished jobs.... [ 536s] <<ghc: 16682217032 bytes, 1311 GCs, 64109709/196614400 avg/max bytes residency (23 samples), 431M in use, 0.00 INIT (0.00 elapsed), 72.41 MUT (72.86 elapsed), 32.57 GC (32.60 elapsed) :ghc>> [ 540s] Makefile:71: recipe for target 'all' failed [ 540s] make: *** [all] Error 2 [ 540s] error: Bad exit status from /var/tmp/rpm-tmp.1kHoMD (%build) }}} in openSUSE was today updated ncurses to version 6.0 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10901> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10039: Make Const (Control.Applicative) kind polymorphic in its second argument
by GHC 21 Dec '15

21 Dec '15

#10039: Make Const (Control.Applicative) kind polymorphic in its second argument -------------------------------------+------------------------------------- Reporter: | Owner: Iceland_jack | Status: new Type: feature | Milestone: request | Version: 7.8.4 Priority: normal | Operating System: Unknown/Multiple Component: | Type of failure: None/Unknown libraries/base | Blocked By: Keywords: | Related Tickets: Architecture: | Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Is there any reason why `Const` isn't kind polymorphic? {{{#!hs newtype Const a (b :: k) = Const { getConst :: a } deriving (Generic, Generic1) }}} An example where I need it is for [[http://wiki.ocharles.org.uk/Name%20Binding%20in%20EDSLs|interpreting typed PHOAS]], the following fails to compile complaining that `The first argument of ‘PTerm’ should have kind ‘Ty -> *’, but ‘Const Char’ has kind ‘* -> *’`: {{{#!hs {-# LANGUAGE DataKinds, KindSignatures, GADTs, RankNTypes, PolyKinds #-} import Control.Applicative data Ty = TyBool | TyArr Ty Ty data PTerm :: (Ty -> *) -> Ty -> * where Var :: v t -> PTerm v t Tru :: PTerm v 'TyBool Fals :: PTerm v 'TyBool App :: PTerm v ('TyArr t1 t2) -> PTerm v t1 -> PTerm v t2 Abs :: (v t1 -> PTerm v t2) -> PTerm v ('TyArr t1 t2) newtype Term t = Term (forall v. PTerm v t) showT :: Term t -> String showT (Term pterm) = show' 'a' pterm where show' :: Char -> PTerm (Const Char) t -> String show' _ (Var (Const c)) = [c] show' _ Tru = "True" show' _ Fals = "False" show' s (App x y) = "(" ++ show' s x ++ ") " ++ show' s y show' s (Abs f) = [s] ++ ". " ++ show' (succ s) (f (Const s)) }}} but it compiles if one defines a bespoke form of `Const` with kind `* -> Ty -> *` (or the more general suggestion at the beginning of the ticket), I implemented all the related instances from `Control.Applicative` and the compiled without a hitch. Relevant discussion: a [[http://stackoverflow.com/questions/2023052/haskell-specifying-kind-in- data-declaration|question on StackOverflow]] that predates the `PolyKinds` extension effectively wants to define `type Const' (a :: * -> *) = Const Integer a` which would be possible if it were kind polymorphic. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10039> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #11166: Implement phase1 of Expand Floating Proposal (EFP)
by GHC 21 Dec '15

21 Dec '15

#11166: Implement phase1 of Expand Floating Proposal (EFP) -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: task | Status: new Priority: highest | Milestone: 8.0.1 Component: | Version: 7.10.2 libraries/base | 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: | prime:Libraries/Proposals/ExpandFloating -------------------------------------+------------------------------------- See details in prime:Libraries/Proposals/ExpandFloating -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11166> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #1311: newtypes of unboxed types disallowed - documentation bug and/or feature request
by GHC 21 Dec '15

21 Dec '15

#1311: newtypes of unboxed types disallowed - documentation bug and/or feature request -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I see no difficulty in principle, and I don’t think this would be too hard in practice. That is, you can give a new name (via newtype) to an unlifted type like `Int#`, `Float#`, `Double#` etc. Consequences: * newtypes might have kind `#` (unlifted) * The `Coercible` class would have to work over unlifted types See [https://mail.haskell.org/pipermail/ghc-devs/2015-December/010840.html email thread] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1311#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11242: GHCi ignores -fno-warn-typed-holes
by GHC 21 Dec '15

21 Dec '15

#11242: GHCi ignores -fno-warn-typed-holes -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- If I load the following code in GHCi: {{{ {-# LANGUAGE PartialTypeSignatures #-} main = print $ f 3 f :: Int -> _ f = id }}} I get a warning about having a type hole. But when I load GHCi with `-fno- warn-typed-holes` (or set it with `:set`) I still get the warning message. It seems that GHC does respect the flag, i.e. `ghc Main -fno-warn-typed- holes` does not produce a warning, as expected. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11242> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10865: Poly-kinded Const
by GHC 21 Dec '15

21 Dec '15

#10865: Poly-kinded Const -------------------------------------+------------------------------------- Reporter: int-index | Owner: ekmett Type: feature | Status: new request | Priority: normal | Milestone: Component: Core | Version: 7.10.2 Libraries | Keywords: poly- | Operating System: Unknown/Multiple kinded, Const | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Currently `Const` is defined as {{{ newtype Const a b = Const { getConst :: a } }}} I propose to define it poly-kinded in the second argument like so: {{{ newtype Const a (b :: k) = Const { getConst :: a } }}} This should be completely backwards-compatible. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10865> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10372: panic! compiling Y combinator with optimizations
by GHC 21 Dec '15

21 Dec '15

#10372: panic! compiling Y combinator with optimizations -------------------------------------+------------------------------------- Reporter: cdk | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: panic, | Operating System: Unknown/Multiple simplifier | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The following causes GHC 7.6.3, 7.8.3 and 7.10.1 (at least) to panic when compiling with optimizations: {{{#!hs module Y (y) where newtype Rec a = Rec { out :: Rec a -> a} k x = out x x y f = (f . k) (Rec (f . k)) }}} {{{ /tmp ««« ghc -O y.hs -fforce-recomp [1 of 1] Compiling Y ( y.hs, y.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.1 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone a_sof To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 5282 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10372> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2