From 87b55df10f00fd23d89a89bfb7c4354ff455d83d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Jan 2005 15:06:12 +0000
Subject: -val optimization

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

(limited to 'src/GF/Grammar/Grammar.hs')

diff --git a/src/GF/Grammar/Grammar.hs b/src/GF/Grammar/Grammar.hs
index a2978d6b3..0f8e4256e 100644
--- a/src/GF/Grammar/Grammar.hs
+++ b/src/GF/Grammar/Grammar.hs
@@ -77,6 +77,7 @@ data Term =
  
  | Table Term Term      -- table type:  P => A
  | T TInfo [Case]       -- table:       table {p => c ; ...}
+ | V Type [Term]        -- table given as course of values: table T [c1 ; ... ; cn]
  | S Term Term          -- selection:   t ! p
 
  | Let LocalDef Term    -- local definition: let {t : T = a} in b
-- 
cgit v1.2.3