home *** CD-ROM | disk | FTP | other *** search
/ Complete Linux / Complete Linux.iso / docs / devel / lisp / kcl_tar.z / kcl_tar / lsp / predlib.data < prev    next >
Encoding:
Text File  |  1987-04-18  |  4.9 KB  |  122 lines
  1.           
  2. #(
  3. #!
  4. (lisp::in-package 'user::lisp)
  5. #!
  6. (lisp::export '(lisp::deftype lisp::typep lisp::subtypep lisp::coerce))
  7. #!
  8. (lisp::in-package 'lisp::system)
  9. (lisp::optimize (lisp::safety 2) (lisp::space 3))
  10. "#.LAMBDA-LIST-KEYWORDS"
  11. lisp::&optional
  12. 'lisp::*
  13. lisp::progn
  14. system::putprop
  15. lisp::quote
  16. lisp::deftype
  17. 'system::deftype-form
  18. lisp::function
  19. lisp::lambda
  20. 'system::deftype-definition
  21. 'system::type-documentation
  22. lisp::fixnum
  23. (lisp::deftype lisp::fixnum lisp::nil (lisp::list 'lisp::integer lisp::most-negative-fixnum lisp::most-positive-fixnum))
  24. system::deftype-form
  25. lisp::integer
  26. -2147483648
  27. 2147483647
  28. system::deftype-definition
  29. system::type-documentation
  30. lisp::bit
  31. (lisp::deftype lisp::bit lisp::nil '(lisp::integer 0 1))
  32. (lisp::integer 0 1)
  33. lisp::mod
  34. (lisp::deftype lisp::mod (system::n) (lisp::list 'lisp::integer 0 (lisp::1- system::n)))
  35. 0
  36. lisp::signed-byte
  37. (lisp::deftype lisp::signed-byte (lisp::&optional (system::s 'lisp::*)) (lisp::if (lisp::eq system::s 'lisp::*) '(lisp::integer lisp::* lisp::*) (lisp::list 'lisp::integer (lisp::- (lisp::expt 2 (lisp::1- system::s))) (lisp::1- (lisp::expt 2 (lisp::1- system::s))))))
  38. lisp::*
  39. (lisp::integer lisp::* lisp::*)
  40. 2
  41. lisp::unsigned-byte
  42. (lisp::deftype lisp::unsigned-byte (lisp::&optional (system::s 'lisp::*)) (lisp::if (lisp::eq system::s 'lisp::*) '(lisp::integer 0 lisp::*) (lisp::list 'lisp::integer 0 (lisp::1- (lisp::expt 2 system::s)))))
  43. (lisp::integer 0 lisp::*)
  44. lisp::vector
  45. (lisp::deftype lisp::vector (lisp::&optional (system::element-type #0='lisp::*) (system::size #0#)) (lisp::list 'lisp::array system::element-type (lisp::list system::size)))
  46. lisp::array
  47. lisp::string
  48. (lisp::deftype lisp::string (lisp::&optional (system::size 'lisp::*)) (lisp::list 'lisp::vector 'lisp::string-char system::size))
  49. lisp::string-char
  50. lisp::bit-vector
  51. (lisp::deftype lisp::bit-vector (lisp::&optional (system::size 'lisp::*)) (lisp::list 'lisp::vector 'lisp::bit system::size))
  52. lisp::simple-vector
  53. (lisp::deftype lisp::simple-vector (lisp::&optional (system::size 'lisp::*)) (lisp::list 'lisp::simple-array lisp::t (lisp::list system::size)))
  54. lisp::simple-array
  55. lisp::simple-string
  56. (lisp::deftype lisp::simple-string (lisp::&optional (system::size 'lisp::*)) (lisp::list 'lisp::simple-array 'lisp::string-char (lisp::list system::size)))
  57. lisp::simple-bit-vector
  58. (lisp::deftype lisp::simple-bit-vector (lisp::&optional (system::size 'lisp::*)) (lisp::list 'lisp::simple-array 'lisp::bit (lisp::list system::size)))
  59. ((lisp::null . lisp::null) (lisp::symbol . lisp::symbolp) (lisp::keyword . lisp::keywordp) (lisp::atom . lisp::atom) (lisp::cons . lisp::consp) (lisp::list . lisp::listp) (lisp::number . lisp::numberp) (lisp::character . lisp::characterp) (lisp::package . lisp::packagep) (lisp::stream . lisp::streamp) (lisp::pathname . lisp::pathnamep) (lisp::readtable . lisp::readtablep) (lisp::hash-table . lisp::hash-table-p) (lisp::random-state . lisp::random-state-p) (lisp::structure . system::structurep) (lisp::function . lisp::functionp) (lisp::compiled-function . lisp::compiled-function-p) (lisp::common . lisp::commonp))
  60. system::type-predicate
  61. lisp::bignum
  62. lisp::ratio
  63. lisp::short-float
  64. lisp::long-float
  65. system::is-a-structure
  66. system::structure-include
  67. (lisp::t lisp::nil lisp::null lisp::symbol lisp::keyword lisp::atom lisp::cons lisp::list lisp::sequence lisp::number lisp::integer lisp::bignum lisp::rational lisp::ratio lisp::float lisp::short-float lisp::single-float lisp::double-float lisp::long-float lisp::complex lisp::character lisp::standard-char lisp::string-char lisp::package lisp::stream lisp::pathname lisp::readtable lisp::hash-table lisp::random-state lisp::structure lisp::array lisp::simple-array lisp::function lisp::compiled-function)
  68. lisp::member
  69. lisp::or
  70. lisp::and
  71. lisp::not
  72. lisp::common
  73. lisp::list
  74. (lisp::null lisp::cons lisp::list)
  75. lisp::sequence
  76. (lisp::null lisp::cons lisp::list lisp::sequence)
  77. lisp::atom
  78. (lisp::cons lisp::list)
  79. lisp::symbol
  80. (lisp::symbol lisp::keyword lisp::null)
  81. lisp::keyword
  82. lisp::null
  83. lisp::number
  84. (lisp::bignum lisp::integer lisp::ratio lisp::rational lisp::float lisp::short-float lisp::single-float lisp::double-float lisp::long-float lisp::complex lisp::number)
  85. lisp::structure
  86. (lisp::* lisp::*)
  87. (lisp::* lisp::*)
  88. (lisp::standard-char lisp::string-char lisp::character)
  89. (lisp::string-char lisp::character)
  90. (lisp::integer lisp::rational)
  91. lisp::rational
  92. lisp::float
  93. (lisp::short-float lisp::float)
  94. (lisp::single-float lisp::double-float lisp::long-float lisp::float)
  95. lisp::complex
  96. "Cannot coerce to an multi-dimensional array."
  97. 0.0S0
  98. 0.0
  99. "Cannot coerce ~S to ~S."
  100. lisp::proclaim
  101. system::simple-array-p
  102. lisp::typep
  103. system::normalize-type
  104. system::known-type-p
  105. lisp::subtypep
  106. system::sub-interval-p
  107. system::in-interval-p
  108. system::match-dimensions
  109. lisp::coerce
  110. system::find-documentation
  111. lisp::array-has-fill-pointer-p
  112. lisp::satisfies
  113. lisp::standard-char
  114. lisp::rationalp
  115. lisp::single-float
  116. lisp::double-float
  117. lisp::array-dimensions
  118. system::subtype
  119. lisp::make-sequence
  120. lisp::character
  121. )
  122.