diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-04 23:30:16 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-04 23:30:16 +0100 |
| commit | 27491702baaffcd3ce8bef9ca8d06ee3b453540b (patch) | |
| tree | 9e59444ffd283406517e5a77fe5e14a3f614b0dd /src | |
| parent | 89b78d480a88559a8a9064eeafa60af345db4f2d (diff) | |
Add regression test for HEAD^
Diffstat (limited to 'src')
| -rw-r--r-- | src/Data.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Data.hs b/src/Data.hs index 00790fe..155eeb3 100644 --- a/src/Data.hs +++ b/src/Data.hs @@ -43,6 +43,10 @@ unSList :: (forall t. f t -> a) -> SList f list -> [a] unSList _ SNil = [] unSList f (x `SCons` l) = f x : unSList f l +showSList :: (forall t. Int -> f t -> String) -> SList f list -> String +showSList _ SNil = "SNil" +showSList f (x `SCons` l) = f 11 x ++ " `SCons` " ++ showSList f l + sappend :: SList f l1 -> SList f l2 -> SList f (Append l1 l2) sappend SNil l = l sappend (SCons x xs) l = SCons x (sappend xs l) |