diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-11 13:45:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-11 13:45:34 +0000 |
| commit | 1cdf171251a56baf0867b65a95c9bd59801ff912 (patch) | |
| tree | 837e65fa23f3041c3bbf4b7f1dbfcf63990e09a1 /src/PGF/Check.hs | |
| parent | 28a7c4b5c7659dc18166e06e914fb0a81c1c43bc (diff) | |
polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr
Diffstat (limited to 'src/PGF/Check.hs')
| -rw-r--r-- | src/PGF/Check.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PGF/Check.hs b/src/PGF/Check.hs index 363dc9239..58b66cfe4 100644 --- a/src/PGF/Check.hs +++ b/src/PGF/Check.hs @@ -30,7 +30,7 @@ labelBoolErr ms iob = do checkConcrete :: PGF -> (CId,Concr) -> Err ((CId,Concr),Bool) checkConcrete pgf (lang,cnc) = - labelBoolErr ("happened in language " ++ prCId lang) $ do + labelBoolErr ("happened in language " ++ showCId lang) $ do (rs,bs) <- mapM checkl (Map.assocs (lins cnc)) >>= return . unzip return ((lang,cnc{lins = Map.fromAscList rs}),and bs) where @@ -38,7 +38,7 @@ checkConcrete pgf (lang,cnc) = checkLin :: PGF -> CId -> (CId,Term) -> Err ((CId,Term),Bool) checkLin pgf lang (f,t) = - labelBoolErr ("happened in function " ++ prCId f) $ do + labelBoolErr ("happened in function " ++ showCId f) $ do (t',b) <- checkTerm (lintype pgf lang f) t --- $ inline pgf lang t return ((f,t'),b) |