basic runtime error handling

Author: andrew-johnson-4

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.11.76"
+version = "1.11.77"
 authors = ["Andrew <andrew@subarctic.org>"]
 license = "MIT"
 description = "Lambda Mountain"

STDLIB/default-rules.lm

@@ -4,13 +4,13 @@ macro ( ('let x y) )
 
 macro ('match t ps) (tail(
    (let (uuid term) t)
-#   (let (uuid matched) ())
-
-#   (let (uuid return) ())
-   (print (uuid term))
-#   (match-pats( (uuid term) (uuid matched) (uuid return) ps ))
-#   (uuid return)
+   (match-pats( (uuid term) ps (fail PatternMatchFailure_s) ))
 ));
+
+macro ('match-pats( term ps remainder )) (
+   remainder
+);
+
 #macro ('match-pats( term matched return () )) ();
 #macro ('match-pats( term matched return (ps (lhs rhs)) )) (
 #   (match-pats( term matched return ps ))

STDLIB/default-stdlib.lm

@@ -37,6 +37,17 @@ print := λ(: x S). (: (tail(
    ()
 )) Nil);
 
+fail := λ(: msg Array<U8,?>). (: (tail(
+   (print msg)
+   (exit 1u64)
+)) Nil);
+
+exit := λ(: code U64). (: (tail(
+   (mov( 60u64 RAX ))
+   (mov( code RDI ))
+   (syscall())
+)) Nil);
+
 print := λ(: x Array<U8,?>). (: (tail(
    (mov( x R15 ))
    (mov( 0u64 RDX )) # data length