move Scoped syntax directory

app/Main.hs

@@ -3,7 +3,7 @@ module Main (main) where
 
 import MiniJuvix.Utils.Prelude
 import qualified MiniJuvix.Syntax.Concrete.Parser as M
-import qualified MiniJuvix.Syntax.Scoped.Scoper as M
+import qualified MiniJuvix.Syntax.Concrete.Scoped.Scoper as M
 import Options.Applicative
 import Options.Applicative.Help.Pretty
 

src/MiniJuvix/Syntax/Concrete/Language.hs

@@ -15,7 +15,7 @@ import Data.Singletons
 import Language.Haskell.TH.Syntax (Lift)
 import MiniJuvix.Syntax.Concrete.Fixity
 import MiniJuvix.Syntax.Concrete.Name
-import qualified MiniJuvix.Syntax.Scoped.Name as S
+import qualified MiniJuvix.Syntax.Concrete.Scoped.Name as S
 import MiniJuvix.Utils.Prelude
 
 --------------------------------------------------------------------------------

src/MiniJuvix/Syntax/Concrete/Scoped/Name.hs

@@ -1,7 +1,7 @@
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE TemplateHaskell #-}
 
-module MiniJuvix.Syntax.Scoped.Name where
+module MiniJuvix.Syntax.Concrete.Scoped.Name where
 
 import Data.Stream (Stream (Cons))
 import Lens.Micro.Platform

src/MiniJuvix/Syntax/Concrete/Scoped/Scoper.hs

@@ -3,7 +3,7 @@
 
 -- | Limitations:
 -- 1. A symbol introduced by a type signature can only be used once per Module.
-module MiniJuvix.Syntax.Scoped.Scoper where
+module MiniJuvix.Syntax.Concrete.Scoped.Scoper where
 
 import qualified Control.Monad.Combinators.Expr as P
 import qualified Data.HashMap.Strict as HashMap
@@ -15,8 +15,8 @@ import Lens.Micro.Platform
 import qualified MiniJuvix.Syntax.Concrete.Base as P
 import MiniJuvix.Syntax.Concrete.Language
 import MiniJuvix.Syntax.Concrete.Parser (runModuleParserIO)
-import MiniJuvix.Syntax.Scoped.Name (NameKind (KNameConstructor))
-import qualified MiniJuvix.Syntax.Scoped.Name as S
+import MiniJuvix.Syntax.Concrete.Scoped.Name (NameKind (KNameConstructor))
+import qualified MiniJuvix.Syntax.Concrete.Scoped.Name as S
 import MiniJuvix.Utils.Prelude hiding (Reader, State, ask, asks, evalState, get, gets, local, modify, put, runReader, runState)
 import Polysemy
 import Polysemy.Error hiding (fromEither)
@@ -1268,11 +1268,6 @@ parsePatternSection sec = do
   where
     filePath = "tmp"
 
-unfoldApp :: PrePattern -> Maybe (PrePattern, PrePattern)
-unfoldApp p = case p of
-  PrePatternApp l r -> Just (l, r)
-  _ -> Nothing
-
 -- | Unfolds applications. Checks that the leftmost thing in an application is a constructor
 parsePrePattern ::
   forall r.