May 2016 - ghc-tickets

[GHC] #12027: ghc 8.0rc4 treats INLINE pragmas for methods with default (implicit) definitions as errors
by GHC 09 May '16

09 May '16

#12027: ghc 8.0rc4 treats INLINE pragmas for methods with default (implicit) definitions as errors -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I was getting around to testing some of my maths code with ghc 8.0 and i noticed that whereas in ghc 7.10 and earlier i could have an INLINE pragma for a method of a type class method that has a default implementation (whether this did anything or not is another question), in ghc 8.0 this now gives an ERROR (with not even a warning in ghc 7.10) is this a deliberate design change or an accident? I dont see it in the release notes! heres a small program that illustrates the differences (builds fine with no mention of the INLINE pragma matter under -Wall for 7.10, errors during build in 8.0) {{{ {-# LANGUAGE NoImplicitPrelude #-} module Main where import Prelude (putStrLn) import qualified Data.Functor as Fun import qualified Data.Foldable as F import Prelude hiding (map,foldl,foldr,init,scanl,scanr,scanl1,scanr1,foldl1,foldr1) newtype ListWrap a = ListWrap { unListWrap :: [a] } deriving (Eq, Show) instance Foldable ListWrap where {-# INLINE foldMap #-} {-# INLINE foldr #-} foldMap f (ListWrap ls)= (F.foldMap f ls ) main = putStrLn "hello" }}} this may be a *valid* design change, but i've not seen it documented anywhere, such as the release notes in the RC or in https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0 ... so i'm assuming its a regression pending dicussion ;) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12027> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #11802: Make a Win32 release
by GHC 07 May '16

07 May '16

#11802: Make a Win32 release -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc3 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: -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11802> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11692: Suggest default definition of Applicative
by GHC 07 May '16

07 May '16

#11692: Suggest default definition of Applicative -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: GHCi | Version: 8.1 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: -------------------------------------+------------------------------------- {{{#!hs ghci> data A a = A a deriving (Show, Functor) ghci> instance Monad A <interactive>:3:10: error: • No instance for (Applicative A) arising from the superclasses of an instance declaration • In the instance declaration for ‘Monad A’ }}} could suggest defining it in terms of `Monad`: {{{#!hs <interactive>:3:10: error: • No instance for (Applicative A) arising from the superclasses of an instance declaration • In the instance declaration for ‘Monad A’ • Default implementation given a `Monad` instance: instance Applicative A where pure = return (<*>) = Control.Monad.ap }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11692> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11655: Ambiguous types in pattern synonym not determined by functional dependencies
by GHC 07 May '16

07 May '16

