From 804f1e3638cb1b4b5ec10126ef71d71e6404ee62 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 6 May 2022 22:01:44 +0200 Subject: [PATCH] remove src directories --- exe/{src => }/Main.idr | 0 exe/quox.ipkg | 1 - lib/{src => }/Quox/Context.idr | 0 lib/{src => }/Quox/Equal.idr | 0 lib/{src => }/Quox/Lexer.idr | 0 lib/{src => }/Quox/Name.idr | 0 lib/{src => }/Quox/NatExtra.idr | 0 lib/{src => }/Quox/OPE.idr | 0 lib/{src => }/Quox/Parser.idr | 0 lib/{src => }/Quox/Pretty.idr | 0 lib/{src => }/Quox/Reduce.idr | 0 lib/{src => }/Quox/Syntax.idr | 0 lib/{src => }/Quox/Syntax/Dim.idr | 0 lib/{src => }/Quox/Syntax/DimEq.idr | 0 lib/{src => }/Quox/Syntax/Qty.idr | 0 lib/{src => }/Quox/Syntax/Shift.idr | 0 lib/{src => }/Quox/Syntax/Subst.idr | 0 lib/{src => }/Quox/Syntax/Term.idr | 0 lib/{src => }/Quox/Syntax/Term/Base.idr | 0 lib/{src => }/Quox/Syntax/Term/Pretty.idr | 0 lib/{src => }/Quox/Syntax/Term/Reduce.idr | 0 lib/{src => }/Quox/Syntax/Term/Split.idr | 0 lib/{src => }/Quox/Syntax/Term/Subst.idr | 0 lib/{src => }/Quox/Syntax/Universe.idr | 0 lib/{src => }/Quox/Syntax/Var.idr | 0 lib/{src => }/Quox/Token.idr | 0 lib/{src => }/Quox/Typechecker.idr | 0 lib/{src => }/Quox/Typing.idr | 0 lib/quox-lib.ipkg | 1 - tests/{src => }/Options.idr | 0 tests/{src => }/TAP.idr | 0 tests/{src => }/Tests.idr | 0 tests/{src => }/Tests/Equal.idr | 0 tests/{src => }/Tests/Lexer.idr | 0 tests/{src => }/Tests/Parser.idr | 0 tests/quox-tests.ipkg | 1 - 36 files changed, 3 deletions(-) rename exe/{src => }/Main.idr (100%) rename lib/{src => }/Quox/Context.idr (100%) rename lib/{src => }/Quox/Equal.idr (100%) rename lib/{src => }/Quox/Lexer.idr (100%) rename lib/{src => }/Quox/Name.idr (100%) rename lib/{src => }/Quox/NatExtra.idr (100%) rename lib/{src => }/Quox/OPE.idr (100%) rename lib/{src => }/Quox/Parser.idr (100%) rename lib/{src => }/Quox/Pretty.idr (100%) rename lib/{src => }/Quox/Reduce.idr (100%) rename lib/{src => }/Quox/Syntax.idr (100%) rename lib/{src => }/Quox/Syntax/Dim.idr (100%) rename lib/{src => }/Quox/Syntax/DimEq.idr (100%) rename lib/{src => }/Quox/Syntax/Qty.idr (100%) rename lib/{src => }/Quox/Syntax/Shift.idr (100%) rename lib/{src => }/Quox/Syntax/Subst.idr (100%) rename lib/{src => }/Quox/Syntax/Term.idr (100%) rename lib/{src => }/Quox/Syntax/Term/Base.idr (100%) rename lib/{src => }/Quox/Syntax/Term/Pretty.idr (100%) rename lib/{src => }/Quox/Syntax/Term/Reduce.idr (100%) rename lib/{src => }/Quox/Syntax/Term/Split.idr (100%) rename lib/{src => }/Quox/Syntax/Term/Subst.idr (100%) rename lib/{src => }/Quox/Syntax/Universe.idr (100%) rename lib/{src => }/Quox/Syntax/Var.idr (100%) rename lib/{src => }/Quox/Token.idr (100%) rename lib/{src => }/Quox/Typechecker.idr (100%) rename lib/{src => }/Quox/Typing.idr (100%) rename tests/{src => }/Options.idr (100%) rename tests/{src => }/TAP.idr (100%) rename tests/{src => }/Tests.idr (100%) rename tests/{src => }/Tests/Equal.idr (100%) rename tests/{src => }/Tests/Lexer.idr (100%) rename tests/{src => }/Tests/Parser.idr (100%) diff --git a/exe/src/Main.idr b/exe/Main.idr similarity index 100% rename from exe/src/Main.idr rename to exe/Main.idr diff --git a/exe/quox.ipkg b/exe/quox.ipkg index 2fe23b1..e20197a 100644 --- a/exe/quox.ipkg +++ b/exe/quox.ipkg @@ -4,5 +4,4 @@ version = 0 depends = base, contrib, elab-util, sop, quox-lib executable = quox -sourcedir = "src" main = Main diff --git a/lib/src/Quox/Context.idr b/lib/Quox/Context.idr similarity index 100% rename from lib/src/Quox/Context.idr rename to lib/Quox/Context.idr diff --git a/lib/src/Quox/Equal.idr b/lib/Quox/Equal.idr similarity index 100% rename from lib/src/Quox/Equal.idr rename to lib/Quox/Equal.idr diff --git a/lib/src/Quox/Lexer.idr b/lib/Quox/Lexer.idr similarity index 100% rename from lib/src/Quox/Lexer.idr rename to lib/Quox/Lexer.idr diff --git a/lib/src/Quox/Name.idr b/lib/Quox/Name.idr similarity index 100% rename from lib/src/Quox/Name.idr rename to lib/Quox/Name.idr diff --git a/lib/src/Quox/NatExtra.idr b/lib/Quox/NatExtra.idr similarity index 100% rename from lib/src/Quox/NatExtra.idr rename to lib/Quox/NatExtra.idr diff --git a/lib/src/Quox/OPE.idr b/lib/Quox/OPE.idr similarity index 100% rename from lib/src/Quox/OPE.idr rename to lib/Quox/OPE.idr diff --git a/lib/src/Quox/Parser.idr b/lib/Quox/Parser.idr similarity index 100% rename from lib/src/Quox/Parser.idr rename to lib/Quox/Parser.idr diff --git a/lib/src/Quox/Pretty.idr b/lib/Quox/Pretty.idr similarity index 100% rename from lib/src/Quox/Pretty.idr rename to lib/Quox/Pretty.idr diff --git a/lib/src/Quox/Reduce.idr b/lib/Quox/Reduce.idr similarity index 100% rename from lib/src/Quox/Reduce.idr rename to lib/Quox/Reduce.idr diff --git a/lib/src/Quox/Syntax.idr b/lib/Quox/Syntax.idr similarity index 100% rename from lib/src/Quox/Syntax.idr rename to lib/Quox/Syntax.idr diff --git a/lib/src/Quox/Syntax/Dim.idr b/lib/Quox/Syntax/Dim.idr similarity index 100% rename from lib/src/Quox/Syntax/Dim.idr rename to lib/Quox/Syntax/Dim.idr diff --git a/lib/src/Quox/Syntax/DimEq.idr b/lib/Quox/Syntax/DimEq.idr similarity index 100% rename from lib/src/Quox/Syntax/DimEq.idr rename to lib/Quox/Syntax/DimEq.idr diff --git a/lib/src/Quox/Syntax/Qty.idr b/lib/Quox/Syntax/Qty.idr similarity index 100% rename from lib/src/Quox/Syntax/Qty.idr rename to lib/Quox/Syntax/Qty.idr diff --git a/lib/src/Quox/Syntax/Shift.idr b/lib/Quox/Syntax/Shift.idr similarity index 100% rename from lib/src/Quox/Syntax/Shift.idr rename to lib/Quox/Syntax/Shift.idr diff --git a/lib/src/Quox/Syntax/Subst.idr b/lib/Quox/Syntax/Subst.idr similarity index 100% rename from lib/src/Quox/Syntax/Subst.idr rename to lib/Quox/Syntax/Subst.idr diff --git a/lib/src/Quox/Syntax/Term.idr b/lib/Quox/Syntax/Term.idr similarity index 100% rename from lib/src/Quox/Syntax/Term.idr rename to lib/Quox/Syntax/Term.idr diff --git a/lib/src/Quox/Syntax/Term/Base.idr b/lib/Quox/Syntax/Term/Base.idr similarity index 100% rename from lib/src/Quox/Syntax/Term/Base.idr rename to lib/Quox/Syntax/Term/Base.idr diff --git a/lib/src/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr similarity index 100% rename from lib/src/Quox/Syntax/Term/Pretty.idr rename to lib/Quox/Syntax/Term/Pretty.idr diff --git a/lib/src/Quox/Syntax/Term/Reduce.idr b/lib/Quox/Syntax/Term/Reduce.idr similarity index 100% rename from lib/src/Quox/Syntax/Term/Reduce.idr rename to lib/Quox/Syntax/Term/Reduce.idr diff --git a/lib/src/Quox/Syntax/Term/Split.idr b/lib/Quox/Syntax/Term/Split.idr similarity index 100% rename from lib/src/Quox/Syntax/Term/Split.idr rename to lib/Quox/Syntax/Term/Split.idr diff --git a/lib/src/Quox/Syntax/Term/Subst.idr b/lib/Quox/Syntax/Term/Subst.idr similarity index 100% rename from lib/src/Quox/Syntax/Term/Subst.idr rename to lib/Quox/Syntax/Term/Subst.idr diff --git a/lib/src/Quox/Syntax/Universe.idr b/lib/Quox/Syntax/Universe.idr similarity index 100% rename from lib/src/Quox/Syntax/Universe.idr rename to lib/Quox/Syntax/Universe.idr diff --git a/lib/src/Quox/Syntax/Var.idr b/lib/Quox/Syntax/Var.idr similarity index 100% rename from lib/src/Quox/Syntax/Var.idr rename to lib/Quox/Syntax/Var.idr diff --git a/lib/src/Quox/Token.idr b/lib/Quox/Token.idr similarity index 100% rename from lib/src/Quox/Token.idr rename to lib/Quox/Token.idr diff --git a/lib/src/Quox/Typechecker.idr b/lib/Quox/Typechecker.idr similarity index 100% rename from lib/src/Quox/Typechecker.idr rename to lib/Quox/Typechecker.idr diff --git a/lib/src/Quox/Typing.idr b/lib/Quox/Typing.idr similarity index 100% rename from lib/src/Quox/Typing.idr rename to lib/Quox/Typing.idr diff --git a/lib/quox-lib.ipkg b/lib/quox-lib.ipkg index 2bf00be..5334aff 100644 --- a/lib/quox-lib.ipkg +++ b/lib/quox-lib.ipkg @@ -7,7 +7,6 @@ license = "acsl" depends = base, contrib, elab-util, sop, snocvect -sourcedir = "src" modules = Quox.NatExtra, Quox.OPE, diff --git a/tests/src/Options.idr b/tests/Options.idr similarity index 100% rename from tests/src/Options.idr rename to tests/Options.idr diff --git a/tests/src/TAP.idr b/tests/TAP.idr similarity index 100% rename from tests/src/TAP.idr rename to tests/TAP.idr diff --git a/tests/src/Tests.idr b/tests/Tests.idr similarity index 100% rename from tests/src/Tests.idr rename to tests/Tests.idr diff --git a/tests/src/Tests/Equal.idr b/tests/Tests/Equal.idr similarity index 100% rename from tests/src/Tests/Equal.idr rename to tests/Tests/Equal.idr diff --git a/tests/src/Tests/Lexer.idr b/tests/Tests/Lexer.idr similarity index 100% rename from tests/src/Tests/Lexer.idr rename to tests/Tests/Lexer.idr diff --git a/tests/src/Tests/Parser.idr b/tests/Tests/Parser.idr similarity index 100% rename from tests/src/Tests/Parser.idr rename to tests/Tests/Parser.idr diff --git a/tests/quox-tests.ipkg b/tests/quox-tests.ipkg index a2b5148..f00bdd9 100644 --- a/tests/quox-tests.ipkg +++ b/tests/quox-tests.ipkg @@ -3,5 +3,4 @@ package quox-tests depends = base, contrib, elab-util, sop, snocvect, quox-lib executable = quox-tests -sourcedir = "src" main = Tests