Does the above indicate that in fact, `GHC.Prim.Int#`https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23%60&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738480488&sdata=wjMjCtlPxk9zJjXh9LmBD3MFX5jZWHZOXIky92i0%2Fr8%3D&reserved=0 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 Sent: 28 June 2018 06:08 To: ghc-devs@haskell.org; Simon Peyton Jones 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#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738430452&sdata=UJf7MulnJzYw1hlbcvcTm13z%2FDCthgAueixMRBm03A8%3D&reserved=0 It seems like in older versions, we had λ> :i GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738430452&sdata=UJf7MulnJzYw1hlbcvcTm13z%2FDCthgAueixMRBm03A8%3D&reserved=0 data GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738440460&sdata=rjNbL7wVonyqZ%2ByApAjEm95%2FNAtW7AZ5rxul%2FaX4rOo%3D&reserved=0 -- Defined in ‘GHC.Prim’ λ> :k GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738440460&sdata=rjNbL7wVonyqZ%2ByApAjEm95%2FNAtW7AZ5rxul%2FaX4rOo%3D&reserved=0 GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738450468&sdata=PHl1FNZIA%2BjAwkokb1EkESg8ubKDanDq8XVd5Tx%2FzBA%3D&reserved=0 :: # but in GHC 8.4 this is changed so: λ> :i GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738460476&sdata=xBguuP%2F0N8yDKAf2L6epMwLxjSTPW4zVRxcPT82P4vw%3D&reserved=0 data GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738460476&sdata=xBguuP%2F0N8yDKAf2L6epMwLxjSTPW4zVRxcPT82P4vw%3D&reserved=0 :: TYPE 'GHC.Types.IntRep -- Defined in ‘GHC.Prim’ λ> :k GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738470484&sdata=4BLfL0OEweHSELHYA8c4IYUDNUhwai%2FxrZf7ljWEGuE%3D&reserved=0 GHC.Prim.Int#https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738470484&sdata=4BLfL0OEweHSELHYA8c4IYUDNUhwai%2FxrZf7ljWEGuE%3D&reserved=0 :: TYPE 'GHC.Types.IntRep Does the above indicate that in fact, `GHC.Prim.Int#`https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2FGHC.Prim.Int%23%60&data=02%7C01%7Csimonpj%40microsoft.com%7C713e3d8011294dfe122008d5dcb51974%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636657592738480488&sdata=wjMjCtlPxk9zJjXh9LmBD3MFX5jZWHZOXIky92i0%2Fr8%3D&reserved=0 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.