#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 simonpj): Yes, that is its kind. See [https://www.microsoft.com/en- us/research/publication/levity-polymorphism/ Levity Polymorphism] (PLDI'17). Perhaps we should (somehow) suppress its levity-polymorphism, avoid avoid confusing people. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15556#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#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