Skip to content

Fix Jekyll Liquid syntax error in unification chapter#25

Merged
MarsonShine merged 2 commits into
masterfrom
copilot/sub-pr-24
Mar 19, 2026
Merged

Fix Jekyll Liquid syntax error in unification chapter#25
MarsonShine merged 2 commits into
masterfrom
copilot/sub-pr-24

Conversation

Copilot AI commented Mar 19, 2026

Copy link
Copy Markdown
Contributor

Jekyll's Liquid engine was choking on {{X, two} in a C# code block, treating it as an unterminated variable expression and failing the build.

Change

Wrapped the offending code block in {% raw %} / {% endraw %} to prevent Liquid from processing C# dictionary initializer syntax:

+{% raw %}
 ```csharp
 var subst = new Dictionary<Hole, BinTerm>{{X, two}, {Y, stackOne}};

+{% endraw %}


<!-- START COPILOT CODING AGENT TIPS -->
---

💬 Send tasks to Copilot coding agent from [Slack](https://gh.io/cca-slack-docs) and [Teams](https://gh.io/cca-teams-docs) to turn conversations into code. Copilot posts an update in your thread when it's finished.

Co-authored-by: MarsonShine <17610342+MarsonShine@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix build errors in stacked pull request Fix Jekyll Liquid syntax error in unification chapter Mar 19, 2026
Copilot AI requested a review from MarsonShine March 19, 2026 07:29
@MarsonShine MarsonShine marked this pull request as ready for review March 19, 2026 08:38
Copilot AI review requested due to automatic review settings March 19, 2026 08:39
@MarsonShine MarsonShine merged commit 4d69312 into master Mar 19, 2026
2 checks passed

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Fixes a Jekyll build failure caused by Liquid interpreting {{X, two} inside a C# code fence in the unification chapter.

Changes:

  • Wrapped the affected C# fenced code block in {% raw %} / {% endraw %} so Liquid does not parse dictionary-initializer braces.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants