error referencing function defined using lazy specifier

[jvasileff]

I'm not sure it ever makes sense to have a variable parameter on a function defined using the lazy specifier, but doing so can result in a backend error:

    Boolean foo<Element>(variable Element x) => x exists;

    print (foo<Anything>(null)); // ok
    print (foo<Anything>("")); // ok
    value fooAnything = foo<Anything>; // Cannot find symbol: class Element

[quintesse]

Indeed, doesn't really seem to make much sense. But on the other had I also don't see a reason to forbid it in the spec for example, so we should probably just fix it.
Not really high prio so assigning to 1.3

[lucaswerkmeister]

Well, it’s definitely possible to write legal code that actually varies the parameter:

Boolean complicatedFalse<Element>(variable Element? x) => ((x = null) of Element?) exists;

With let expressions you could also get the old value, then assign to it, then use both the old and the new value. Probably still doesn’t make sense, but I don’t think it should be illegal either.

[jvasileff]

Oh, nice @lucaswerkmeister! I forgot about that. Now I can finally write a memoizer without ugly braces!

Result memoize<Result>
        (Result() f, variable Result? memo=null)()
        given Result satisfies Object
    =>  memo = memo else f();

[lucaswerkmeister]

Wow, that’s fancy.

[quintesse]

I might be completely wrong but I doubt that will work, the memo wouldn't be stored between calls to the function AFAIK.

[lucaswerkmeister]

@quintesse seems to work as intended. gist

[quintesse]

Color me surprised :)

[gavinking]

Haha, cool :)

Sent from my iPhone

On 24 Mar 2015, at 9:17 pm, John Vasileff notifications@github.com wrote:

Oh, nice @lucaswerkmeister! I forgot about that. Now I can finally write a memoizer without ugly braces!

Result memoize
(Result() f, variable Result? memo=null)()
given Result satisfies Object
=> memo = memo else f();
—
Reply to this email directly or view it on GitHub.

[quintesse]

I hadn't really noticed the extra pair of parenthesis, nice :)