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 278a0ab45d
commit e4ef09f6aa
4 changed files with 33 additions and 3 deletions

View File

@@ -615,6 +615,7 @@ q, quit: q
-printer=plbnf grammar for BNF Converter, with precedence levels
*-printer=happy source file for Happy parser generator (use lbnf!)
-printer=haskell abstract syntax in Haskell, with transl to/from GF
-printer=haskell_gadt abstract syntax GADT in Haskell, with transl to/from GF
-printer=morpho full-form lexicon, long format
*-printer=latex LaTeX file (for the tg command)
-printer=fullform full-form lexicon, short format