remove ScoperSyntax

anoma · Jan 23, 2025 · 05c2361 · 05c2361
1 parent adc948f
commit 05c2361
Show file tree

Hide file tree

Showing 6 changed files with 39 additions and 185 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs b/src/Juvix/Compiler/Concrete/Data/Scope/Base.hs
@@ -106,14 +106,6 @@ newtype ScoperIterators = ScoperIterators
   }
   deriving newtype (Semigroup, Monoid)
 
-data ScoperSyntax = ScoperSyntax
-  { _scoperSyntaxOperators :: ScoperOperators,
-    _scoperSyntaxIterators :: ScoperIterators
-  }
-
-emptyScoperSyntax :: ScoperSyntax
-emptyScoperSyntax = ScoperSyntax mempty mempty
-
 makeLenses ''ScoperIterators
 makeLenses ''InScope
 makeLenses ''ReservedModule
@@ -122,7 +114,6 @@ makeLenses ''SymbolIterator
 makeLenses ''SymbolInfo
 makeLenses ''Scope
 makeLenses ''ScoperOperators
-makeLenses ''ScoperSyntax
 makeLenses ''ScoperState
 makeLenses ''ScopeParameters
 makeLenses ''ModulesCache