From 4ae4aa043ed9398976e3eef95f05f015fa1972e4 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Tue, 25 Jun 2024 19:02:05 -0700 Subject: [PATCH] update extensions --- sbv.cabal | 1 + 1 file changed, 1 insertion(+) diff --git a/sbv.cabal b/sbv.cabal index 2f4e96937..1d8942530 100644 --- a/sbv.cabal +++ b/sbv.cabal @@ -71,6 +71,7 @@ common common-settings TypeApplications TypeFamilies TypeOperators + TypeSynonymInstances UndecidableInstances ViewPatterns