maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Lint prelude.el

Browse source 
This was a doozey because I use it everywhere. Is there a better way to globally
rename things? Aye aye aye... computers, man!
This commit is contained in:
William Carroll 2020-08-31 17:05:31 +01:00
parent 5d3bb0b7ea
commit ff8277625f
29 changed files with 163 additions and 164 deletions
Download patch file Download diff file Expand all files Collapse all files

28
emacs/.emacs.d/wpc/number.el
View file

@ -1,5 +1,9 @@
;;; number.el --- Functions for working with numbers -*- lexical-binding: t -*-
;; Author: William Carroll <wpcarro@gmail.com>
;; Version: 0.0.1
;; Package-Requires: ((emacs "24"))
;; Homepage: https://user.git.corp.google.com/wpcarro/briefcase
;;; Commentary:
;;
@ -124,29 +128,29 @@ While this function is undeniably trivial, I have unintentionally done (- 1 x)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(when number/test?
(prelude/assert
(prelude-assert
(number/positive? 10))
(prelude/assert
(prelude-assert
(number/natural? 10))
(prelude/assert
(prelude-assert
(number/whole? 10))
(prelude/assert
(prelude-assert
(number/whole? 0))
(prelude/assert
(prelude-assert
(number/integer? 10))
;; (prelude/assert
;; (prelude-assert
;; (= 120 (number/factorial 5)))
(prelude/assert
(prelude-assert
(number/even? 6))
(prelude/refute
(prelude-refute
(number/odd? 6))
(prelude/refute
(prelude-refute
(number/positive? -10))
(prelude/refute
(prelude-refute
(number/natural? 10.0))
(prelude/refute
(prelude-refute
(number/natural? -10))
(prelude/refute
(prelude-refute
(number/natural? -10.0)))
(provide 'number)