http://d.puremagic.com/issues/show_bug.cgi?id=6265


kenn...@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Pure-inference doesn't      |Pure-inference failed when
                   |apply with template alias   |calling other pure
                   |parameter of function       |functions


--- Comment #1 from kenn...@gmail.com 2011-07-07 13:40:50 PDT ---
Actually the problem is not due to the template alias parameter, but because
'CallExp::semantic' calls 'Expression::checkPurity' which calls
'FuncDeclaration::isPure' on the outer function, and stops its inference with
'setImpure'.



Two more test cases:

------------------------
pure int h() {
    return 1;
}
int f()() {
    return h();
}
pure int i() {
    return f();
}
-------------------------


-------------------------
pure int h() {
    return 1;
}
pure int i() {
    return {
        return h();
    }();
}
-------------------------

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

Reply via email to