diff options
| author | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-08 11:36:53 +0000 |
| commit | 318379f73a4f6beae40687e7122ac476abe526f1 (patch) | |
| tree | 716f6209e4109e535024c0ea506ee037fdba7288 /src/GF/Compile | |
| parent | 51c9afa5c8025971d8080fa271a0e8486b9effde (diff) | |
type check cc command
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index c4de7beb1..811437f57 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -65,6 +65,13 @@ checkModule ms (name,mod) = checkIn ("checking module" +++ prt name) $ case mod where gr = MGrammar $ (name,mod):ms +-- check if a term is typable + +justCheckLTerm :: SourceGrammar -> Term -> Err Term +justCheckLTerm src t = do + ((t',_),_) <- checkStart (inferLType src t) + return t' + checkAbsInfo :: SourceGrammar -> Ident -> (Ident,Info) -> Check (Ident,Info) checkAbsInfo st m (c,info) = do ---- checkReservedId c |