Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-10-03 22:57:15 +03:00
Code Issues Projects Releases Wiki Activity

Fix very odd failure in the docspec for Unfoldr under GHC 9.10

Browse Source
This commit is contained in:
Li-yao Xia 2024-04-03 01:04:42 +02:00
parent 67432a608f
commit e93e84ac62
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Fcf/Data/List.hs
View File

@ -224,7 +224,7 @@ type instance Eval (UnfoldrCase _ 'Nothing) = '[]
-- >>> data ToThree :: Nat -> Exp (Maybe (Nat, Nat))
-- >>> :{
-- type instance Eval (ToThree b) =
-- If (Eval (b Fcf.>= 4))
-- If (4 TL.<=? b)
-- Nothing
-- (Just '(b, b TL.+ 1))
-- :}