Skip to content

Experiment: dark compile <fn> (merge compiler repo into main repo)#5690

Draft
StachuDotNet wants to merge 172 commits into
darklang:mainfrom
StachuDotNet:compiler-merge
Draft

Experiment: dark compile <fn> (merge compiler repo into main repo)#5690
StachuDotNet wants to merge 172 commits into
darklang:mainfrom
StachuDotNet:compiler-merge

compiler: bind generic type args when synthesizing proof-harness args

9f554e9
Select commit
Loading
Failed to load commit list.
CircleCI Checks / build-and-deploy failed Jul 19, 2026 in 6m 6s

Workflow: build-and-deploy

View CircleCI Workflow