tigris/runtime.lean at cwc · notch1p/tigris · GitHub

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
/-- generated from /Users/notch1p/Downloads/tigris/runtime.lisp -/
def runtime : String :=
r###"
(declaim (inline %string=))
(defun %string= (s1 s2)
  (declare (type simple-string s1) (type simple-string s2))
  (the boolean (sb-kernel:%sp-string= s1 s2 0 nil 0 nil)))

(declaim (ftype (function (integer integer) integer) %int+)
         (inline %int+))
(defun %int+ (a b)
  (declare (optimize (speed 3) (debug 0) (safety 0)))
  (sb-kernel:two-arg-+ a b))

(declaim (ftype (function (integer integer) integer) %int-)
         (inline %int-))
(defun %int- (a b)
  (declare (optimize (speed 3) (debug 0) (safety 0)))
  (sb-kernel:two-arg-- a b))

(declaim (ftype (function (integer integer) integer) %int*)
         (inline %int*))
(defun %int* (a b)
  (declare (optimize (speed 3) (debug 0) (safety 0)))
  (sb-kernel:two-arg-* a b))

(declaim (ftype (function (integer fixnum) integer) %int/)
         (inline %int/))
(defun %int/ (a b)
  (declare (optimize (speed 3) (debug 0) (safety 0)))
  (if (zerop b) 0
      (floor a b)))

(declaim (ftype (function (integer integer) boolean) %int=)
         (inline %int=))
(defun %int= (a b)
  (declare (optimize (speed 3) (debug 0) (safety 0)))
  (sb-kernel:two-arg-= a b))

(define-condition match-failure (error)
  ((discrminant
      :initarg :discr
      :reader discrminant
      :type string))
  (:report
   (lambda (condition stream)
     (format stream "No branch can be matched against ~A" (discrminant condition)))))

(defconstant +NOMATCH+ 'match-failure)
"###