Skip to content

Failed to load interface file (for "current" module) when compiling with -fwrite-ide-info in 9.2.1-alpha2

Test program, the pattern synonym seems crucial:

-- Test.hs
{-# LANGUAGE PatternSynonyms   #-}
module Test (xx, Typ) where

data Id a = Id a

data Typ f = ConstructorF { hej :: f Int }

pattern Typ1 :: Int -> Typ Id
pattern Typ1 r = ConstructorF (Id r)

xx :: Typ Id
xx = Typ1 1

Problem:

$ ghc-9.2.0.20210422 -c Test.hs -fforce-recomp -fwrite-ide-info
GHC error in desugarer lookup in Ghci1:
  Bad interface file: Test.hi
      Test.hi: openBinaryFile: does not exist (No such file or directory)

I'm not sure if it is an actual problem as I get a .hie even with this error.

Environment

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information