Fix doctest failure (#46)

haskus · Oct 24, 2023 · 389931f · 389931f
1 parent 4aa0b15
commit 389931f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/haskus-utils-variant/src/lib/Haskus/Utils/Variant.hs b/haskus-utils-variant/src/lib/Haskus/Utils/Variant.hs
@@ -623,8 +623,7 @@ splitVariant = splitVariant' @as @(Complement xs as) @xs
 
 -- | A value of type "x" can be extracted from (V xs)
 type (:<) x xs =
-   ( CheckMember x xs
-   , Member x xs
+   ( Member x xs
    , x :<? xs
    )
 
@@ -678,7 +677,8 @@ fromVariantFirst = fromVariantAt @(IndexOf a l)
 -- >>> fromVariant @Double x
 -- <BLANKLINE>
 -- ... error:
--- ... `Double' is not a member of '[Int, String, Int]
+-- ... Double not found in list:
+-- ... '[Int, String, Int]
 -- ...
 --
 fromVariant :: forall a xs.

diff --git a/stack.yaml b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-19.9
+resolver: lts-20.26
 
 packages:
 - haskus-utils-compat/