So what's the fix?  For that matter, what should the semantics be?
Should it be correct that while scanning a function body, the
action of <<token should be in abeiance?  That seems reasonable
to me, but I don't write very complicated shell scripts.  Is there
anyone that disagrees?