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 <[email protected]> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
