From 8443b2f6d8dcf4fa1ef76d222ecd443a69430618 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 8 Jan 2023 14:58:18 +0100
Subject: [PATCH] remove lex/parse stuff for now

---
 lib/{ => on-hold}/Quox/Lexer.idr      |  0
 lib/{ => on-hold}/Quox/Parser.idr     |  0
 lib/{ => on-hold}/Quox/Token.idr      |  0
 lib/{ => on-hold}/Quox/Unicode.idr    |  0
 lib/quox-lib.ipkg                     |  8 ++++----
 tests/Tests.idr                       | 12 ++++++------
 tests/{ => on-hold}/Tests/Lexer.idr   |  0
 tests/{ => on-hold}/Tests/Parser.idr  |  0
 tests/{ => on-hold}/Tests/Unicode.idr |  0
 9 files changed, 10 insertions(+), 10 deletions(-)
 rename lib/{ => on-hold}/Quox/Lexer.idr (100%)
 rename lib/{ => on-hold}/Quox/Parser.idr (100%)
 rename lib/{ => on-hold}/Quox/Token.idr (100%)
 rename lib/{ => on-hold}/Quox/Unicode.idr (100%)
 rename tests/{ => on-hold}/Tests/Lexer.idr (100%)
 rename tests/{ => on-hold}/Tests/Parser.idr (100%)
 rename tests/{ => on-hold}/Tests/Unicode.idr (100%)

diff --git a/lib/Quox/Lexer.idr b/lib/on-hold/Quox/Lexer.idr
similarity index 100%
rename from lib/Quox/Lexer.idr
rename to lib/on-hold/Quox/Lexer.idr
diff --git a/lib/Quox/Parser.idr b/lib/on-hold/Quox/Parser.idr
similarity index 100%
rename from lib/Quox/Parser.idr
rename to lib/on-hold/Quox/Parser.idr
diff --git a/lib/Quox/Token.idr b/lib/on-hold/Quox/Token.idr
similarity index 100%
rename from lib/Quox/Token.idr
rename to lib/on-hold/Quox/Token.idr
diff --git a/lib/Quox/Unicode.idr b/lib/on-hold/Quox/Unicode.idr
similarity index 100%
rename from lib/Quox/Unicode.idr
rename to lib/on-hold/Quox/Unicode.idr
diff --git a/lib/quox-lib.ipkg b/lib/quox-lib.ipkg
index f37371f..d686162 100644
--- a/lib/quox-lib.ipkg
+++ b/lib/quox-lib.ipkg
@@ -9,7 +9,7 @@ depends = base, contrib, elab-util, sop, snocvect
 
 modules =
   Quox.NatExtra,
-  Quox.Unicode,
+  -- Quox.Unicode,
   Quox.OPE,
   Quox.Pretty,
   Quox.Syntax,
@@ -27,9 +27,9 @@ modules =
   Quox.Syntax.Universe,
   Quox.Syntax.Var,
   Quox.Definition,
-  Quox.Token,
-  Quox.Lexer,
-  Quox.Parser,
+  -- Quox.Token,
+  -- Quox.Lexer,
+  -- Quox.Parser,
   Quox.Context,
   Quox.Equal,
   Quox.Name,
diff --git a/tests/Tests.idr b/tests/Tests.idr
index 6d01899..4da0382 100644
--- a/tests/Tests.idr
+++ b/tests/Tests.idr
@@ -1,18 +1,18 @@
 module Tests
 
 import TAP
-import Tests.Unicode
-import Tests.Lexer
-import Tests.Parser
+-- import Tests.Unicode
+-- import Tests.Lexer
+-- import Tests.Parser
 import Tests.Reduce
 import Tests.Equal
 import System
 
 
 allTests = [
-  Unicode.tests,
-  Lexer.tests,
-  Parser.tests,
+  -- Unicode.tests,
+  -- Lexer.tests,
+  -- Parser.tests,
   Reduce.tests,
   Equal.tests
 ]
diff --git a/tests/Tests/Lexer.idr b/tests/on-hold/Tests/Lexer.idr
similarity index 100%
rename from tests/Tests/Lexer.idr
rename to tests/on-hold/Tests/Lexer.idr
diff --git a/tests/Tests/Parser.idr b/tests/on-hold/Tests/Parser.idr
similarity index 100%
rename from tests/Tests/Parser.idr
rename to tests/on-hold/Tests/Parser.idr
diff --git a/tests/Tests/Unicode.idr b/tests/on-hold/Tests/Unicode.idr
similarity index 100%
rename from tests/Tests/Unicode.idr
rename to tests/on-hold/Tests/Unicode.idr