Does the above indicate that in fact, `GHC.Prim.Int#` DOES NOT (any longer) correspond to a `TyCon`?

No, it does not indicate that!  There still is a TyCon for Int#.  Indeed you can see it defined in TysPrim.intPrimTyCon.

Simon

From: Ranjit Jhala <jhala@cs.ucsd.edu>
Sent: 28 June 2018 06:08
To: ghc-devs@haskell.org; Simon Peyton Jones <simonpj@microsoft.com>
Subject: GHC.Prim.Int# is not at TyThing?

Hi all,

I am trying to update LiquidHaskell to GHC 8.4.

In doing so, I find that I can no longer resolve

(i.e. get the `TyThing`, and hence `TyCon`)

corresponding to the name:

GHC.Prim.Int#

It seems like in older versions, we had

   λ> :i GHC.Prim.Int#
   data GHC.Prim.Int#     -- Defined in ‘GHC.Prim’
   λ> :k GHC.Prim.Int#
GHC.Prim.Int# :: #

but in GHC 8.4 this is changed so:

   λ> :i GHC.Prim.Int#
   data GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
      -- Defined in ‘GHC.Prim’
   λ> :k GHC.Prim.Int#
GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep

Does the above indicate that in fact, `GHC.Prim.Int#`

DOES NOT (any longer) correspond to a `TyCon`? If so,

what does it correspond to? i.e. how is it represented

as a `Type` in GHC?

Any pointers would be most appreciated!

Thanks!

- Ranjit.