ref: a73f8741c807e597a6bb9c5e64702c1e6e71c4b2
parent: af9153ddf9e2bdbfb4a4dbd5fa3e360746f36bb9
author: Lennart Augustsson <lennart@augustsson.net>
date: Sat Dec 23 03:49:51 EST 2023
Slightly faster ++
--- a/lib/Data/List_Type.hs
+++ b/lib/Data/List_Type.hs
@@ -8,5 +8,7 @@
-- much simpler.
infixr 5 ++
(++) :: forall a . [a] -> [a] -> [a]
-(++) [] ys = ys
-(++) (x : xs) ys = x : xs ++ ys
+axs ++ ys =
+ let rec [] = ys
+ rec (x:xs) = x : rec xs
+ in rec axs
--
⑨