mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
Changing rec to rec_ in PGF
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources from PGF folder.
This commit is contained in:
@@ -116,12 +116,12 @@ getAbsTrees (Forest abs cnc forest root) fid =
|
|||||||
guard (Set.null fvs)
|
guard (Set.null fvs)
|
||||||
return e
|
return e
|
||||||
where
|
where
|
||||||
go rec fcat' (d,fcat)
|
go rec_ fcat' (d,fcat)
|
||||||
| fcat < totalCats cnc = return (Set.empty,EMeta (fcat'*10+d)) -- FIXME: here we assume that every rule has at most 10 arguments
|
| fcat < totalCats cnc = return (Set.empty,EMeta (fcat'*10+d)) -- FIXME: here we assume that every rule has at most 10 arguments
|
||||||
| Set.member fcat rec = mzero
|
| Set.member fcat rec_ = mzero
|
||||||
| otherwise = foldForest (\funid args trees ->
|
| otherwise = foldForest (\funid args trees ->
|
||||||
do let CncFun fn lins = cncfuns cnc ! funid
|
do let CncFun fn lins = cncfuns cnc ! funid
|
||||||
args <- mapM (go (Set.insert fcat rec) fcat) (zip [0..] args)
|
args <- mapM (go (Set.insert fcat rec_) fcat) (zip [0..] args)
|
||||||
check_ho_fun fn args
|
check_ho_fun fn args
|
||||||
`mplus`
|
`mplus`
|
||||||
trees)
|
trees)
|
||||||
|
|||||||
@@ -191,12 +191,12 @@ getParseResult (PState pgf cnc chart items) ty@(DTyp _ start _) =
|
|||||||
return (AK fid lbl)
|
return (AK fid lbl)
|
||||||
Nothing -> mzero
|
Nothing -> mzero
|
||||||
|
|
||||||
go rec fcat' (d,fcat)
|
go rec_ fcat' (d,fcat)
|
||||||
| fcat < totalCats cnc = return (Set.empty,EMeta (fcat'*10+d)) -- FIXME: here we assume that every rule has at most 10 arguments
|
| fcat < totalCats cnc = return (Set.empty,EMeta (fcat'*10+d)) -- FIXME: here we assume that every rule has at most 10 arguments
|
||||||
| Set.member fcat rec = mzero
|
| Set.member fcat rec_ = mzero
|
||||||
| otherwise = foldForest (\funid args trees ->
|
| otherwise = foldForest (\funid args trees ->
|
||||||
do let CncFun fn lins = cncfuns cnc ! funid
|
do let CncFun fn lins = cncfuns cnc ! funid
|
||||||
args <- mapM (go (Set.insert fcat rec) fcat) (zip [0..] args)
|
args <- mapM (go (Set.insert fcat rec_) fcat) (zip [0..] args)
|
||||||
check_ho_fun fn args
|
check_ho_fun fn args
|
||||||
`mplus`
|
`mplus`
|
||||||
trees)
|
trees)
|
||||||
|
|||||||
Reference in New Issue
Block a user