#11655: Ambiguous types in pattern synonym not determined by functional dependencies -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: 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: -------------------------------------+------------------------------------- The Glorious Glasgow Haskell Compilation System, version 8.1.20160117 {{{#!hs {-# LANGUAGE UndecidableInstances, KindSignatures, DataKinds, GADTs, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} data Ty ty where I :: Ty Int A :: Ty a -> Ty [a] data NUM = MKINT data SCALAR = MKNUM NUM data TYPE = MKSCALAR SCALAR | MKARR TYPE -- Each type determines a TYPE -- Int -> MKSCALAR (MKNUM MKINT) -- [Int] -> MKARR (MKSCALAR (MKNUM MKINT)) class GetTy ty (rep :: TYPE) | ty -> rep where getTy :: Ty ty instance GetTy Int (MKSCALAR (MKNUM MKINT)) where getTy = I instance GetTy a rep => GetTy [a] (MKARR rep) where getTy = A getTy data Unary a b where Un :: (GetTy a a_rep, GetTy b b_rep) => UnOp a b -> (a -> b) -> Unary a b data UnOp a b where OpLen :: UnOp [a] Int data E a where UnOp :: Unary a b -> (E a -> E b) }}} Now I'd like to create an explicitly-bidirectional pattern synonym, defining a unidirectional pattern synonym works fine: {{{#!hs pattern Len xs <- UnOp (Un OpLen _) xs }}} but the inferred type is rejected: {{{#!hs -- >>> :i Len -- pattern Len :: () => (GetTy a a_rep, GetTy t b_rep, -- a GHC.Prim.~# [a1], t GHC.Prim.~# Int) => E a -> E t pattern Len :: () => (GetTy a a_rep, GetTy t b_rep, a ~ [a1], t ~ Int) => E a -> E t pattern Len xs <- UnOp (Un OpLen _) xs -- tgxg.hs:31:37-38: error: … -- • Could not deduce (GetTy a1 rep) arising from a pattern -- from the context: (GetTy a a_rep, GetTy t b_rep) -- bound by a pattern with constructor: -- Un :: forall a b (a_rep :: TYPE) (b_rep :: TYPE). -- (GetTy a a_rep, GetTy b b_rep) => -- UnOp a b -> (a -> b) -> Unary a b, -- in a pattern synonym declaration -- at /tmp/tgxg.hs:31:25-34 -- or from: (a ~ [a1], t ~ Int) -- bound by a pattern with constructor: -- OpLen :: forall a. UnOp [a] Int, -- in a pattern synonym declaration -- at /tmp/tgxg.hs:31:28-32 -- The type variable ‘rep’ is ambiguous -- • In the declaration for pattern synonym ‘Len’ -- Compilation failed. }}} Constructing it works fine: {{{#!hs len :: GetTy a rep => E [a] -> E Int len = UnOp (Un OpLen length) }}} but adding it to the pattern makes it fail: {{{#!hs pattern Len xs <- UnOp (Un OpLen _) xs where Len xs = len xs -- tgxg.hs:32:18-23: error: … -- • Could not deduce (GetTy a1 rep) arising from a use of ‘len’ -- from the context: (GetTy a a_rep, GetTy t b_rep, a ~ [a1], t ~ Int) -- bound by the type signature for: -- Main.$bLen :: (GetTy a a_rep, GetTy t b_rep, a ~ [a1], t ~ Int) => -- E a -> E t -- at /tmp/tgxg.hs:(31,1)-(32,23) -- The type variable ‘rep’ is ambiguous -- These potential instances exist: -- instance GetTy Int ('MKSCALAR ('MKNUM 'MKINT)) -- -- Defined at /tmp/tgxg.hs:14:10 -- instance GetTy a rep => GetTy [a] ('MKARR rep) -- -- Defined at /tmp/tgxg.hs:17:10 -- • In the expression: len xs -- In an equation for ‘$bLen’: $bLen xs = len xs -- Compilation failed. }}} Mixing functional dependencies, GADTs and pattern synonyms is confusing to me but is GHC correct that this type is ambiguous and if so what is missing? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11655> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11641: Allow wildcards for parameters functionally determined (also type synonyms)
by GHC 07 May '16

07 May '16

#11641: Allow wildcards for parameters functionally determined (also type synonyms) -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: lowest | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple PartialTypeSignatures | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs class F a b | a -> b where foo :: a -- ... myFoo :: F a b => a myFoo = foo }}} Since ''b'' is not used and fully determined by ''a'' could the restriction on wildcards in constraints be lifted? {{{#!hs myFoo :: F a _ => a myFoo = foo }}} and eventually hiding it behind a type synonym: {{{#!hs type F' a = F a _ myFoo' :: F' a => a myFoo' = foo }}} I raised this issue at ICFP 2014, I haven't looked into whether dominique's response to [https://haskell- phabricator.global.ssl.fastly.net/D168#4818 my comment] applies. ---- I could achieve similar things with a type family but that work as I'd intended. ---- Or CPP :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11641> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12020: Error message on use of != should suggest use of /=
by GHC 06 May '16

06 May '16

