On 05/02/2008, Cale Gibbard <[EMAIL PROTECTED]> wrote:
> On 05/02/2008, Barney Hilken <[EMAIL PROTECTED]> wrote:
> >
> > Should {label := "Hi", color := blue} and {color := blue, label :=
> > "Hi"} have the same type?
> >
>
> The scoped labels paper has an interesting feature in this regard:
> labels with different names can be swapped at will, but labels having
> the same name (which is allowed) maintain their order. The types are
> equivalent in either case though.
Er, sorry, no they're not. Two labels with the same name may have
different types, and you can't swap them at the type level either,
obviously.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
