chore: bump agda

plt-amy · plt-amy · commit 8d102e5a48a7 · 2026-01-15T13:07:39.000-03:00
diff --git a/support/nix/dep/Agda/github.json b/support/nix/dep/Agda/github.json
@@ -3,6 +3,6 @@
   "repo": "agda",
   "branch": "master",
   "private": false,
-  "rev": "5cb475a67135ca4ce42428c6f0294cea58a3ca2b",
-  "sha256": "082clxnzd1jzhc3q282np4hp2bzmr1q0fixpw0zal6ifzimwnp5m"
+  "rev": "bb9e13d97038dd3fdcdaeec1c58694f4eede89a8",
+  "sha256": "0yfav2rn47h83ivmjfcl4gkwbyhhh4nb0sff816wj703cnj709x8"
 }
diff --git a/support/shake/app/Shake/AgdaCompile.hs b/support/shake/app/Shake/AgdaCompile.hs
@@ -233,7 +233,7 @@ emitAgda (CompileA tcState _) modName = do
 
   ((), _) <- traced "generating html"
     . runTCM initEnv tcState
-    . withScope_ (iInsideScope iface)
+    . evalWithScope (iInsideScope iface)
     . locallyTC eActiveBackendName (const $ Just "HTML") $ do
       compileOneModule basepn opts iface
 

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,6 @@`
`3`	`3`	`"repo": "agda",`
`4`	`4`	`"branch": "master",`
`5`	`5`	`"private": false,`
`6`		`- "rev": "5cb475a67135ca4ce42428c6f0294cea58a3ca2b",`
`7`		`- "sha256": "082clxnzd1jzhc3q282np4hp2bzmr1q0fixpw0zal6ifzimwnp5m"`
	`6`	`+ "rev": "bb9e13d97038dd3fdcdaeec1c58694f4eede89a8",`
	`7`	`+ "sha256": "0yfav2rn47h83ivmjfcl4gkwbyhhh4nb0sff816wj703cnj709x8"`
`8`	`8`	`}`