In reply to a tweet by me:
The other position, AIUI, is that a Christmas *carol* is specifically a song related to Christmas intended for and sung in a religious context. So, on this understanding, “Adeste Fideles” is a Christmas carol and “Frosty the Snowman” is not.