[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.4.7 General Object Tests

36EBB EQIT ( ob1 ob1 → :: <ob1> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
36F01 EQITE ( ob1 ob1 → :: <ob1> <ob3> <rest> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
36D3A jEQcase ( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
34999 EQcase ( ob1 ob1 → :: ob1 <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: Should be called OVEREQcase.
359F7 REQcase ( ob → :: ob <ob2> ; )
( ob → :: ob <ob3> <rest> ; )
EQcase with the next object in the runstream.
34920 EQcasedrop ( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
Note: should be called OVEREQcasedrop.
35A10 REQcasedrop ( ob → <ob2> ; )
( ob → <ob3> <rest> ; )
EQcasedrop with the next object in the runstream.
36D62 EQUALcase ( ob1 ob1 → :: <ob1> ; )
( ob1 ob2 → :: <ob2> <rest> ; )
36E7F EQUALNOTcase ( ob1 ob1 → :: <ob2> <rest> ; )
( ob1 ob2 → :: <ob1> ; )
36D08 EQUALcasedrp ( ob ob1 ob2 → :: <ob1> ; )
( ob ob1 ob2 → :: ob <ob2> <rest> ; )
2AD81 EQUALcasedrop ( ob1 ob2 → :: <ob1> ; )
( ob1 ob2 → :: ob1 <ob2> <rest> ; )
29E99 tok=casedrop ( $ $' → :: <ob1> ; )
( $ $' → :: $ <ob2> <rest> ; )
Note: should be called OVERtok=casedrop.
2ADBD nonopcase ( seco → :: seco <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
2B0CC idntcase ( id → :: id <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
36E93 dIDNTNcase ( id → :: id <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
2B0EF idntlamcase ( id/lam → :: id <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
36DF3 REALcase ( % → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )
3EB9D (dREALcase) ( % → :: % ob1 ; )
( ob → :: ob <ob2> <rest> ; )
36EA7 dREALNcase ( % → :: % <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
36E07 dARRYcase ( [] → :: [] <ob1> ; )
( ob → :: ob <ob2> <rest> ; )
36E43 dLISTcase ( {} → :: {} ob1 ; )
( ob → :: ob <ob2> <rest> ; )
260C6 NOTLISTcase ( {} → :: {} <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
260D0 NOTSECOcase ( seco → :: seco <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
260CB NOTROMPcase ( romp → :: romp <ob2> <rest> ; )
( ob → :: ob <ob1> ; )
2ADE0 numb1stcase ( %/C%/[]/[L] → :: <ob1> ; )
( ob → :: ob2 <rest> ; )
If %, C%, [ ] or [L] then <REF>COLA, else <REF>SKIP .
36E2F (dZINTcase) ( zint → :: zint ob1 ; )
( ob → :: ob <ob2> <rest> ; )


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by Carsten Dominik on May, 30 2005 using texi2html