From ef72e54cf6bcee7124058364fea15b4d1bd62cd7 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 2 Oct 2025 14:07:53 +0200 Subject: Compatibility with GHC 9.6 --- src/GHC/TypeLits/Orphans.hs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/GHC/TypeLits/Orphans.hs (limited to 'src/GHC/TypeLits/Orphans.hs') diff --git a/src/GHC/TypeLits/Orphans.hs b/src/GHC/TypeLits/Orphans.hs new file mode 100644 index 0000000..42f7293 --- /dev/null +++ b/src/GHC/TypeLits/Orphans.hs @@ -0,0 +1,13 @@ +-- | Compatibility module adding some additional instances not yet defined in +-- base-4.18 with GHC 9.6. +{-# OPTIONS -Wno-orphans #-} +module GHC.TypeLits.Orphans where + +import GHC.TypeLits + + +instance Eq (SNat n) where + _ == _ = True + +instance Ord (SNat n) where + compare _ _ = EQ -- cgit v1.2.3-70-g09d2