[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/16: gnu: Add sbcl-type-i.
From: |
guix-commits |
Subject: |
04/16: gnu: Add sbcl-type-i. |
Date: |
Thu, 4 Jul 2019 13:28:10 -0400 (EDT) |
ambrevar pushed a commit to branch master
in repository guix.
commit b0c1007dec8dee9ed8d7a8eb9397dae5612d50d4
Author: Pierre Neidhardt <address@hidden>
Date: Thu Jul 4 19:19:49 2019 +0200
gnu: Add sbcl-type-i.
* gnu/packages/lisp.scm (sbcl-type-i): New variable.
---
gnu/packages/lisp.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/lisp.scm b/gnu/packages/lisp.scm
index de4a55b..aec99cc 100644
--- a/gnu/packages/lisp.scm
+++ b/gnu/packages/lisp.scm
@@ -6191,3 +6191,35 @@ to users. This is currently supported on SBCL, CCL, and
CMUCL. Other
implementations have implementations of the functions that do as much as they
can and/or provide reasonable defaults.")
(license license:wtfpl2))))
+
+(define-public sbcl-type-i
+ (let ((commit "dea233f45f94064105ec09f0767de338f67dcbe2")
+ (revision "1"))
+ (package
+ (name "sbcl-type-i")
+ (build-system asdf-build-system/sbcl)
+ (version (git-version "0.1" revision commit))
+ (home-page "https://github.com/guicho271828/type-i")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url home-page)
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "039g5pbrhh65s0bhr9314gmd2nwc2y5lp2377c5qrc2lxky89qs3"))))
+ (inputs
+ `(("alexandria" ,sbcl-alexandria)
+ ("introspect-environment" ,sbcl-introspect-environment)
+ ("trivia.trivial" ,sbcl-trivia.trivial)))
+ (native-inputs
+ `(("fiveam" ,sbcl-fiveam)))
+ (arguments
+ `(#:test-asd-file "type-i.test.asd"))
+ (synopsis "Type inference utility on unary predicates for Common Lisp")
+ (description "This library tries to provide a way to detect what kind of
+type the given predicate is trying to check. This is different from inferring
+the return type of a function.")
+ (license license:llgpl))))
- 02/16: gnu: Add sbcl-trivial-cltl2., (continued)
- 02/16: gnu: Add sbcl-trivial-cltl2., guix-commits, 2019/07/04
- 03/16: gnu: Add sbcl-introspect-environment., guix-commits, 2019/07/04
- 01/16: gnu: Add sbcl-lisp-namespace., guix-commits, 2019/07/04
- 07/16: gnu: Add sbcl-fare-quasiquote-readtable., guix-commits, 2019/07/04
- 08/16: gnu: Add sbcl-trivia.level0., guix-commits, 2019/07/04
- 05/16: gnu: Add sbcl-optima., guix-commits, 2019/07/04
- 14/16: gnu: Add sbcl-trivia.quasiquote., guix-commits, 2019/07/04
- 10/16: gnu: Add sbcl-trivia.level2., guix-commits, 2019/07/04
- 16/16: gnu: Add sbcl-trivia., guix-commits, 2019/07/04
- 11/16: gnu: Add sbcl-trivia.trivial., guix-commits, 2019/07/04
- 04/16: gnu: Add sbcl-type-i.,
guix-commits <=
- 09/16: gnu: Add sbcl-trivia.level1., guix-commits, 2019/07/04
- 06/16: gnu: Add sbcl-fare-quasiquote., guix-commits, 2019/07/04
- 13/16: gnu: Add sbcl-trivia.ppcre., guix-commits, 2019/07/04
- 12/16: gnu: Add sbcl-trivia.balland2006., guix-commits, 2019/07/04
- 15/16: gnu: Add sbcl-trivia.cffi., guix-commits, 2019/07/04