operations on lists

2023-11-24 16:03:17 -07:00
parent ec87ed49f8
commit d91043fd63
2 changed files with 9 additions and 0 deletions
--- a/src/Core/Examples.hs
+++ b/src/Core/Examples.hs
@@ -118,6 +118,10 @@ corePrelude = Module (Just ("Prelude", [])) $
        twice f x = f (f x);
        fst p = casePair# p k;
        snd p = casePair# p k1;
+        head l = caseList# l abort# k;
+        tail l = caseList# l abort# k1;
+        _length_cc x xs = (+#) 1 (length xs);
+        length l = caseList# l 0 length_cc;
    |]
    <>
    -- primitive constructors need some specialised wiring: