Jacob Cole (Sep 02 2024 at 16:32): Jacob Cole (Sep 02 2024 at 16:32):Hi. Is this supposed to work?
Foo : { foo : Str }
Bar : { bar : Str }Foo
I would have thought it would be the same as Bar : { foo : Str, bar : Str } based on the tutorial in the aside in this section:
"for example, { a : Str, b : Str }User describes a closed record consisting of all the fields in the closed record User, plus a : Str and b : Str."
Richard Feldman (Sep 02 2024 at 16:35):it should work, yeah - seems like a bug! :sweat_smile:
Jacob Cole (Sep 02 2024 at 16:36):Gotcha, thanks!
Anton (Sep 02 2024 at 16:37):Can you file an issue @Jacob Cole?
Jacob Cole (Sep 02 2024 at 16:40):Yep, will do
Last updated: Jul 06 2025 at 12:14 UTC