On Tue, Jul 26, 2011 at 4:24 PM, Matthew Mondor <firstname.lastname@example.org> wrote:
When looking at the cmp/ proclamations, it's unclear to me why the
following code does not inline to C << and |. Perhaps I'm missing
The code in proclamations.lsp is very generic: it just declares the types of the arguments of ASH, not the type of the result. The code in sysfun.lsp is the original one responsible for simple inlining (the type that is based on pattern matching the input and output types, together with the safety level). I see no code for ASH or LOGIOR there.
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)