all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify.
@ 2020-02-11 10:25 Konrad Hinsen
  2020-02-12  9:07 ` bug#39565: " Guillaume Le Vaillant
  0 siblings, 1 reply; 2+ messages in thread
From: Konrad Hinsen @ 2020-02-11 10:25 UTC (permalink / raw)
  To: 39565

* gnu/packages/lisp-xyz.scm (sbcl-trivialib-type-unify,
  cl-trivialib-type-unify): New variables.
---
 gnu/packages/lisp-xyz.scm | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm
index 2a17bfb0f2..2a17496ecc 100644
--- a/gnu/packages/lisp-xyz.scm
+++ b/gnu/packages/lisp-xyz.scm
@@ -10384,3 +10384,42 @@ the elements in compound type specifier, e.g. @code{dimensions} in
 
 (define-public cl-type-r
   (sbcl-package->cl-source-package sbcl-type-r))
+
+(define-public sbcl-trivialib-type-unify
+  (let ((commit "62492ebf04db567dcf435ae84c50b7b8202ecf99")
+        (revision "1"))
+    (package
+      (name "sbcl-trivialib-type-unify")
+      (version "0.1")
+      (source
+       (origin
+         (method git-fetch)
+         (uri (git-reference
+               (url "https://github.com/guicho271828/trivialib.type-unify.git")
+               (commit commit)))
+         (file-name (git-file-name name version))
+         (sha256
+          (base32
+           "1bkyfzbwv75p50zp8n1n9rh2r29pw3vgz91gmn2gzzkyq3khj1vh"))))
+      (build-system asdf-build-system/sbcl)
+      (synopsis "Common Lisp type unification")
+      (description
+       "Unifies a parametrized type specifier against an actual type specifier.
+Importantly, it handles complicated array-subtypes and number-related types
+correctly.")
+      (home-page "https://github.com/guicho271828/trivialib.type-unify")
+      (license license:lgpl3+)
+      (inputs
+       `(("alexandria" ,sbcl-alexandria)
+         ("trivia" ,sbcl-trivia)
+         ("introspect-environment" ,sbcl-introspect-environment)
+         ("type-r" ,sbcl-type-r)))
+      (native-inputs
+       `(("fiveam" ,sbcl-fiveam)))
+      (arguments
+       `(#:asd-system-name "trivialib.type-unify"
+         #:asd-file "trivialib.type-unify.asd"
+         #:test-asd-file "trivialib.type-unify.test.asd")))))
+
+(define-public cl-trivialib-type-unify
+  (sbcl-package->cl-source-package sbcl-trivialib-type-unify))
-- 
2.25.0

^ permalink raw reply related	[flat|nested] 2+ messages in thread

* bug#39565: [PATCH] gnu: Add cl-trivialib-type-unify.
  2020-02-11 10:25 [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify Konrad Hinsen
@ 2020-02-12  9:07 ` Guillaume Le Vaillant
  0 siblings, 0 replies; 2+ messages in thread
From: Guillaume Le Vaillant @ 2020-02-12  9:07 UTC (permalink / raw)
  To: 39565-done; +Cc: Konrad Hinsen

[-- Attachment #1: Type: text/plain, Size: 61 bytes --]


Pushed as 8926866ef7c2b0204a9fe7072e927186b87e8d66. Thanks.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 227 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-02-12  9:08 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-02-11 10:25 [bug#39565] [PATCH] gnu: Add cl-trivialib-type-unify Konrad Hinsen
2020-02-12  9:07 ` bug#39565: " Guillaume Le Vaillant

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.