-( ==== Type predicates ==== )
+\ ==== Type predicates ==== {{{
:noname ( args -- boolobj )
2dup 1 ensure-arg-count
car primitive-proc-type istype? -rot 2drop boolean-type
; make-primitive procedure?
-( ==== Type conversions ==== )
+\ }}}
+
+\ ==== Type conversions ==== {{{
:noname ( args -- fixnum )
2dup 1 ensure-arg-count
charlist>symbol
; make-primitive string->symbol
-( ==== Arithmetic ==== )
+\ }}}
+
+\ ==== Arithmetic ==== {{{
: add-prim ( args -- fixnum )
2dup nil objeq? if
hide relcfa
-( ==== Pairs and Lists ==== )
+\ }}}
+
+\ ==== Pairs and Lists ==== {{{
:noname ( args -- pair )
2dup 2 ensure-arg-count
\ args is already a list!
; make-primitive list
-:noname ( args -- pair )
+:noname ( args -- obj )
2dup 1 ensure-arg-count
car pair-type ensure-arg-type
car
; make-primitive car
-:noname ( args -- pair )
+:noname ( args -- obj )
2dup 1 ensure-arg-count
car pair-type ensure-arg-type
cdr
; make-primitive cdr
-:noname ( args -- pair )
+:noname ( args -- ok )
2dup 2 ensure-arg-count
2dup cdr car
2swap car pair-type ensure-arg-type
ok-symbol
; make-primitive set-car!
-:noname ( args -- pair )
+:noname ( args -- ok )
2dup 2 ensure-arg-count
2dup cdr car
2swap car pair-type ensure-arg-type
ok-symbol
; make-primitive set-cdr!
-( ==== Polymorphic equality testing ==== )
+\ }}}
+
+\ ==== Polymorphic equality testing ==== {{{
:noname ( args -- bool )
2dup 2 ensure-arg-count
objeq? boolean-type
; make-primitive eq?
-( ==== Input/Output ==== )
+\ }}}
+
+\ ==== Input/Output ==== {{{
:noname ( args -- finalResult )
2dup 1 ensure-arg-count
pad swap load
; make-primitive load
-' read make-primitive read
+:noname ( args -- obj )
+ 0 ensure-arg-count
+ read
+; make-primitive read
-:noname ( args -- )
+defer display
+:noname ( args -- none )
2dup 1 ensure-arg-count
- car print cr
+ car print
none
; make-primitive write
-( ==== Evaluation ==== )
+: displaypair ( pairobj -- )
+ 2dup
+ car display
+ cdr
+ nil? if 2drop exit then
+ pair-type istype? if space recurse exit then
+ ." . " display
+;
+
+: displaychar ( charobj -- )
+ drop emit ;
+
+: (displaystring) ( charlist -- )
+ nil? if
+ 2drop
+ else
+ 2dup car displaychar
+ cdr recurse
+ then
+;
+
+: displaystring ( stringobj -- )
+ drop pair-type (displaystring)
+;
+
+:noname ( obj -- )
+ pair-type istype? if ." (" displaypair ." )" exit then
+ character-type istype? if displaychar exit then
+ string-type istype? if displaystring exit then
+
+ print
+; is display
+
+:noname ( args -- none )
+ 2dup 1 ensure-arg-count
+ car string-type ensure-arg-type
+
+ displaystring
+
+ none
+; make-primitive display-string
+
+:noname ( args -- none )
+ 2dup 1 ensure-arg-count
+ car character-type ensure-arg-type
+
+ displaychar
+
+ none
+; make-primitive display-character
+
+:noname ( args -- none )
+ 2dup 1 ensure-arg-count
+ car
+
+ display
+
+ none
+; make-primitive display
+
+:noname ( args -- none )
+ 0 ensure-arg-count
+
+ cr
+
+ none
+; make-primitive newline
+
+\ }}}
+
+\ ==== Evaluation ==== {{{
+
+:noname ( args -- result )
+ 2dup car 2swap cdr
+
+ nil? false = if car then ( proc argvals )
+
+ apply
+; make-primitive apply
+
+\ }}}
+
+\ ==== Miscellaneous ==== {{{
+
+( Produce a recoverable exception. )
+:noname ( args -- result )
+ bold fg red
+
+ nil? if
+ ." Error."
+ else
+ ." Error: " car display
+ then
+
+ reset-term
+
+ recoverable-exception throw
+; make-primitive error
+
+( Generate a temporary unique symbol. Used in the creation of hygienic macros. )
+:noname ( args -- result )
+ 0 ensure-arg-count
+
+ [char] _ character-type nil cons
+ drop symbol-type
+; make-primitive gensym
+
+\ }}}
-:noname
- \ Dummy apply procedure
- \ Should never actually run!
- ." Error: Dummy apply procedure executed!" cr
-; make-primitive apply
+\ vim:fdm=marker