home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / lisp / mcl / 1291 < prev    next >
Encoding:
Text File  |  1992-08-21  |  2.8 KB  |  96 lines
  1. Newsgroups: comp.lang.lisp.mcl
  2. Path: sparky!uunet!cs.utexas.edu!sdd.hp.com!mips!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!fauern!dec16!NewsWatcher!user
  3. From: poeck@informatik.uni-wuerzburg.de (karsten poeck)
  4. Subject: Re: simple vector
  5. Message-ID: <poeck-210892143155@132.187.103.165>
  6. Followup-To: comp.lang.lisp.mcl
  7. Sender: news@informatik.uni-wuerzburg.de (USENET News account)
  8. Organization: university of wuerzburg
  9. References: <9208191110.AA03726@area.shpcsl.sharp.co.jp>
  10. Date: Fri, 21 Aug 1992 12:32:36 GMT
  11. Lines: 83
  12.  
  13. In article <9208191110.AA03726@area.shpcsl.sharp.co.jp>,
  14. ueda@shpcsl.sharp.co.jp (UEDA masaya) wrote:
  15. > 
  16. > Dear MCLers:
  17. > 
  18. > I got confused about simple vector.
  19. > 
  20. > I'm using MCL 2.0 final. I can make a simple vector of which
  21. > :element-type is 'integer and can refer it's elements by svref.
  22. > 
  23. > --------------------
  24. > ? (setq foo (make-array 10 :element-type 'integer :initial-element 0
  25. >                         :adjustable nil :fill-pointer nil :displaced-to nil))
  26. > #(0 0 0 0 0 0 0 0 0 0)
  27. > ? (svref foo 0)
  28. > 0
  29. > ?
  30. > --------------------
  31. > 
  32. > But when I make a vector of which :element-type is fixnum, referrence
  33. > by svref causes an error as follows.
  34. > 
  35. > --------------------
  36. > ? (setq bar (make-array 10 :element-type 'fixnum :initial-element 0
  37. >                         :adjustable nil :fill-pointer nil :displaced-to nil))
  38. > #(0 0 0 0 0 0 0 0 0 0)
  39. > ? (svref bar 0)
  40. > > Error: value #<VECTOR 10 type (SIGNED-BYTE 32), simple> is not of the expected type SIMPLE-VECTOR.
  41. > > While executing: CCL::TOPLEVEL-EVAL
  42. > > Type Command-. to abort.
  43. > See the RestartsI menu item for further choices.
  44. > 1 > 
  45. > Aborted
  46. > ?
  47. > --------------------
  48. > 
  49. > Why make-array returns simple vector when :element-type is 'integer
  50. > and dose not return simple vector when :element-type is 'fixnum? I
  51. > feel it queer because fixnum is a subtype of integer, but Sun4 Allegro
  52. > Common Lisp causes same error...
  53. > 
  54. > And MCL says me that bar is array and vector and simple-array, but not
  55. > simple-vecotor.
  56. > 
  57. > --------------------
  58. > ? (typep bar 'array)
  59. > T
  60. > ? (typep bar 'vector)
  61. > T
  62. > ? (typep bar 'simple-array)
  63. > T
  64. > ? (typep bar 'simple-vector)
  65. > NIL
  66. > ?
  67. > --------------------
  68. > 
  69. > I referred CLtL2 but I can not understand these results well. Any
  70. > suggestions are welcome.
  71. > 
  72. > --- Thanks ---
  73. > Masaya UEDA
  74. > Information System R&D Center, SHARP Co.
  75. > 2613-1 Ichinomoto, Tenri, Nara 632, JAPAN
  76.  
  77. I am also quite surprised by the array construction routines
  78.  
  79. For example
  80.  
  81.  
  82. (time
  83.  (type-of (make-array 200 :element-type '(unsigned-byte *))))
  84. --> (SIMPLE-VECTOR 200), 1320 bytes of memory allocated
  85.  
  86. and 
  87.  
  88. (time
  89.  (type-of (make-array 200 :element-type '(unsigned-byte 8))))
  90.  
  91. (TYPE-OF (MAKE-ARRAY 200 :ELEMENT-TYPE '(UNSIGNED-BYTE 8)))
  92.  
  93. --> (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (200)); 240 bytes of memory allocated
  94.  
  95. Karsten Poeck
  96.