drop character-type
; make-primitive integer->char
-: build-fixnum-charlist ( num )
+: num-to-charlist ( num -- charlist )
?dup 0= if
[char] 0 character-type nil cons
exit
drop
dup 0< swap abs ( bool num )
- build-fixnum-charlist
+ num-to-charlist
rot if
[char] - character-type 2swap cons
then
drop string-type
; make-primitive number->string
+:noname ( args -- symbol )
+ 2dup 1 ensure-arg-count
+ car string-type ensure-arg-type
+
+ drop pair-type
+
+ 2dup car [char] - character-type objeq? if
+ cdr
+ true -rot
+ else
+ 2dup car [char] + character-type objeq? if
+ cdr
+ then
+ false -rot
+ then
+
+ 0 -rot
+ begin
+ 2dup nil objeq? false =
+ while
+ 2dup car drop [char] 0 - -rot
+ 2swap swap 10 * + -rot
+ cdr
+ repeat
+
+ 2drop
+
+ swap if -1 * then
+
+ fixnum-type
+; make-primitive string->number
+
+:noname ( args -- string )
+ 2dup 1 ensure-arg-count
+ car symbol-type ensure-arg-type
+
+ drop pair-type
+ duplicate-charlist
+ drop string-type
+; make-primitive symbol->string
+
+:noname ( args -- symbol )
+ 2dup 1 ensure-arg-count
+ car string-type ensure-arg-type
+
+ drop pair-type
+ duplicate-charlist
+ charlist>symbol
+; make-primitive string->symbol
+
( = Arithmetic = )
: add-prim ( args -- fixnum )
0 fixnum-type
else
2dup car drop
- -rot cdr add-prim drop
- - fixnum-type
+ -rot cdr
+ 2dup nil objeq? if
+ 2drop negate
+ else
+ add-prim drop
+ -
+ then
+ fixnum-type
then
; make-primitive -
then
; make-primitive *
+:noname ( args -- fixnum )
+ 2dup 2 ensure-arg-count
+
+ 2dup car fixnum-type ensure-arg-type
+ 2swap cdr car fixnum-type ensure-arg-type
+
+ drop swap drop
+
+ / fixnum-type
+; make-primitive quotient
+
+:noname ( args -- fixnum )
+ 2dup 2 ensure-arg-count
+
+ 2dup car fixnum-type ensure-arg-type
+ 2swap cdr car fixnum-type ensure-arg-type
+
+ drop swap drop
+
+ mod fixnum-type
+; make-primitive remainder