From: Lyle Borg-Graham
Subject: funcall optimization
Date: 
Message-ID: <LYLE.96May2144923@cogni.ai.mit.edu>
Under CMUCL 17f, is there a way to write

    (defun FOO2 (...)
      (declare (optimize (safety 1) (speed 3) (space 0) (compilation-speed 0)))
      (funcall (the function FOO) (the double-float arg1) (the double float arg2))
		    .
		    .
		    .
    )

when FOO is optimized as

    (defun FOO (arg1 arg2)
      (declare (optimize (safety 1) (speed 3) (space 0) (compilation-speed 0))
	       (double-float arg1 arg2))
		   .
		   .
      .. something with arg1 and arg2 ...
		   .
		   .
	 )

so that I don't get

  (C::%FUNCALL
   #<LAMBDA #x74182F5
       NAME= FOO
       TYPE= #<FUNCTION-TYPE (FUNCTION # NULL)>
       WHERE-FROM= :DEFINED ..>)
Note: Doing float to pointer coercion (cost 13) to ARG1.
Note: Doing float to pointer coercion (cost 13) to ARG2.


from the funcall when I compile FOO2? In other words, is there someway
to tell FOO2 that FOO is expecting double floats (or whatever)?

Thanks!

Lyle

--
............................................................

		       Lyle Borg-Graham
		Institut Alfred Fessard, CNRS
		     91198 Gif-sur-Yvette
			    FRANCE
  tel: (33 1) 69 82 34 00           fax: (33 1) 69 82 34 27

								_ o
							       / /
					   .    .   .  . . . _ _/|