On 26 September 2012 14:21, Jacob Carlborg <doob@me.com> wrote:

On 2012-09-26 12:19, Manu wrote:

I can't imagine why the example above is hell, but I know nothing about
the compiler.

I have no idea how the existing bug was implemented, but it needs to be
fixed one way or another.
It sounds fairly trivial to me to promote a prototype to a definition if
a definition is found later in the same module.

If the definition is found first, just ignore the prototype?