From 2ee8ab8a714a1b2b4cf906583c04df1ee38b2cdc Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 3 Jun 2008 19:20:18 +0000 Subject: Added options to support SRG printing. --- src-3.0/GFC.hs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src-3.0/GFC.hs') 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 $ -- cgit v1.2.3