סימן עט סעיף ח
בְּשַׁבָּת חֹל הַמּוֹעֵד פֶּסַח, אֵין מַזְכִּירִין בְּבִרְכוֹת הַפְטָרָה שֶׁל פֶּסַח, לֹא בְּאֶמְצַע וְלֹא בַּחֲתִימָה, אֶלָּא מְסַיֵּם מְקַדֵּשׁ הַשַׁבָּת. אֲבָל בְּחֹל הַמּוֹעֵד סֻכּוֹת (כֵּיוָן שֶׁאוֹמְרִים הַלֵּל שָׁלֵם וְגַם חָלוּק בַּקָּרְבָּנוֹת), מַזְכִּירִין כְּמוֹ בְּיוֹם טוֹב שֶׁל סֻכּוֹת שֶׁחָל בַּשַׁבָּת.
On Shabbos of Chol Hamo'eid Pesach no mention is made13Rema 490: 9. in the berachos of the haftarah of anything relating to Pesach, either in the middle or at the end [of the concluding berachos]; but they should be concluded with Mekadeish haShabbos [Who sanctifies the Shabbos]. But on Chol Hamo'eid Sukkos14Peri Megadim 490. (since the complete Halleil is then said and there is a difference in the daily sacrifices,) mention is made [of the Yom Tov] just as it is done on the Yom Tov days of Sukkos when they fall on Shabbos.
תנא דבי אליהו כל השונה הלכות בכל יום מובטח לו שהוא בן העולם הבא שנאמר הליכות עולם לו אל תקרי הליכות אלא הלכות (נדה ע"ג.)