reimplement Result

This commit is contained in:
Folkert 2022-02-23 17:52:13 +01:00
parent 410426f059
commit d1d7cfef44
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
7 changed files with 155 additions and 6 deletions

View file

@ -1143,7 +1143,7 @@ define_builtins! {
57 LIST_SORT_DESC_COMPARE: "#sortDescCompare"
}
5 RESULT: "Result" => {
0 RESULT_RESULT: "Result" imported // the Result.Result type alias
0 RESULT_RESULT: "Result" // the Result.Result type alias
1 RESULT_OK: "Ok" imported // Result.Result a e = [ Ok a, Err e ]
// NB: not strictly needed; used for finding global tag names in error suggestions
2 RESULT_ERR: "Err" imported // Result.Result a e = [ Ok a, Err e ]