thanks! now that i know the answer i can see that it was in the docs under
"extensible records", but it was indeed non-obvious.
martin
On Sun, Oct 9, 2016 at 9:09 PM, Max Goldstein <maxgoldste...@gmail.com>
wrote:
> You need a rather non-obvious piece of syntax:
>
> make_xword : { a | rows : Int, cols : Int } -> Xword
>
> This basically means that the input is a record with rows and cols, and
> any other fields. The origin of this syntax is that any record *a*, as
> long as it's extended with these fields, is acceptable.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Elm Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to elm-discuss+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups "Elm
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
