chore: bump agda (#430)

Includes the fix for matching display forms in context.
the1lab · Sep 11, 2024 · 2f0110e · 2f0110e
1 parent afcf848
commit 2f0110e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 6 deletions.
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": "3a9d3893737b3a47c57e1c997f588931d592b0b6",
-  "sha256": "06a3v40gb1779ric56bhyhhmkrjbwdzkgxsr00fdnm192a63khnq"
+  "rev": "9e0d5a54f8b811dbccf8c42f859b44f9c34a3ee8",
+  "sha256": "1ahkbsiayfbm5kk7xmh8yjvwslrclx8nyis3jmh66nqj84dy83k3"
 }
diff --git a/support/shake/app/HTML/Backend.hs b/support/shake/app/HTML/Backend.hs
@@ -1,10 +1,7 @@
 -- Copyright (c) 2005-2021 remains with the Agda authors. See /support/shake/LICENSE.agda
 
 -- | Backend for generating highlighted, hyperlinked HTML from Agda sources.
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE BlockArguments #-}
-{-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE FlexibleContexts, BlockArguments, LambdaCase, DerivingStrategies, OverloadedStrings #-}
 module HTML.Backend
   ( htmlBackend
   , compileOneModule

diff --git a/support/shake/app/Shake/AgdaCompile.hs b/support/shake/app/Shake/AgdaCompile.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE BlockArguments, ScopedTypeVariables #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies #-}
+{-# LANGUAGE OverloadedStrings #-}
 module Shake.AgdaCompile (agdaRules) where
 
 import System.FilePath