search

Lysxia / first-class-families

First-class type families
https://hackage.haskell.org/package/first-class-families
MIT License
86 stars 12 forks source link

Update #55

Closed Lysxia closed 5 months ago

Lysxia commented 5 months ago

Very odd docspec failure at ea7dad4d39a9b5a7da908e973b6c53ea24120924 with GHC 9.10.

[   0.21350] docspec.phase2: Fcf.Data.List
[   0.46454] error: :kind! Eval (Unfoldr ToThree 0)

  Eval (Unfoldr ToThree 0) :: [Natural]
-= [0, 1, 2, 3]
+= Eval
+    (Fcf.Data.List.UnfoldrCase
+       ToThree
+       (If
+          (ghc-internal:GHC.Internal.Data.Type.Ord.OrdCond
+             (ghc-internal:GHC.Internal.Data.Type.Ord.Compare 4 0)
+             True
+             True
+             False)
+          Nothing
+          (Just '(0, 1))))