February 2016 - ghc-tickets

[GHC] #9405: Ticky results should be displayed even during interrupts (Ctrl-c)
by GHC 24 Mar '16

24 Mar '16

#9405: Ticky results should be displayed even during interrupts (Ctrl-c) -------------------------------------+------------------------------------- Reporter: thoughtpolice | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- After talking with Simon & Simon today, we discussed ticky profiling, and it dawned on us that ticky probably isn't reported when the program is interrupted via the user. But it should be! The motivating case is when you're dealing with an infinite loop and you want to find the binding that has a high entry count (i.e. it's the looping body). But the only way to move forward is to interrupt it, which doesn't spit out the reports. Fixing this would make ticky much more useful in such cases. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9405> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11653: Time compiler passes
by GHC 24 Mar '16

24 Mar '16

#11653: Time compiler passes -------------------------------------+------------------------------------- Reporter: bgamari | 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: -------------------------------------+------------------------------------- It would be very useful if the compiler would produce timings of various phases of compilation. Even better, if could produce allocation numbers as well. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11653> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #10320: -ddump-to-file should create empty dump files when there was nothing to dump
by GHC 24 Mar '16

24 Mar '16

#10320: -ddump-to-file should create empty dump files when there was nothing to dump -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.10.1 Keywords: newcomer | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- For example, I ran with -ddump-rule-firings -ddump-to-file when there were no rule firings. GHC should have created an empty foo.dump-rule-firings file. (Instead it left the existing foo.dump-rule-firings from a previous run intact, which could have been misleading if I didn't already know that the most recent run had no rule firings.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10320> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19

[GHC] #10162: Add unicode syntax for banana brackets
by GHC 24 Mar '16

24 Mar '16

#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature | Status: new request | Milestone: Priority: low | Version: 7.8.4 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- While there is a “pretty” unicode alternative available for “-<“ within arrow notation (⤙), banana brackets can only be written as “(|” and “|)”, which is a bit of an eyesore when they are used in the middle of the fancy arrow glyphs. Maybe it would be convenient to add the following unicode alternatives, which to the best of my knowledge are mapped by default within the XCompose definitions shipped with XOrg. ⦆ right white parenthesis (U+2986) ⦅ left white parenthesis (U+2985) Alternatively, these would also correspond well with the plain ASCII syntax: ⦇ z notation left image bracket (U+2987) ⦈ z notation right image bracket (U+2988) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #11595: Merge some TypeInType fixes
by GHC 23 Mar '16

23 Mar '16

#11595: Merge some TypeInType fixes -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: task | 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: -------------------------------------+------------------------------------- There were several commits I just pushed that should be merged, but there is no associated ticket. b962bcc609cf3239d61ba281ca0eccc3cd89d99d 90f35612f16ff9cb2466cc936f12e748402abb85 aff5bb47b70450bb1e3e4ac3c18ea35d13f9ac7c 7d8031ba3d36a9378a40834aa3e3817d8f7f310f 6f952f58bc4d592265134e4e13af46da9c56560f -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11595> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11456: Type application and :set +c command cause panic
by GHC 23 Mar '16

23 Mar '16

#11456: Type application and :set +c command cause panic -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple TypeApplications GHCi | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Type applications and the [https://downloads.haskell.org/~ghc/master /users-guide/ghci.html#ghci-cmd-:set%20+c :set +c] command don't play nice {{{#!hs {-# LANGUAGE TypeApplications #-} a = show @Int }}} {{{ % ghci -ignore-dot-ghci GHCi, version 8.1.20160117: http://www.haskell.org/ghc/ :? for help Prelude> :set +c Prelude> :load Panic.hs [1 of 1] Compiling Main ( Panic.hs, interpreted ) Ok, modules loaded: Main. Collecting type info for 1 module(s) ... Error while getting type info from Main: ghc: panic! (the 'impossible' happened) (GHC version 8.1.20160117 for x86_64-unknown-linux): dsExpr:HsTypeOut Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *Main> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11456> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #11512: An unwritten kind variable is "specified", when it shouldn't be.
by GHC 23 Mar '16

23 Mar '16

#11512: An unwritten kind variable is "specified", when it shouldn't be. -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple TypeApplications | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This fails: {{{#!hs {-# LANGUAGE PolyKinds, TypeApplications, ScopedTypeVariables #-} module Bug where import Data.Proxy class C a where foo :: Proxy a bar :: forall a. C a => Proxy a bar = foo @a }}} But it really should work, because the invisible kind variable to class `C` should not be available for type application. On the last line, `foo @_ @a` works, when you explicitly instantiate the kind variable. Also, saying `:t foo` in GHCi shows the specified kind variable. Will fix. At some point. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11512> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #11635: Missleading error message when using polymorpic kinds
by GHC 23 Mar '16

