mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-21 09:02:50 -06:00
removed extra subex in suffixOptimize
This commit is contained in:
@@ -20,7 +20,7 @@ suffixOptimize gfcc = gfcc {
|
|||||||
concretes = Map.map opt (concretes gfcc)
|
concretes = Map.map opt (concretes gfcc)
|
||||||
}
|
}
|
||||||
where
|
where
|
||||||
opt cnc = subex $ cnc {
|
opt cnc = cnc {
|
||||||
lins = Map.map optTerm (lins cnc),
|
lins = Map.map optTerm (lins cnc),
|
||||||
lindefs = Map.map optTerm (lindefs cnc),
|
lindefs = Map.map optTerm (lindefs cnc),
|
||||||
printnames = Map.map optTerm (printnames cnc)
|
printnames = Map.map optTerm (printnames cnc)
|
||||||
@@ -58,7 +58,7 @@ optTerm tr = case tr of
|
|||||||
|
|
||||||
---subex :: [(CId,Term)] -> [(CId,Term)]
|
---subex :: [(CId,Term)] -> [(CId,Term)]
|
||||||
subex :: Concr -> Concr
|
subex :: Concr -> Concr
|
||||||
subex cnc = errVal cnc $ do
|
subex cnc = err error id $ do
|
||||||
(tree,_) <- appSTM (getSubtermsMod cnc) (Map.empty,0)
|
(tree,_) <- appSTM (getSubtermsMod cnc) (Map.empty,0)
|
||||||
return $ addSubexpConsts tree cnc
|
return $ addSubexpConsts tree cnc
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user