From e529e0e48c999fccb216bd3f3bc948abe22dbe76 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Tue, 6 Dec 2022 17:37:43 +0200 Subject: Clean up examples, stdlib --- examples/records-concept.milch | 24 ------------------------ 1 file changed, 24 deletions(-) (limited to 'examples/records-concept.milch') diff --git a/examples/records-concept.milch b/examples/records-concept.milch index 1686d75..dcb4a49 100644 --- a/examples/records-concept.milch +++ b/examples/records-concept.milch @@ -22,30 +22,6 @@ (Ns/User/set-phone-number unit user) ; => (Ns/User name:"Rick" phone-number:) - - - -; Unions are unions of records with an identifier. `union!` is a builtin function -; that generates functions for manipulating the records in the union. - -; `union!` can only be called in the top-level context. - -(union! Ns/Maybe - (just value) - (nothing)) - -; Generates the following functions: - -(let m1 (Ns/Maybe/just 10)) ; m1 ~> (Ns/Maybe/Just value:10) -(let m2 (Ns/Maybe/nothing)) ; m2 ~> (Ns/Maybe/Nothing) - -(Ns/Maybe/Just/get-value m1) ; => 10 - - - - ; The builtin function `kind` returns the identifier as a string for any record value -(kind m1) ; => "Ns/Maybe/Just" -(kind m2) ; => "Ns/Maybe/Nothing" (kind user) ; => "Ns/User" -- cgit v1.3