diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-07 10:49:31 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-07 10:49:31 +0200 |
| commit | b469c4a3f05e5e18d3650803b3323f8a72b5e076 (patch) | |
| tree | 219fac229cdb92825301699506cd21541af704d3 /core | |
| parent | 5147db71d99c38b44a29735c985de90246cda995 (diff) | |
Fix bug in core/maybe.milch
Diffstat (limited to 'core')
| -rw-r--r-- | core/maybe.milch | 4 |
1 files changed, 1 insertions, 3 deletions
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))) |