diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-03 19:20:18 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-03 19:20:18 +0000 |
| commit | 2ee8ab8a714a1b2b4cf906583c04df1ee38b2cdc (patch) | |
| tree | 2047f21c3c389a5d7a942e9d7ee24c8108935a18 /src-3.0/GFC.hs | |
| parent | 61ccd948d3798dc0b74dd1d82ac6e6dc8ef49840 (diff) | |
Added options to support SRG printing.
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 $ |