René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Compile error on GHC 8.8.3: `GHC.Pat TypecheckI` vs `GHC.GenLocated SrcSpan`","articleBody":"GHC 8.8.3, `hdevtools` latest master (`0.1.8.0-0-geab7092`):\r\n```\r\nulidtko@pasocon ~/s/hdevtools (master)\u003e cabal build\r\nResolving dependencies...\r\nBuild profile: -w ghc-8.8.3 -O1\r\nIn order, the following will be built (use -v for more details):\r\n - hdevtools-0.1.8.0 (exe:hdevtools) (first run)\r\nConfiguring executable 'hdevtools' for hdevtools-0.1.8.0..\r\nPreprocessing executable 'hdevtools' for hdevtools-0.1.8.0..\r\nBuilding executable 'hdevtools' for hdevtools-0.1.8.0..\r\n[ 1 of 14] Compiling Daemonize        ( src/Daemonize.hs, /home/ulidtko/src/hdevtools/dist-newstyle/build/x86_64-linux/ghc-8.8.3/hdevtools-0.1.8.0/x/hdevtools/build/hdevtools/hdevtools-tmp/Daemonize.dyn_o )\r\n[ 2 of 14] Compiling GhcTypes         ( src/GhcTypes.hs, /home/ulidtko/src/hdevtools/dist-newstyle/build/x86_64-linux/ghc-8.8.3/hdevtools-0.1.8.0/x/hdevtools/build/hdevtools/hdevtools-tmp/GhcTypes.dyn_o )\r\n[ 3 of 14] Compiling FindSymbol       ( src/FindSymbol.hs, /home/ulidtko/src/hdevtools/dist-newstyle/build/x86_64-linux/ghc-8.8.3/hdevtools-0.1.8.0/x/hdevtools/build/hdevtools/hdevtools-tmp/FindSymbol.dyn_o )\r\n[ 4 of 14] Compiling Info             ( src/Info.hs, /home/ulidtko/src/hdevtools/dist-newstyle/build/x86_64-linux/ghc-8.8.3/hdevtools-0.1.8.0/x/hdevtools/build/hdevtools/hdevtools-tmp/Info.dyn_o )\r\n\r\nsrc/Info.hs:89:14: error:\r\n    • Couldn't match type ‘GHC.GenLocated GHC.SrcSpan a0’\r\n                     with ‘GHC.Pat TypecheckI’\r\n      Expected type: [GHC.LPat TypecheckI]\r\n        Actual type: [GHC.Located a0]\r\n    • In the expression:\r\n          listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]\r\n      In an equation for ‘ps’:\r\n          ps = listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]\r\n      In the expression:\r\n        do let tcs = GHC.tm_typechecked_source tcm\r\n               bs = ...\r\n               ....\r\n           bts \u003c- mapM (getTypeLHsBind tcm) bs\r\n           ets \u003c- mapM (getTypeLHsExpr tcm) es\r\n           pts \u003c- mapM (getTypeLPat tcm) ps\r\n           ....\r\n   |\r\n89 |         ps = listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]\r\n   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n\r\nsrc/Info.hs:158:16: error:\r\n    • Couldn't match type ‘GHC.GenLocated\r\n                             GHC.SrcSpan (GHC.Pat GHC.GhcTc)’\r\n                     with ‘GHC.Pat TypecheckI’\r\n      Expected type: GHC.LPat TypecheckI\r\n        Actual type: GHC.GenLocated GHC.SrcSpan (GHC.Pat GHC.GhcTc)\r\n    • In the pattern: GHC.L spn pat\r\n      In an equation for ‘getTypeLPat’:\r\n          getTypeLPat _ (GHC.L spn pat)\r\n            = return $ Just (spn, TcHsSyn.hsPatType pat)\r\n    |\r\n158 | getTypeLPat _ (GHC.L spn pat) = return $ Just (spn, TcHsSyn.hsPatType pat)\r\n    |                ^^^^^^^^^^^^^\r\n```\r\n\r\nYet another GHC API breakage, I guess.\r\n\r\nAnyone aware of fixes or workarounds?","author":{"url":"https://github.com/ulidtko","@type":"Person","name":"ulidtko"},"datePublished":"2020-03-09T12:42:00.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/94/hdevtools/issues/94"}