From 2657c51e040964d9704f5c69945685ebd546eb6a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 4 Mar 2006 22:14:33 +0000
Subject: example based also with treebank, with real term parser

---
 src/GF/Grammar/Grammar.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/GF/Grammar')

diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs
index 47970c882..1c963ac66 100644
--- a/src/GF/Grammar/Grammar.hs
+++ b/src/GF/Grammar/Grammar.hs
@@ -128,6 +128,7 @@ data Term =
  | Typed Term Term      -- ^ type-annotated term
 --
 -- /below this, the constructors are only for concrete syntax/
+ | Example Term String  -- ^ example-based term: @in M.C "foo"
  | RecType [Labelling]  -- ^ record type: @{ p : A ; ...}@
  | R [Assign]           -- ^ record:      @{ p = a ; ...}@
  | P Term Label         -- ^ projection:  @r.p@
-- 
cgit v1.2.3