diff options
| author | aarne <aarne@chalmers.se> | 2012-06-25 11:14:52 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-06-25 11:14:52 +0000 |
| commit | d15e0f775d0eeb82e322f715d9e2a55d90206615 (patch) | |
| tree | 1358430e0ae168bc24a910ea722034f8055f5744 /src/compiler/GF/Compile | |
| parent | 3dc2e55949496acd054bdb09428b4c44562ee0d0 (diff) | |
checkMapRecover: find undefined idents in all jments in Rename
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/Rename.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/Rename.hs b/src/compiler/GF/Compile/Rename.hs index 32ba76f9b..aeaf3b250 100644 --- a/src/compiler/GF/Compile/Rename.hs +++ b/src/compiler/GF/Compile/Rename.hs @@ -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)]) |