[LLVMdev] Removing -tailcallopt?

Owen Anderson resistor at mac.com
Sat Feb 6 01:42:20 PST 2010

On Feb 6, 2010, at 1:17 AM, Evan Cheng wrote:
> I don't really know enough about how TCO is used by Pure, Haskell, etc. So if you could write this part, I'd appreciate it.

Basically, these languages need to be able to make guarantees that all calls that can be TCO'd will be TCO'd.  Consider that in most functional languages, the standard way to iterate over the list is a tail-recursive function.  In order to avoid stack overflows in almost trivial programs, they must guarantee that TCO will be applied as aggressively as possible.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100206/2926c000/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2620 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100206/2926c000/attachment.bin>

More information about the llvm-dev mailing list