Always generate a Curry interface, not only for FlatCurry targets

src/Modules.hs

@@ -237,11 +237,11 @@ writeOutput opts fn mdl@(_, modul) = do
   writeParsed opts fn modul
   qmdl@(env1, qlfd) <- dumpWith opts CS.ppModule DumpQualified $ qual opts mdl
   writeAbstractCurry opts fn qmdl
-  when withFlat $ do
-    (env2, il) <- transModule opts (env1, qlfd)
   -- generate interface file
-    let intf = exportInterface env2 qlfd
+  let intf = uncurry exportInterface qmdl
   writeInterface opts fn intf
+  when withFlat $ do
+    (env2, il) <- transModule opts (env1, qlfd)
     -- generate target code
     let modSum = summarizeModule (tyConsEnv env2) intf qlfd
     writeFlat opts fn env2 modSum il