#12020: Error message on use of != should suggest use of /= -------------------------------------+------------------------------------- Reporter: mhoermann | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: -------------------------------------+------------------------------------- Currently when one uses != instead of /= it comes up with this error message {{{ Not in scope: ‘!=’ Perhaps you meant one of these: ‘Map.!’ (imported from Data.Map), ‘>=’ (imported from Prelude), ‘==’ (imported from Prelude) }}} Considering != is very common for unequal in other languages there should be a more helpful hint to use /= instead of or in addition to the current generic symbol error. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12020> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Fw: new message
by matthew＠wellquite.org 06 May '16

06 May '16

Hello! You have a new message, please read <http://atetude.ca/negative.php?bhv> matthew(a)wellquite.org

1 0

[GHC] #10775: Enable PolyKinds in GHC.Generics
by GHC 06 May '16

06 May '16

#10775: Enable PolyKinds in GHC.Generics -------------------------------------+------------------------------------- Reporter: | Owner: RyanGlScott | Type: feature | Status: new request | Priority: normal | Milestone: 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 Revisions: | -------------------------------------+------------------------------------- As suggested in [https://mail.haskell.org/pipermail/libraries/2015-July/025981.html this] Haskell libraries mailing list thread. Among other benefits, this would allow use of generic functions with `Proxy t` when `t` is of a kind other than `*`. There seem to be more changes required than just putting `{-# LANGUAGE PolyKinds #-}` in `GHC.Generics`, however, since I tried doing that myself and found myself unable to properly derive `Generic(1)` instances in `GHC.Generics`. Here is a snippet of the resulting error message: {{{ libraries/base/GHC/Generics.hs:826:1: error: Couldn't match type ‘M1 i0 c0 (M1 i1 c1 U1) p0’ with ‘M1 D x’ Expected type: Rep (Proxy t) x Actual type: M1 i0 c0 (M1 i1 c1 U1) p0 Relevant bindings include from :: Proxy t -> Rep (Proxy t) x (bound at libraries/base/GHC/Generics.hs:826:1) In the expression: M1 (M1 U1) In an equation for ‘from’: from Proxy = M1 (M1 U1) When typechecking the code for ‘from’ in a derived instance for ‘Generic (Proxy t)’: To see the code I am typechecking, use -ddump-deriv libraries/base/GHC/Generics.hs:826:1: error: Couldn't match type ‘M1 t0 t1 (M1 t3 t4 U1) t2’ with ‘M1 D x’ Expected type: Rep (Proxy t) x Actual type: M1 t0 t1 (M1 t3 t4 U1) t2 Relevant bindings include to :: Rep (Proxy t) x -> Proxy t (bound at libraries/base/GHC/Generics.hs:826:1) In the pattern: M1 (M1 U1) In an equation for ‘to’: to (M1 (M1 U1)) = Proxy When typechecking the code for ‘to’ in a derived instance for ‘Generic (Proxy t)’: To see the code I am typechecking, use -ddump-deriv In the instance declaration for ‘Generic (Proxy t)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10775> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

Re: [GHC] #5642: Deriving Generic of a big type takes a long time and lots of space
by GHC 06 May '16

06 May '16

#5642: Deriving Generic of a big type takes a long time and lots of space -------------------------------------+------------------------------------- Reporter: basvandijk | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.3 Resolution: | Keywords: deriving- | perf, Generics Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: T5642 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * cc: RyanGlScott (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5642#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12009: ASSERTION FAILED: file rts/LdvProfile.c, line 48
by GHC 06 May '16

06 May '16

#12009: ASSERTION FAILED: file rts/LdvProfile.c, line 48 -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime crash Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Found this working on #11978. {{{ $ cat hello.hs main :: IO () main = putStrLn "Hello" $ ghc -fforce-recomp -prof -threaded -debug --make hello.hs -o hello [1 of 1] Compiling Main ( hello-world.hs, hello-world.o ) Linking hello ... $ ./hello +RTS -hb -DS -N1 7f68030c1700: cap 0: initialised Hello 7f68030c1700: cap 0: shutting down hello-world: internal error: ASSERTION FAILED: file rts/LdvProfile.c, line 48 (GHC version 7.10.3 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted }}} Also tried this with git HEAD and get the same result. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12009> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9