From 383e3e833a7fbb8b1560ba861b76e8be96542c6f Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Mon, 4 Aug 2008 18:18:09 +0200 Subject: Add prototypes of =, 1-, and 1+. --- numbers.lisp | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 numbers.lisp (limited to 'numbers.lisp') 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 . + + +(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)))))) -- cgit v1.2.3