From f1a773d6af59e832e37a26c67abcdf553c001569 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Mon, 30 Sep 2024 16:45:53 +0200 Subject: [PATCH] remove unused field from ScoperState --- src/Juvix/Compiler/Concrete/Data/Scope/Base.hs | 1 - .../Concrete/Translation/FromParsed/Analysis/Scoping.hs | 2 -- 2 files changed, 3 deletions(-) diff --git a/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs b/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs index 4483949bc5..ec8952dd12 100644 --- a/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs +++ b/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs @@ -59,7 +59,6 @@ data ScoperState = ScoperState { -- | Local and top modules currently in scope - used to look up qualified symbols _scoperModules :: HashMap S.NameId ScopedModule, _scoperAlias :: HashMap S.NameId PreSymbolEntry, - _scoperScopedNameSignatures :: HashMap S.NameId (NameSignature 'Scoped), _scoperNameSignatures :: HashMap S.NameId (NameSignature 'Parsed), -- | Indexed by the inductive type. This is used for record updates _scoperRecordFields :: HashMap S.NameId RecordInfo, diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs index a6693ebb4b..e16052d2e0 100644 --- a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs +++ b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs @@ -48,7 +48,6 @@ iniScoperState :: InfoTable -> ScoperState iniScoperState tab = ScoperState { _scoperModules = mempty, - _scoperScopedNameSignatures = tab ^. infoNameSigs, _scoperNameSignatures = tab ^. infoParsedNameSigs, _scoperRecordFields = tab ^. infoRecords, _scoperAlias = tab ^. infoScoperAlias, @@ -252,7 +251,6 @@ registerNameSignature :: Sem r () registerNameSignature uid d = do sig <- mkNameSignature d - modify (set (scoperScopedNameSignatures . at uid) (Just sig)) registerNameSig uid sig registerConstructorSignature ::