diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-04 18:18:09 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-04 18:18:09 +0200 |
commit | 383e3e833a7fbb8b1560ba861b76e8be96542c6f (patch) | |
tree | 7ac10910bdcd65df2dd8fe849e14def440929b3d | |
parent | a4c9f5bd436dae1d99845f50da55bae733129f56 (diff) |
Add prototypes of =, 1-, and 1+.
-rw-r--r-- | numbers.lisp | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/numbers.lisp b/numbers.lisp new file mode 100644 index 0000000..2dd75b2 --- /dev/null +++ b/numbers.lisp @@ -0,0 +1,41 @@ +;;; -*- mode: lisp; coding: utf-8 -*- +;;; Étoilisp/Mulklisp, a Common Lisp subset for the Étoilé runtime. +;;; Copyright (C) 2008 Matthias Andreas Benkard. +;;; +;;; This program is free software: you can redistribute it and/or modify +;;; it under the terms of the GNU General Public License as published by +;;; the Free Software Foundation, either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; This program is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +;;; General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with this program. If not, see <http://www.gnu.org/licenses/>. + + +(in-package #:common-lisp) + +(export '(1+ 1- =)) + + +(defun 1+ (n) + (etypecase n + (fixnum (add-fixnums n 1)) + (integer (%1+ n)))) + +(defun 1- (n) + (etypecase n + (fixnum (subtract-fixnums n 1)) + (integer (%1- n)))) + +(defun = (x y) + (etypecase x + (fixnum (etypecase y + (fixnum (fixnum-eq x y)) + (integer nil))) + (integer (etypecase y + (fixnum nil) + (integer (%= x y)))))) |