On Mar 27, 12:48 pm, leppie <[email protected]> wrote: > I dont think the specification allows to raise a compile error for 'invalid > parameters' even if it can determine to be incorrect. > > This is the same as calling: > > (fx+ 1) > > or > > (fx+ 'a 'a) > > Either case MUST compile, and MUST raise an exception at runtime.
Indeed. I am questioning the wisdom of the specification here. The spec should at least allow implementation that can detect errors at compile time to do so. This is why I ask if I am missing something.
