From b469c4a3f05e5e18d3650803b3323f8a72b5e076 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Wed, 7 Dec 2022 10:49:31 +0200 Subject: Fix bug in core/maybe.milch --- core/maybe.milch | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'core') diff --git a/core/maybe.milch b/core/maybe.milch index eaf2093..71d88e1 100644 --- a/core/maybe.milch +++ b/core/maybe.milch @@ -1,5 +1,3 @@ -; LIB - (record Maybe/Just value) (record Maybe/Nothing) @@ -18,5 +16,5 @@ (let Maybe/default (\[default m] (match (kind m) - "Maybe/Just" (ok-f (Maybe/Just/get-value m)) + "Maybe/Just" (Maybe/Just/get-value m) "Result/Ex" default))) -- cgit v1.3