From 31836c0da9ba7a716ee0480e6219d771da4999fa Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 23 Mar 2004 12:06:12 +0000
Subject: String pattern handling

---
 src/GF/Grammar/AppPredefined.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/src/GF/Grammar/AppPredefined.hs b/src/GF/Grammar/AppPredefined.hs
index 14f35a1d4..179272032 100644
--- a/src/GF/Grammar/AppPredefined.hs
+++ b/src/GF/Grammar/AppPredefined.hs
@@ -6,8 +6,9 @@ import Ident
 import PrGrammar (prt)
 ---- import PGrammar (pTrm)
 
--- predefined function definitions. AR 12/3/2003.
--- Type checker looks at signatures in predefined.gf
+-- predefined function type signatures and definitions. AR 12/3/2003.
+
+---- typPredefined :: Term -> Err Type
 
 appPredefined :: Term -> Term
 appPredefined t = case t of
-- 
cgit v1.2.3