diff options
Diffstat (limited to 'src-3.0/GFC.hs')
| -rw-r--r-- | src-3.0/GFC.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src-3.0/GFC.hs b/src-3.0/GFC.hs index 4e553659b..8967ca495 100644 --- a/src-3.0/GFC.hs +++ b/src-3.0/GFC.hs @@ -41,10 +41,11 @@ outputFilePath opts fmt name0 = addDir name <.> fmtExtension fmt addDir = maybe id (</>) (flag optOutputDir opts) fmtExtension :: OutputFormat -> String -fmtExtension FmtPGF = "pgf" -fmtExtension FmtJavaScript = "js" -fmtExtension FmtHaskell = "hs" -fmtExtension FmtHaskellGADT = "hs" +fmtExtension FmtPGF = "pgf" +fmtExtension FmtJavaScript = "js" +fmtExtension FmtHaskell = "hs" +fmtExtension FmtHaskell_GADT = "hs" +fmtExtension FmtSRGS_XML = "grxml" writeOutputFile :: FilePath -> String -> IOE () writeOutputFile outfile output = ioeIO $ |