Changes to base

Changes to base:
commit ebe15a10191aafb2bcfd3e29f234cd72c152459c
Author: Austin Seipp <austin@well-typed.com>
Date:   Thu Mar 13 18:19:28 2014 -0500

    Remove misleading comment

    We actually can't inline at phase 0 here, because there's probably a
    pretty good chance 'map' will get optimized away which will defeat the
    rule.

    Signed-off-by: Austin Seipp <austin@well-typed.com>