From e4ef09f6aac55452031cc16def7048b0dd0d30cd Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 10 May 2007 13:56:41 +0000 Subject: Added haskell_gadt -printer. It does not include a Compos instance yet, so it's not terribly useful. --- src/GF/Shell/HelpFile.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/GF/Shell') diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index a54646710..e577d5b46 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -644,6 +644,7 @@ txtHelpFile = "\n -printer=plbnf grammar for BNF Converter, with precedence levels" ++ "\n *-printer=happy source file for Happy parser generator (use lbnf!)" ++ "\n -printer=haskell abstract syntax in Haskell, with transl to/from GF" ++ + "\n -printer=haskell_gadt abstract syntax GADT in Haskell, with transl to/from GF" ++ "\n -printer=morpho full-form lexicon, long format" ++ "\n *-printer=latex LaTeX file (for the tg command)" ++ "\n -printer=fullform full-form lexicon, short format" ++ -- cgit v1.2.3