Default values in Record don't work as expected

[rudolfvesely]

Hi everybody,

I'm using the most current ROC (build from Nix flake).

This should work:

something = \foo, { firstBar ? Both, secondBar } ->
    when firstBar is
        Start -> Str.concat secondBar foo
        End -> Str.concat foo secondBar
        Both ->
            foo
            |> something { firstBar: Start, secondBar }
            |> something { firstBar: End, secondBar }
expect
    x = something "aaa" { secondBar: "bbb" }
    x == "bbbaaabbb"

But it doesn't:

# This 2nd argument to something has an unexpected type:
#
# 30│      x = something "aaa" { secondBar: "bbb" }
#                              ^^^^^^^^^^^^^^^^^^^^
#
# The argument is a record of type:
#
#     { … }
#
# But something needs its 2nd argument to be:
#
#     { firstBar : [
#         Both,
#         End,
#         Start,
#     ], … }
#
# Tip: Looks like the firstBar field is missing.

Thank you.

[Anton-4]

Thanks for reporting this @rudolfvesely, I think this should indeed work.

As a workaround you can add this type annotation to fix it:

something : Str, { firstBar ? [Both, End, Start], secondBar : Str } -> Str

Note for future investigator, this version does work:

something = \foo, { firstBar ? Both, secondBar } ->
    when firstBar is
        Start -> Str.concat secondBar foo
        End -> Str.concat foo secondBar
        Both ->
            Str.concat foo secondBar
            
expect
    x = something "aaa" { secondBar: "bbb" }
    x == "aaabbb"

[Anton-4]

Likely cause