Parser combinators blog post

Gemfile

@@ -33,3 +33,6 @@ gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin]
 gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby]
 
 gem "webrick", "~> 1.8"
+
+# Newer version necessary to build on recent macos versions
+gem "ffi", "~> 1.17.2"

Gemfile.lock

@@ -9,9 +9,13 @@ GEM
       eventmachine (>= 0.12.9)
       http_parser.rb (~> 0)
     eventmachine (1.2.7)
-    ffi (1.16.3)
+    ffi (1.17.2-arm64-darwin)
+    ffi (1.17.2-x64-mingw-ucrt)
+    ffi (1.17.2-x86_64-darwin)
+    ffi (1.17.2-x86_64-linux-gnu)
     forwardable-extended (2.6.0)
     google-protobuf (3.25.2-arm64-darwin)
+    google-protobuf (3.25.2-x64-mingw-ucrt)
     google-protobuf (3.25.2-x86_64-darwin)
     google-protobuf (3.25.2-x86_64-linux)
     http_parser.rb (0.8.0)
@@ -65,21 +69,30 @@ GEM
     safe_yaml (1.0.5)
     sass-embedded (1.69.7-arm64-darwin)
       google-protobuf (~> 3.25)
+    sass-embedded (1.69.7-x64-mingw-ucrt)
+      google-protobuf (~> 3.25)
     sass-embedded (1.69.7-x86_64-darwin)
       google-protobuf (~> 3.25)
     sass-embedded (1.69.7-x86_64-linux-gnu)
       google-protobuf (~> 3.25)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
+    tzinfo (2.0.6)
+      concurrent-ruby (~> 1.0)
+    tzinfo-data (1.2025.2)
+      tzinfo (>= 1.0.0)
     unicode-display_width (2.5.0)
+    wdm (0.1.1)
     webrick (1.8.1)
 
 PLATFORMS
   arm64-darwin-22
+  x64-mingw-ucrt
   x86_64-darwin-21
   x86_64-linux
 
 DEPENDENCIES
+  ffi (~> 1.17.2)
   http_parser.rb (~> 0.6.0)
   jekyll (~> 4.3.3)
   jekyll-feed (~> 0.12)

Makefile

@@ -27,6 +27,7 @@ generate:
 	python3 builders/madoko-gen.py brittleness
 	python3 builders/madoko-gen.py teaching-dafny --check
 	python3 builders/madoko-gen.py standard-libraries --check
+	node builders/parser-combinators-build.js
 
 watch-compelling:
 	node builders/verification-compelling-verify.js --watch _includes/verification-compelling-intro.html