mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-29 06:22:51 -06:00
checkMapRecover: find undefined idents in all jments in Rename
This commit is contained in:
@@ -52,7 +52,7 @@ renameSourceTerm g m t = do
|
||||
renameModule :: [SourceModule] -> SourceModule -> Check SourceModule
|
||||
renameModule ms mo@(m,mi) = do
|
||||
status <- buildStatus (mGrammar ms) mo
|
||||
js <- checkMap (renameInfo status mo) (jments mi)
|
||||
js <- checkMapRecover (renameInfo status mo) (jments mi)
|
||||
return (m, mi{jments = js})
|
||||
|
||||
type Status = (StatusTree, [(OpenSpec, StatusTree)])
|
||||
|
||||
Reference in New Issue
Block a user