cmp: make behaviour of declaim inline more sensible
ECL needs the definition of a function to inline it. Previously, this definition would only be saved in the file local environment (*cmp-env-root*) but not in the global environment used by proclaim. Hence, ECL could only inline functions in the same file. Now, we also put the definition of inline functions in the global environment during load time. This leads to a behaviour of declaim for inline functions, which is consistent with other declarations (meaning that the declarations stay only in force during compilation, but are proclaimed again at load time of the compiled file). Fixes #451.
Showing with 12 additions and 7 deletions