| john : Customer | |
| john = MkCustomer "John" "NYC" (MkAccount "123" "NYC") | |
| update_billing_address john " LND" | |
| => MkCustomer "John" "NYC" (MkAccount "123" "LND") : Customer | |
| concat_billing_address john " LND" | |
| => MkCustomer "John" "NYC" (MkAccount "123" "NYC LND") : Customer |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This comment has been minimized.
Seems that the space in the first
" LND"is not supposed to be there.