GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 18:58:56 -06:00
Code Issues Packages Projects Releases Wiki Activity

more french

Browse Source
This commit is contained in:
aarne
2006-01-20 16:56:38 +00:00
parent 60d7d16906
commit c9ed0c4218
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Canon/CMacros.hs
View File

@@ -151,7 +151,7 @@ matchPatt cs0 (FV ts) = liftM FV $ mapM (matchPatt cs0) ts
matchPatt cs0 trm = term2patt trm >>= match cs0 where matchPatt cs0 trm = term2patt trm >>= match cs0 where
match cs t = match cs t =
case cs of case cs of
Cas ps b :_ | elem t ps -> return b Cas ps b :_ | elem t ps -> return b
_:cs' -> match cs' t _:cs' -> match cs' t
[] -> Bad $ "pattern not found for" +++ prt t [] -> Bad $ "pattern not found for" +++ prt t
+++ "among" ++++ unlines (map prt cs0) ---- debug +++ "among" ++++ unlines (map prt cs0) ---- debug

8
src/GF/Compile/CheckGrammar.hs
View File

@@ -717,14 +717,14 @@ pattContext env typ p = case p of
g1 <- pattContext env typ p g1 <- pattContext env typ p
g2 <- pattContext env typ q g2 <- pattContext env typ q
return $ g1 ++ g2 return $ g1 ++ g2
PRep p' -> noBind p' PRep p' -> noBind typeStr p'
PNeg p' -> noBind p' PNeg p' -> noBind typ p'
_ -> return [] ---- check types! _ -> return [] ---- check types!
where where
cnc = env cnc = env
noBind p' = do noBind typ p' = do
co <- pattContext env typeStr p' co <- pattContext env typ p'
if not (null co) if not (null co)
then checkWarn ("no variable bound inside pattern" +++ prt p) then checkWarn ("no variable bound inside pattern" +++ prt p)
>> return [] >> return []