From 8a93b9b0ae7b728a2da3107389eb0dcfb2399e4d Mon Sep 17 00:00:00 2001
From: Izaak Walton <iwalton@hrl.com>
Date: Mon, 14 Oct 2024 12:32:17 -0700
Subject: [PATCH] Move math package to math directory

---
 coalton.asd               |  3 ++-
 library/math/package.lisp | 15 +++++++++++++++
 library/prelude.lisp      | 16 ----------------
 3 files changed, 17 insertions(+), 17 deletions(-)
 create mode 100644 library/math/package.lisp

diff --git a/coalton.asd b/coalton.asd
index 1abbc956a..5c398008c 100644
--- a/coalton.asd
+++ b/coalton.asd
@@ -63,7 +63,8 @@
                              (:file "complex")
                              (:file "elementary")
                              (:file "dyadic")
-                             (:file "dual")))
+                             (:file "dual")
+                             (:file "package")))
                (:file "randomaccess")
                (:file "cell")
                (:file "tuple")
diff --git a/library/math/package.lisp b/library/math/package.lisp
new file mode 100644
index 000000000..9c01ac948
--- /dev/null
+++ b/library/math/package.lisp
@@ -0,0 +1,15 @@
+(uiop:define-package #:coalton-library/math
+  (:use-reexport
+   #:coalton-library/math/arith
+   #:coalton-library/math/num
+   #:coalton-library/math/bounded
+   #:coalton-library/math/conversions
+   #:coalton-library/math/fraction
+   #:coalton-library/math/integral
+   #:coalton-library/math/real
+   #:coalton-library/math/complex
+   #:coalton-library/math/elementary
+   #:coalton-library/math/dual))
+
+#+sb-package-locks
+(sb-ext:lock-package "COALTON-LIBRARY/MATH")
diff --git a/library/prelude.lisp b/library/prelude.lisp
index 34edc2363..f7756e22c 100644
--- a/library/prelude.lisp
+++ b/library/prelude.lisp
@@ -2,22 +2,6 @@
 ;;;;
 ;;;; Collections of packages
 
-(uiop:define-package #:coalton-library/math
-  (:use-reexport
-   #:coalton-library/math/arith
-   #:coalton-library/math/num
-   #:coalton-library/math/bounded
-   #:coalton-library/math/conversions
-   #:coalton-library/math/fraction
-   #:coalton-library/math/integral
-   #:coalton-library/math/real
-   #:coalton-library/math/complex
-   #:coalton-library/math/elementary
-   #:coalton-library/math/dual))
-
-#+sb-package-locks
-(sb-ext:lock-package "COALTON-LIBRARY/MATH")
-
 (uiop:define-package #:coalton-prelude
   (:use-reexport
    #:coalton-library/classes