June 2018 - ghc-tickets

[GHC] Batch modify: #15219, #15220, #15221, #15231, #15233, #15234, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #15219, #15220, #15221, #15231, #15233, #15234, #15235, #15239, #15245, #15246, #15247, #15248, #15249, #15250, #15251, #15252, #15257, #15258, #15261, #15262, #15263, #15270, #15271 by bgamari: milestone to 8.8.1 Comment: These won't be addressed in GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=15219%2C15220%2C15221%2C15231%2C15…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #15091, #15092, #15096, #15100, #15105, #15106, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #15091, #15092, #15096, #15100, #15105, #15106, #15112, #15117, #15124, #15129, #15130, #15135, #15138, #15141, #15147, #15148, #15149, #15153, #15155, #15156, #15165, #15167, #15175, #15177, #15182, #15183, #15184, #15185, #15189, #15190, #15191, #15193, #15194, #15196, #15200, #15201, #15203, #15205, #15206, #15207, #15208, #15211 by bgamari: milestone to 8.8.1 Comment: These won't be addressed for GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=15091%2C15092%2C15096%2C15100%2C15…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #14670, #15019, #15020, #15029, #15034, #15043, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #14670, #15019, #15020, #15029, #15034, #15043, #15044, #15048, #15050, #15054, #15069, #15070, #15072, #15074, #15076, #15077, #15078, #15080, #15081, #15087, #15089, #15090 by bgamari: milestone to 8.8.1 Comment: These won't be addressed by GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=14670%2C15019%2C15020%2C15029%2C15…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14673: Unary Unboxed Tuple Type Constructor
by GHC 22 Jun '18

22 Jun '18

#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha1 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 type constructor for a unary unboxed tuple cannot be written in GHC haskell. Consider the following value which is wrapped in by a unary unboxed tuple: {{{ >>> :type (# 5# #) (# 5# #) :: (# Int# #) }}} Now consider the type constructor for unboxed 2-tuples: {{{ >>> :set -fprint-explicit-kinds >>> :set -fprint-explicit-foralls >>> :kind! (# , #) (# , #) :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE ('TupleRep ((':) RuntimeRep k0 ((':) RuntimeRep k1 ('[] RuntimeRep)))) = (#,#) }}} Horrid looking, but undoubtedly correct. But how can we do this for a unary unboxed tuple? The naive approach gives us the nullary tuple instead: {{{ >>> :kind! (# #) (# #) :: TYPE ('TupleRep ('[] RuntimeRep)) = (# #) }}} I do actually have a real use-case for this that I can discuss more if needed. For the syntax, I really haven't the faintest idea what I would expect. Maybe something like: `(## ##)` or `(# @1 #)`, but those both seem pretty bad. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14673> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 26

[GHC] Batch modify: #14684, #14727, #14765, #14806, #14816, #14823, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #14684, #14727, #14765, #14806, #14816, #14823, #14838, #14839, #14870, #14909, #14911, #14973, #15007, #15010, #15011 by bgamari: milestone to 8.8.1 Comment: These won't be addressed in GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=14684%2C14727%2C14765%2C14806%2C14…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14617: Join point test join001 doesn't seem to be properly automated
by GHC 22 Jun '18

22 Jun '18

#14617: Join point test join001 doesn't seem to be properly automated -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Test Suite | Version: 8.2.2 Keywords: JoinPoints | 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 test `join001` was presumably used for manual testing (poring over the Core by hand). Unfortunately, the test suite runs it in an utterly bland fashion that doesn't appear to check whether the join point transformation is working as intended. The other join point tests run in this fashion (`join005` and `join006`) include notes indicating that Core Lint will trip if the desired property doesn't hold; there is no such note here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14617> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] Batch modify: #14512, #14529, #14551, #14602, #14604, #14610
by GHC 22 Jun '18

22 Jun '18

Batch modification to #14512, #14529, #14551, #14602, #14604, #14610 by bgamari: milestone to 8.8.1 Comment: These won't be addressed in GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=14512%2C14529%2C14551%2C14602%2C14…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #14319, #14331, #14336, #14337, #14400, #14469, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #14319, #14331, #14336, #14337, #14400, #14469, #14482, #14502, #14509 by bgamari: milestone to 8.8.1 Comment: These won't be addressed in GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=14319%2C14331%2C14336%2C14337%2C14…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14319: Stuck kind families can lead to lousy error messages
by GHC 22 Jun '18

22 Jun '18

#14319: Stuck kind families can lead to lousy error messages -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.3 (Type checker) | Keywords: TypeInType, | Operating System: Unknown/Multiple TypeFamilies | Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# language TypeFamilies, TypeInType, ScopedTypeVariables #-} module ArityError where import Data.Kind import GHC.TypeLits import Data.Proxy type family F (s :: Symbol) :: Type type family G (s :: Symbol) :: F s type instance G "Hi" = Maybe }}} This produces the error message {{{#!hs ArityError.hs:10:24: error: • Expecting one more argument to ‘Maybe’ Expected kind ‘F "Hi"’, but ‘Maybe’ has kind ‘* -> *’ • In the type ‘Maybe’ In the type instance declaration for ‘G’ | 10 | type instance G "Hi" = Maybe | ^^^^^ }}} This looks utterly bogus: `F "Hi"` is stuck, so we have no idea what arity it indicates. What I ''think'' is a term level version of this, {{{#!hs f :: forall (s :: Symbol). Proxy s -> F s f _ = Just }}} gives a much less confusing message: {{{ ArityError.hs:14:7: error: • Couldn't match expected type ‘F s’ with actual type ‘a0 -> Maybe a0’ The type variable ‘a0’ is ambiguous • In the expression: Just In an equation for ‘f’: f _ = Just • Relevant bindings include f :: Proxy s -> F s (bound at ArityError.hs:14:1) | 14 | f _ = Just | ^^^^ }}} The fix (I think) is to refrain from reporting arity errors when we don't know enough about the relevant arities. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14319> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] Batch modify: #13723, #13896, #13898, #13905, #13906, #13981, ...
by GHC 22 Jun '18

22 Jun '18

Batch modification to #13723, #13896, #13898, #13905, #13906, #13981, #14003, #14030, #14040, #14155, #14165, #14190, #14214, #14242, #14252, #14261, #14268, #14283, #14298 by bgamari: milestone to 8.8.1 Comment: These won't be addressed by GHC 8.6. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=13723%2C13896%2C13898%2C13905%2C13…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0