April 2017 - ghc-tickets

[GHC] #13575: GHC downloads do not work
by GHC 08 May '17

08 May '17

#13575: GHC downloads do not work -------------------------------------+------------------------------------- Reporter: sergv | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: None | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Installing GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm not sure whether this is the right place for this type of issue, but I cannot download GHC 8.0.2 for i386 debian 8 (http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-i386-deb8-linux.tar.xz) - I get 404 Not Found error from nginx. I tried from 2 different IPs, so the issue is likely not on my side. I tried some other urls and they all result in the same 404 error: * http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-armv7-deb8-linux.tar.xz * http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-centos67-linux.tar… * http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-unknown- openbsd.tar.xz * http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-x86_64-deb8-linux.tar.xz * http://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-src.tar.xz -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13575> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code
by GHC 07 May '17

07 May '17

#8101: No pattern match non-exhaustiveness warnings when compiling with -fno-code -------------------------+------------------------------------------------- Reporter: exbb2 | Owner: Type: bug | Status: new Priority: | Milestone: normal | Version: 7.6.3 Component: | Operating System: Unknown/Multiple Compiler | Type of failure: Incorrect warning at Keywords: | compile-time Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- {{{ {-# OPTIONS_GHC -Wall #-} module A where data ABC = A | B | C abc :: ABC -> Int abc x = case x of A -> 1 }}} {{{ $ ghc -fno-code -fforce-recomp /tmp/A.hs [1 of 1] Compiling A ( /tmp/A.hs, nothing ) }}} {{{ $ ghc -fobject-code -fforce-recomp /tmp/A.hs [1 of 1] Compiling A ( /tmp/A.hs, /tmp/A.o ) /tmp/A.hs:7:9: Warning: Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: B C }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8101> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #13590: Update Cabal submodule to whatever the final Cabal 2.0 release is
by GHC 07 May '17

07 May '17

#13590: Update Cabal submodule to whatever the final Cabal 2.0 release is -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: libraries | Version: 8.2.1-rc2 (other) | 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: -------------------------------------+------------------------------------- This is a release blocker and I want to file it here so we don't forget. In fact, 2.0 head has already diverged from 8.2.1-rc1, see https://github.com/haskell/cabal/issues/4453 for some fall out (since we now have multiple "2.0" Cabals floating around. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13590> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10431: EqualityConstraints extension?
by GHC 06 May '17

06 May '17

#10431: EqualityConstraints extension? -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature | Status: new request | Milestone: 7.12.1 Priority: normal | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- At the moment, writing an equality constraint in a type requires at least one of the `GADTs` or `TypeFamilies` extensions. However, each of these has other effects. Could we have an `EqualityConstraints` extension to permit equality constraints in types, but neither GADTs nor type families? Presumably this extension should imply `MonoLocalBinds`. The `GADTs` extension could then become precisely the conjunction of `GADTSyntax`, `EqualityConstraints` and `ExistentialQuantification`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10431> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #12947: Core lint error
by GHC 06 May '17

06 May '17

#12947: Core lint error -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.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: -------------------------------------+------------------------------------- {{{#!hs import qualified Control.Monad.Fail as Fail newtype P m a = P { unP :: (a -> IO (m ())) -> IO (m ()) } instance Functor (P m) where instance Applicative (P m) where instance Monad (P m) where instance (Fail.MonadFail m) => Fail.MonadFail (P m) where fail msg = ContT $ \ _ -> Fail.fail msg }}} fails when run with `$ ghci -ignore-dot-ghci -fdefer-typed-holes -dcore- lint /tmp/tQZR.hs`, log is attached -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12947> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12156: -fdefer-typed-holes causes panic on unbound variable
by GHC 06 May '17

06 May '17

#12156: -fdefer-typed-holes causes panic on unbound variable -------------------------------------+------------------------------------- Reporter: osa1 | Owner: Type: bug | Status: new Priority: high | 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: -------------------------------------+------------------------------------- {{{#!haskell module Main where main = do print v return () }}} Compile it without {{{-fdefer-typed-holes}}} and it fails as expected: {{{ ➜ hole_bug ghc --make Main.hs -fforce-recomp [1 of 1] Compiling Main ( Main.hs, Main.o ) Main.hs:4:11: error: Variable not in scope: v }}} Adding {{{-fdefer-typed-holes}}} is causing a panic instead of runtime error: {{{ ➜ hole_bug ghc --make Main.hs -fforce-recomp -fdefer-typed-holes [1 of 1] Compiling Main ( Main.hs, Main.o ) Main.hs:4:11: warning: [-Wtyped-holes] Variable not in scope: v ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): StgCmmEnv: variable not found $dShow_aKo local binds for: $trModule $trModule1_r16k $trModule2_r16s sat_s16x sat_s16z Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Tried with: 8.0.1, HEAD as of today. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12156> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9557: Deriving instances is slow
by GHC 06 May '17

06 May '17

