blob: af58878c6406c9763770ba039a9dafc70ab6e360 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
;;; -*- mode: lisp; coding: utf-8 -*-
;;; Toilet Lisp, 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- = mod evenp oddp zerop + - *))
(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))))))
(defun + (x y)
(etypecase x
(fixnum (etypecase y
(fixnum (add-fixnums x y))
(integer (send-by-name x "add:" y))))
(integer (etypecase y
(integer (send-by-name x "add:" y))))))
(defun - (x y)
(etypecase x
(fixnum (etypecase y
(fixnum (subtract-fixnums x y))
(integer (send-by-name x "subtract:" y))))
(integer (etypecase y
(integer (send-by-name x "subtract:" y))))))
(defun * (x y)
(etypecase x
(fixnum (etypecase y
(fixnum (multiply-fixnums x y))
(integer (send-by-name x "multiplyWith:" y))))
(integer (etypecase y
(integer (send-by-name x "multiplyWith:" y))))))
(defun idiv (x y)
(etypecase x
(fixnum (etypecase y
(fixnum (idivide-fixnums x y))
(integer (send-by-name x "divideBy:" y))))
(integer (etypecase y
(integer (send-by-name x "divideBy:" y))))))
(defun mod (n m)
;; (if (and (typep n 'fixnum)
;; (typep m 'fixnum))
;; (fixnum-mod n m)
;; (send-by-name n "mod:" m))
(send-by-name n "mod:" m))
(defun evenp (n)
(etypecase n
(fixnum (zerop (mod n 2)))
(integer (send-by-name n "evenp"))))
(defun oddp (n)
(not (evenp n)))
(defun zerop (n)
(etypecase n
(integer (%zerop n))))
|
