From 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 23 Sep 2004 14:41:42 +0000
Subject: Ints n

---
 src/GF/Grammar/Lookup.hs | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs
index f735730df..19dc4cda1 100644
--- a/src/GF/Grammar/Lookup.hs
+++ b/src/GF/Grammar/Lookup.hs
@@ -78,6 +78,8 @@ lookupFirstTag gr m c = do
 
 allParamValues :: SourceGrammar -> Type -> Err [Term]
 allParamValues cnc ptyp = case ptyp of
+     App (Q (IC "Predef") (IC "Ints")) (EInt n) -> 
+       return [EInt i | i <- [0..n]]
      QC p c -> lookupParamValues cnc p c
      RecType r -> do
        let (ls,tys) = unzip r
-- 
cgit v1.2.3