[ refactor ] move parser into Idris

idris2api.ipkg

@@ -247,18 +247,18 @@ modules =
     Libraries.Utils.Shunting,
     Libraries.Utils.String,
 
-    Parser.Package,
-    Parser.Source,
-    Parser.Support,
-    Parser.Support.Escaping,
-    Parser.Unlit,
+    Idris.Parser.Core.Package,
+    Idris.Parser.Core.Source,
+    Idris.Parser.Core.Support,
+    Idris.Parser.Core.Support.Escaping,
+    Idris.Parser.Core.Unlit,
 
-    Parser.Lexer.Common,
-    Parser.Lexer.Package,
-    Parser.Lexer.Source,
+    Idris.Parser.Core.Lexer.Common,
+    Idris.Parser.Core.Lexer.Package,
+    Idris.Parser.Core.Lexer.Source,
 
-    Parser.Rule.Package,
-    Parser.Rule.Source,
+    Idris.Parser.Core.Rule.Package,
+    Idris.Parser.Core.Rule.Source,
 
     Protocol.IDE,
     Protocol.IDE.Command,

ipkg/idris2protocols.ipkg

@@ -13,7 +13,7 @@ modules
   , Libraries.Text.Quantity
   , Libraries.Text.Token
   , Libraries.Text.Lexer
-  , Parser.Lexer.Common
+  , Idris.Parser.Core.Lexer.Common
   , Libraries.Data.Span
   , Libraries.Data.String.Extra
   , Libraries.Text.PrettyPrint.Prettyprinter.Doc
@@ -24,7 +24,7 @@ modules
   , Libraries.Text.Lexer.Tokenizer
   , Libraries.Text.Parser.Core
   , Libraries.Text.Parser
-  , Parser.Support.Escaping
+  , Idris.Parser.Core.Support.Escaping
   , Protocol.SExp.Parser
   , Protocol.IDE.Decoration
   , Protocol.IDE.Command

src/Core/Directory.idr

@@ -9,7 +9,7 @@ import Core.Options
 
 import Idris.Version
 
-import Parser.Unlit
+import Idris.Parser.Core.Unlit
 
 import Libraries.Data.Version
 import Libraries.Utils.Path

src/Idris/Desugar.idr

@@ -27,8 +27,8 @@ import Idris.Elab.Interface
 
 import Idris.Desugar.Mutual
 
-import Parser.Lexer.Source
-import Parser.Support
+import Idris.Parser.Core.Lexer.Source
+import Idris.Parser.Core.Support
 
 import TTImp.BindImplicits
 import TTImp.Parser

src/Idris/Doc/Keywords.idr

@@ -1,7 +1,7 @@
 module Idris.Doc.Keywords
 
 import Decidable.Equality
-import Parser.Lexer.Source
+import Idris.Parser.Core.Lexer.Source
 import Data.List.Quantifiers
 import Data.String
 

src/Idris/Doc/String.idr

@@ -35,7 +35,7 @@ import Libraries.Data.WithDefault
 import public Libraries.Text.PrettyPrint.Prettyprinter
 import public Libraries.Text.PrettyPrint.Prettyprinter.Util
 
-import Parser.Lexer.Source
+import Idris.Parser.Core.Lexer.Source
 
 import public Idris.Doc.Annotations
 import Idris.Doc.Keywords

src/Idris/Error.idr

@@ -11,7 +11,7 @@ import Idris.Resugar
 import Idris.Syntax
 import Idris.Pretty
 
-import Parser.Source
+import Idris.Parser.Core.Source
 
 import Data.List
 import Data.Either

src/Idris/IDEMode/CaseSplit.idr

@@ -7,8 +7,8 @@ import Core.Metadata
 import Core.TT
 import Core.Value
 
-import Parser.Lexer.Source
-import Parser.Unlit
+import Idris.Parser.Core.Lexer.Source
+import Idris.Parser.Core.Unlit
 
 import TTImp.Interactive.CaseSplit
 import TTImp.TTImp

src/Idris/IDEMode/MakeClause.idr

@@ -1,8 +1,8 @@
 module Idris.IDEMode.MakeClause
 
 import Core.Name
-import Parser.Lexer.Source
-import Parser.Unlit
+import Idris.Parser.Core.Lexer.Source
+import Idris.Parser.Core.Unlit
 
 import Data.List
 import Data.Nat

src/Idris/IDEMode/Parser.idr

@@ -9,7 +9,7 @@ import Core.FC
 import Protocol.SExp
 import Protocol.SExp.Parser
 
-import Parser.Source
+import Idris.Parser.Core.Source
 
 Cast SExpError Error where
   cast (LexError    err) = fromLexError                   (Virtual Interactive) err

src/Idris/IDEMode/TokenLine.idr

@@ -1,7 +1,7 @@
 ||| Tokenise a source line for easier processing
 module Idris.IDEMode.TokenLine
 
-import Parser.Lexer.Source
+import Idris.Parser.Core.Lexer.Source
 import Libraries.Text.Lexer
 
 %default total

src/Idris/Package.idr

@@ -17,7 +17,7 @@ import Data.SnocList
 import Data.String
 import Data.These
 
-import Parser.Package
+import Idris.Parser.Core.Package
 import System
 import System.Directory
 import Libraries.System.Directory.Tree