diff options
| author | aarne <unknown> | 2005-10-02 19:50:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-02 19:50:19 +0000 |
| commit | 1ea059cdcbce96d4198c42eee16be151549606cc (patch) | |
| tree | caa48299605c3ace4b76fe58679aa57d51ede768 /src/GF/Grammar/TC.hs | |
| parent | 1db8b90811b280a61acb3dc2961fe1ef45c6a2fb (diff) | |
def and List
Diffstat (limited to 'src/GF/Grammar/TC.hs')
| -rw-r--r-- | src/GF/Grammar/TC.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/GF/Grammar/TC.hs b/src/GF/Grammar/TC.hs index 5864c5af0..8cfe23408 100644 --- a/src/GF/Grammar/TC.hs +++ b/src/GF/Grammar/TC.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/09/15 16:22:02 $ +-- > CVS $Date: 2005/10/02 20:50:19 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.10 $ +-- > CVS $Revision: 1.11 $ -- -- Thierry Coquand's type checking algorithm that creates a trace ----------------------------------------------------------------------------- @@ -261,6 +261,9 @@ checkPatt th tenv exp val = do checkExpP tenv@(k,rho,gamma) exp val = case exp of Meta m -> return $ (AMeta m val, val, []) Vr x -> return $ (AVr x val, val, []) + EInt i -> return (AInt i, valAbsInt, []) + K s -> return (AStr s, valAbsString, []) + Q m c -> do typ <- lookupConst th (m,c) return $ (ACn (m,c) typ, typ, []) |