1
0
forked from GitHub/gf-core

Added haskell_gadt -printer. It does not include a Compos instance yet, so it's not terribly useful.

This commit is contained in:
bringert
2007-05-10 13:56:41 +00:00
parent 6b6c25e5cb
commit 94531fac8a
4 changed files with 33 additions and 3 deletions

View File

@@ -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" ++