From e5aff0a8ddf8a32a61d2b4bfcaf3859ec52af5b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Kopa=C5=84ski?= Date: Mon, 8 Apr 2024 12:47:49 +0200 Subject: [PATCH] Make sure `Felix.Instances.Function.Lift` is typechecked This module was omitted in `Felix.All` so it wasn't typechecked in the CI. This has led to it being broken with new instance resolution algorithm. Now it shouldn't get out of sync. --- src/Felix/All.agda | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Felix/All.agda b/src/Felix/All.agda index 8837fe1..bfabf06 100644 --- a/src/Felix/All.agda +++ b/src/Felix/All.agda @@ -20,4 +20,5 @@ import Felix.Construct.Comma import Felix.Construct.Arrow import Felix.Instances.Function +import Felix.Instances.Function.Lift import Felix.Instances.Identity