23 Mar '16

#11635: Missleading error message when using polymorpic kinds -------------------------------------+------------------------------------- Reporter: phadej | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 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: -------------------------------------+------------------------------------- Example program: {{{ {-# LANGUAGE TypeInType, KindSignatures, ExplicitForAll #-} import Data.Kind data X (a :: forall k. k -> * ) = X }}} errors with {{{ polykind.hs:3:1: error: Expecting one more argument to ‘a’ Expected kind ‘k0’, but ‘a’ has kind ‘forall k. k -> *’ }}} Without `TypeInType`, the error is better, yet gives false hint: {{{ polykind.hs:3:23: error: Illegal kind: forall k. k -> * Did you mean to enable TypeInType? }}} --- For the record 7.10.3 doesn't recognise polymorphic kinds at all (same program, without `Data.Kind` import): {{{ polykind.hs:3:23: parse error on input ‘forall’ }}} Which makes me think that polymorphic kinds are somehow supported, but maybe not. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11635> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #11334: GHC panic when calling typeOf on a promoted data constructor
by GHC 21 Mar '16

21 Mar '16

#11334: GHC panic when calling typeOf on a promoted data constructor -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.1 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Here's what I did in GHCi to trigger the panic: {{{ $ inplace/bin/ghc-stage2 --interactive GHCi, version 8.1.20160101: http://www.haskell.org/ghc/ :? for help λ> :set -XDataKinds λ> :m Data.Typeable Data.Functor.Compose λ> typeOf (Proxy :: Proxy 'Compose) ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.1.20160101 for x86_64-unknown-linux): piResultTy * TYPE 'Lifted * Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Enabling `-XPolyKinds` doesn't trigger the error, though; #10343 will be triggered instead: {{{ λ> :set -XPolyKinds λ> typeOf (Proxy :: Proxy 'Compose) <interactive>:5:1: error: • No instance for (Typeable a0) arising from a use of ‘typeOf’ • In the expression: typeOf (Proxy :: Proxy Compose) In an equation for ‘it’: it = typeOf (Proxy :: Proxy Compose) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11334> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 23

[GHC] #11329: Visible type applications: failing tests with WAY=hpc
by GHC 20 Mar '16

20 Mar '16

#11329: Visible type applications: failing tests with WAY=hpc -------------------------------------+------------------------------------- Reporter: thomie | 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: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ $ ghc-head --info | grep Project [("Project name","The Glorious Glasgow Haskell Compilation System") ,("Project version","8.1.20151231") ,("Project Git commit id","8afeaad919dc67643b4eff14efafb48b59039b2b") }}} {{{ $ make slowtest TEST='VtaParse Vta1 Vta2' VERBOSE=2 TEST_HC=ghc-head ... =====> VtaParse(normal) 1 of 3 [0, 0, 0] =====> VtaParse(hpc) 1 of 3 [0, 0, 0] Compile failed (status 256) errors were: ghc: panic! (the 'impossible' happened) (GHC version 8.1.20151231 for x86_64-unknown-linux): dsExpr:HsTypeOut Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for VtaParse(hpc) =====> VtaParse(optasm) 1 of 3 [0, 1, 0] =====> Vta1(normal) 2 of 3 [0, 1, 0] =====> Vta1(hpc) 2 of 3 [0, 1, 0] Compile failed (status 256) errors were: ghc: panic! (the 'impossible' happened) (GHC version 8.1.20151231 for x86_64-unknown-linux): dsExpr:HsTypeOut Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for Vta1(hpc) =====> Vta1(optasm) 2 of 3 [0, 2, 0] =====> Vta2(normal) 3 of 3 [0, 2, 0] =====> Vta2(hpc) 3 of 3 [0, 2, 0] Compile failed (status 256) errors were: ghc: panic! (the 'impossible' happened) (GHC version 8.1.20151231 for x86_64-unknown-linux): dsExpr:HsTypeOut Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug *** unexpected failure for Vta2(hpc) =====> Vta2(optasm) 3 of 3 [0, 3, 0] Unexpected results from: TEST="Vta1 Vta2 VtaParse" }}} Tests added in commit 2db18b8135335da2da9918b722699df684097be9. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11329> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13