summaryrefslogtreecommitdiff
path: root/src/GF/Grammar
diff options
context:
space:
mode:
authoraarne <unknown>2004-06-17 14:10:06 +0000
committeraarne <unknown>2004-06-17 14:10:06 +0000
commit94f8d310cba278361333c723ef55816ccb632cbc (patch)
tree5f323b645b839279289824536028180ee06ab0c1 /src/GF/Grammar
parenta77519ba1045d23a7bb8ea1c56cc90518e9fedb9 (diff)
path in file name test in ReadFiles
Diffstat (limited to 'src/GF/Grammar')
-rw-r--r--src/GF/Grammar/Lookup.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs
index 05b0bf39e..f735730df 100644
--- a/src/GF/Grammar/Lookup.hs
+++ b/src/GF/Grammar/Lookup.hs
@@ -101,6 +101,9 @@ qualifAnnotPar m t = case t of
lookupLincat :: SourceGrammar -> Ident -> Ident -> Err Type
+lookupLincat gr m c | elem c [zIdent "String", zIdent "Int"] =
+ return defLinType --- ad hoc; not needed?
+
lookupLincat gr m c = do
mi <- lookupModule gr m
case mi of