#9557: Deriving instances is slow -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Let's take [https://raw.githubusercontent.com/haskell-suite/haskell-src- exts/8e0153d33b66add96fd5606614ce7938d2029510/src/Language/Haskell/Exts/Annotated/Syntax.hs this file] (from haskell-src-exts) and build it with -O0. On my machine it takes 55s. If we remove deriving of all classes except Functor (which is the only one used by the module itself), the time will drop down to 4s. Different classes vary in their compile-time cost, but there's no single culprit. Among the costly ones are Generic, Data, Show, Ord. haskell-src-exts users are very annoyed by its long compile time, about 10 minutes, especially because we don't compile with -O0 by default. It would be nice to get this fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9557> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 24

[GHC] #13622: Regression: can't export constructor when conflicting, qualified constructor is also in scope
by GHC 06 May '17

06 May '17

#13622: Regression: can't export constructor when conflicting, qualified constructor is also in scope -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.2.1-rc2 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 ran into this regression when trying to compile the `ersatz` library with GHC 8.2.1-rc1. Here is a minimized example: {{{#!hs module Bug (Bits(Bits)) where import qualified Data.Bits as Bits newtype Bits = Bits Int }}} Compiling this with GHC 8.0.2 works fine, but with 8.2.1-rc1, you get this error: {{{ l$ /opt/ghc/8.2.1/bin/ghci Bug.hs GHCi, version 8.2.0.20170422: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) Bug.hs:1:13: error: • Ambiguous occurrence ‘Bits’ It could refer to either ‘Bits.Bits’, imported qualified from ‘Data.Bits’ at Bug.hs:3:1-34 or ‘Bits’, defined at Bug.hs:5:1 • In the export: Bits(Bits) | 1 | module Bug (Bits(Bits)) where | ^^^^^^^^^^ }}} Despite the fact that `Bits` isn't actually ambiguous, since the `Bits` from `Data.Bits` is qualified. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13622> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #11799: Legend for hpc markup colors
by GHC 05 May '17

05 May '17

#11799: Legend for hpc markup colors -------------------------------------+------------------------------------- Reporter: drathier | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Test Suite | 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: -------------------------------------+------------------------------------- The hpc markup colors are not documented anywhere. Coming from an imperative background, red means never executed and green means executed at least once. Here, green means always true, red means always false, yellow means never executed. Adding a one-line legend at the top of the output file(s) describing the colours would help a lot. Suggesting `never executed` `always true` and `always false` on a single line at the top with the same yellow, green and red background as the respective highlighted code would have. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11799> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11616: Kinds aren't instantiated
by GHC 05 May '17

05 May '17

#11616: Kinds aren't instantiated -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: task | 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: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE TypeInType, AllowAmbiugousTypes #-} class Whoami a where whoami :: String instance Whoami Int where whoami = "int" instance Whoami Bool where whoami = "[y/n]" instance Whoami Maybe where whoami = "call me maybe" }}} we can write {{{ >>> whoami @Type @Int "int" >>> whoami @Type @Bool "[y/n]" >>> whoami @(Type -> Type) @Maybe "call me maybe" }}} Attempting to specialise `whoami` to `Type` we can't simply write `whoamiType = whoami @Type` as one might expect. To start we define a synonym: {{{ $ ghci -ignore-dot-ghci /tmp/t17q.hs GHCi, version 8.1.20160117: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/t17q.hs, interpreted ) Ok, modules loaded: Main. *Main> whoami2 = whoami <interactive>:1:1: error: • Ambiguous type variable ‘a0’ arising from a use of ‘whoami’ prevents the constraint ‘(Whoami a0)’ from being solved. Probable fix: use a type annotation to specify what ‘k0’, ‘a0’ should be. These potential instances exist: three instance involving out-of-scope typess (use -fprint-potential-instances to see them all) • When instantiating ‘whoami2’, initially inferred to have this overly-general type: forall k (a :: k). Whoami a => String NB: This instantiation can be caused by the monomorphism restriction. }}} Using the “overly-general” inferred type `whoami :: forall k (a :: k). Whoami a => String` fails: {{{#!hs -- • Could not deduce (Whoami a0) arising from a use of ‘whoami’ -- from the context: Whoami a -- bound by the type signature for: -- whoami2 :: Whoami a => String -- at /tmp/t17q.hs:20:1-44 -- The type variable ‘a0’ is ambiguous -- These potential instances exist: -- three instance involving out-of-scope typess -- (use -fprint-potential-instances to see them all) -- • In the expression: whoami -- In an equation for ‘whoami2’: whoami2 = whoami whoami2 :: forall k (a :: k). Whoami a => String whoami2 = whoami }}} so we need `TypeApplications`: {{{#!hs whoami2 :: forall k (a :: k). Whoami a => String whoami2 = whoami @_ @a }}} and then we can write: {{{#!hs whoamiType :: forall (a :: Type). Whoami a => String whoamiType = whoami @_ @a }}} and we can write as intended: {{{ >>> whoamiType @Int "int" >>> whoamiType @Bool "[y/n]" }}} Is there a reason one cannot write: {{{#!hs whoami2 = whoami whoamiType = whoami @Type }}} ---- As a side note, what is the difference between {{{#!hs -- >>> :set -fprintf-explicit-foralls -- >>> :kind Whoami1 -- Whoami1 :: forall {k}. k -> Constraint -- >>> :kind Whoami2 -- Whoami2 :: forall k. k -> Constraint class Whoami1 a class Whoami2 (a :: k) }}} Is there a snippet of code that highlights differences -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11616> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8