Skip to content

arm64/ubuntu: Couldn't match type ‘GHC.GenLocated GHC.SrcSpan a0’ with ‘GHC.Pat TypecheckI’ #99

Description

@libweirdness

in Android/aarch64,
in Termux,
in Ubuntu jammy server ( my learning development env )

The Glorious Glasgow Haskell Compilation System, version 8.8.4

cabal-install version 3.0.0.0
compiled using version 3.0.1.0 of the Cabal library


Resolving dependencies...
Build profile: -w ghc-8.8.4 -O1
In order, the following will be built (use -v for more details):
 - cmdargs-0.10.21 (lib) (requires download & build)
 - ghc-paths-0.1.0.12 (lib:ghc-paths) (requires download & build)
 - hsc2hs-0.68.8 (exe:hsc2hs) (requires download & build)
 - network-3.1.2.7 (lib:network) (requires download & build)
 - hdevtools-0.1.8.0 (exe:hdevtools) (requires download & build)
Downloading  cmdargs-0.10.21
Downloaded   cmdargs-0.10.21
Downloading  hsc2hs-0.68.8
Starting     cmdargs-0.10.21 (lib)
Downloaded   hsc2hs-0.68.8
Downloading  network-3.1.2.7
Starting     hsc2hs-0.68.8 (exe:hsc2hs)
Downloaded   network-3.1.2.7
Downloading  ghc-paths-0.1.0.12
Downloaded   ghc-paths-0.1.0.12
Downloading  hdevtools-0.1.8.0
Starting     ghc-paths-0.1.0.12 (all, legacy fallback)
Downloaded   hdevtools-0.1.8.0
Building     cmdargs-0.10.21 (lib)
Building     hsc2hs-0.68.8 (exe:hsc2hs)
Building     ghc-paths-0.1.0.12 (all, legacy fallback)
Installing   ghc-paths-0.1.0.12 (all, legacy fallback)
Completed    ghc-paths-0.1.0.12 (all, legacy fallback)
Installing   hsc2hs-0.68.8 (exe:hsc2hs)
Completed    hsc2hs-0.68.8 (exe:hsc2hs)
Starting     network-3.1.2.7 (all, legacy fallback)
Building     network-3.1.2.7 (all, legacy fallback)
Installing   cmdargs-0.10.21 (lib)
Completed    cmdargs-0.10.21 (lib)
Installing   network-3.1.2.7 (all, legacy fallback)
Completed    network-3.1.2.7 (all, legacy fallback)
Starting     hdevtools-0.1.8.0 (exe:hdevtools)
Building     hdevtools-0.1.8.0 (exe:hdevtools)

Failed to build exe:hdevtools from hdevtools-0.1.8.0.
Build log (
/root/.cabal/logs/ghc-8.8.4/hdevtools-0.1.8.0-b9291b1e10ec14a9f4576126f26cf5598ae057a48dd5e4209fcd0c517b37008d.log
):
Configuring executable 'hdevtools' for hdevtools-0.1.8.0..
Preprocessing executable 'hdevtools' for hdevtools-0.1.8.0..
Building executable 'hdevtools' for hdevtools-0.1.8.0..
[ 1 of 14] Compiling Daemonize        ( src/Daemonize.hs, dist/build/hdevtools/hdevtools-tmp/Daemonize.o )
[ 2 of 14] Compiling GhcTypes         ( src/GhcTypes.hs, dist/build/hdevtools/hdevtools-tmp/GhcTypes.o )
[ 3 of 14] Compiling FindSymbol       ( src/FindSymbol.hs, dist/build/hdevtools/hdevtools-tmp/FindSymbol.o )
[ 4 of 14] Compiling Info             ( src/Info.hs, dist/build/hdevtools/hdevtools-tmp/Info.o )

src/Info.hs:89:14: error:
    • Couldn't match type ‘GHC.GenLocated GHC.SrcSpan a0’
                     with ‘GHC.Pat TypecheckI’
      Expected type: [GHC.LPat TypecheckI]
        Actual type: [GHC.Located a0]
    • In the expression:
          listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]
      In an equation for ‘ps’:
          ps = listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]
      In the expression:
        do let tcs = GHC.tm_typechecked_source tcm
               bs = ...
               ....
           bts <- mapM (getTypeLHsBind tcm) bs
           ets <- mapM (getTypeLHsExpr tcm) es
           pts <- mapM (getTypeLPat tcm) ps
           ....
   |
89 |         ps = listifySpans tcs (line, col) :: [GHC.LPat TypecheckI]
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Info.hs:158:16: error:
    • Couldn't match type ‘GHC.GenLocated
                             GHC.SrcSpan (GHC.Pat GHC.GhcTc)’
                     with ‘GHC.Pat TypecheckI’
      Expected type: GHC.LPat TypecheckI
        Actual type: GHC.GenLocated GHC.SrcSpan (GHC.Pat GHC.GhcTc)
    • In the pattern: GHC.L spn pat
      In an equation for ‘getTypeLPat’:
          getTypeLPat _ (GHC.L spn pat)
            = return $ Just (spn, TcHsSyn.hsPatType pat)
    |
158 | getTypeLPat _ (GHC.L spn pat) = return $ Just (spn, TcHsSyn.hsPatType pat)
    |

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions