roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 00:09:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

Repro decision_tree panic

Browse Source
This commit is contained in:
Richard Feldman 2022-07-27 18:01:12 -04:00 committed by Ayaz Hafiz
parent fc933d2991
commit ef7718958b
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 24 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
examples/hello-world/main.roc
View File

@ -7,7 +7,7 @@ Parser a := [
Succeed a,
Arg Config (List Str -> Result a [NotFound, WrongType]),
WithConfig (Parser a) Config,
Default (Parser a) a,
# Default (Parser a) a,
Lazy ({} -> a)
]
@ -45,12 +45,19 @@ parse = \@Parser parser, args ->
Err NotFound -> Err MissingRequiredArg
Err WrongType -> Err WrongType
Default parser2 defaultVal ->
parse parser2 args
|> Result.withDefault defaultVal
|> Ok
# Default parser2 defaultVal ->
# parse parser2 args
# |> Result.withDefault defaultVal
# |> Ok
Lazy thunk -> Ok (thunk {})
WithConfig parser2 config ->
parse parser2 args
expect
parser = argBool { help: "blah", long: "foo" }
parse parser ["foo"] == Ok True
argBool : Config -> Parser Bool
argBool = \config ->
@ -102,10 +109,10 @@ andMap = \@Parser parser, @Parser mapper ->
|> andMap (@Parser mapper)
|> WithConfig config
Default parser2 defaultVal ->
parser2
|> andMap (@Parser mapper)
|> Default (fn defaultVal)
# Default parser2 defaultVal ->
# parser2
# |> andMap (@Parser mapper)
# |> Default (fn defaultVal)
Arg config run ->
Arg config \args ->
@ -159,17 +166,20 @@ andMap = \@Parser parser, @Parser mapper ->
|> andMap (@Parser mapper)
|> WithConfig config
Default parser2 defaultVal ->
parser2
|> andMap (@Parser mapper)
|> Default (fn defaultVal)
# Default parser2 defaultVal ->
# parser2
# |> andMap (@Parser mapper)
# |> Default (fn defaultVal)
Arg config run ->
Arg config \args ->
run args
|> Result.map fn
WithConfig _ _ -> {}
WithConfig mapper2 config ->
@Parser parser
|> andMap mapper2
|> WithConfig config
@Parser unwrapped