Custom Query (1030 matches)

From gb:

(declare (type (simple-array double-float) a b))

declares that A and B are SIMPLE-ARRAYs with unspecified dimensionality. We'll generally only try to open-code the AREF/CCL::ASET if the dimensionality of the array is specified in the declaration.

In "reasonably safe" code, if the declared dimensionality of the array was unpecified (or specified as *), we could treat

(aref a i)

as

(%typed-aref (type-of a) a i)

and typecheck that A is in fact a one-dimensional array of the declared type before doing anything with it. If A was in fact of the wrong dimensionality, we'd get a type error (A isn't a simple-one-dimensional-array of the specified type) rather than a wrong-number-of-subscripts error, but I don't think that AREF's error behavior is too rigidly specified. In unsafe code, we crash and burn if the actual dimensionality doesn't match, but win in more cases if it does.

? (pprint (macroexpand '(setf (the double-float (aref a i)) val)))

(LET* ((#:G443 A) (#:G444 I))

(DECLARE (IGNORABLE #:G443 #:G444)) (MULTIPLE-VALUE-BIND (#:G445)

VAL

(LET ((#:G442 #:G445)) (ASET #:G443 #:G444 #:G442))))

Open a unconnected UDP (datagram, internet) socket failed on CCL trunk darwinX8632. (darwinX8664 is OK)

Welcome to Clozure Common Lisp Version 1.3-dev-r11173M-trunk  (DarwinX8632)!
? (openmcl-socket:make-socket :address-family :internet
					  :type :datagram)
> Error: value NIL is not of the expected type (OR INTEGER STRING).
> While executing: CCL::HOST-AS-INET-HOST, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > :b  
 (454C2C) : 0 (HOST-AS-INET-HOST NIL) 1199
 (454C38) : 1 (MAKE-TCP-STREAM-SOCKET
                4
                :ADDRESS-FAMILY
                :INTERNET
                :TYPE
                :DATAGRAM) 359
 (454C78) : 2 (MAKE-TCP-SOCKET :ADDRESS-FAMILY :INTERNET :TYPE :DATAGRAM) 503
 (454CAC) : 3 (MAKE-SOCKET :ADDRESS-FAMILY :INTERNET :TYPE :DATAGRAM) 695
 (454DA0) : 4 (CALL-CHECK-REGS
                MAKE-SOCKET
                :ADDRESS-FAMILY
                :INTERNET
                :TYPE
                :DATAGRAM) 247
 (454DBC) : 5 (TOPLEVEL-EVAL
                (MAKE-SOCKET :ADDRESS-FAMILY :INTERNET :TYPE :DATAGRAM)
                NIL) 759
 (454DFC) : 6 (READ-LOOP :INPUT-STREAM
                         #<SYNONYM-STREAM to *TERMINAL-IO* #x891D4C6>
                         :OUTPUT-STREAM
                         #<SYNONYM-STREAM to *TERMINAL-IO* #x891D3EE>
                         :BREAK-LEVEL
                         0
                         :PROMPT-FUNCTION
                         #<Compiled-function (:INTERNAL CCL::READ-LOOP) (Non-Global)  #x834F0CE>) 1567
 (454F00) : 7 (TOPLEVEL-LOOP) 79
 (454F08) : 8 (FUNCALL #'#<(:INTERNAL (TOPLEVEL-FUNCTION (CCL::LISP-DEVELOPMENT-SYSTEM T)))>) 87
 (454F14) : 9 (FUNCALL #'#<(:INTERNAL CCL::MAKE-MCL-LISTENER-PROCESS)>) 583
 (454F60) : 10 (RUN-PROCESS-INITIAL-FORM
                 #<TTY-LISTENER listener(1) [Active] #x891C886>
                 (#<COMPILED-LEXICAL-CLOSURE # #x891C5A6>)) 671
 (454FA4) : 11 (FUNCALL #'#<(:INTERNAL CCL::%PROCESS-PRESET-INTERNAL)>
                        #<TTY-LISTENER listener(1) [Active] #x891C886>
                        (#<COMPILED-LEXICAL-CLOSURE # #x891C5A6>)) 335
 (454FCC) : 12 (FUNCALL #'#<(:INTERNAL CCL::THREAD-MAKE-STARTUP-FUNCTION)>) 279