27 Oct
2006
27 Oct
'06
4:47 a.m.
On 10/26/06, Bulat Ziganshin <bulat.ziganshin@gmail.com> wrote:
are c.f. should work for polymorhic values? afaiu, it's just the problem that leads to the famous monomorhism restriction. w/o type specifier your expressions will got monomorhic types
These are small enough to be inlined, and are almost certainly going to be given monomorphic types after inlining, enabling constant folding. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem