[Sbcl-devel] Accessing type declarations, changing numeric tower

[Yury S. <yu...@ny...>]

Hello, two questions:

1. Is there any way to access the compiler's type information?

I wrote this inline C facility that works for CMUCL and SBCL:
http://groups.google.com/group/comp.lang.lisp/msg/adf9803ad10c740d

I'd like to avoid having to write:

defun echo (str)
      (declare (string str))        ; <-- these two are
      (cinline ((char* str :in))   ; <-- are redundant
               "#include <stdio.h>"
               """
               printf ("%s\n", $str);
               """))

2. Is it possible to change the numeric tower for a piece of lisp code?

For example, I might not care about overflows in a given piece of code
and I'd like the compiler to only use C's subset of the numeric tower.

Failing that, can I have the compiler automatically insert the
appropriate declaration or "the" form when it gives me an efficiency
note?

Thanks,
Yury