[GHC] #15556: Inconsistent kind output for (->)
GHC
ghc-devs at haskell.org
Wed Aug 22 13:13:33 UTC 2018
#15556: Inconsistent kind output for (->)
-------------------------------------+-------------------------------------
Reporter: cvlad | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: GHCi | Version: 8.4.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Documentation | Unknown/Multiple
bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
It //is// caught by runtime rep defaulting, as a matter of fact, after
commit 40db277f1dedd4df7e75cc0eb35aa7e1e1ded02a:
{{{
$ /opt/ghc/8.6.1/bin/ghci
GHCi, version 8.6.0.20180810: http://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/rgscott/.ghci
λ> :k (->)
(->) :: * -> * -> *
λ> :set -fprint-explicit-runtime-reps
λ> :k (->)
(->) :: TYPE q -> TYPE r -> *
}}}
So I claim this bug is fixed.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15556#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list