From e4ef09f6aac55452031cc16def7048b0dd0d30cd Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
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/HelpFile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index 0b18e34a8..999b26382 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -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
-- 
cgit v1.2.3