On Fri, Feb 24, 2012 at 4:15 PM, Johan Tibell <johan.tib...@gmail.com> wrote:
> Aside: It is possible to have no scalar fields in records of course.
> data R = C { compare :: (a -> a -> Ordering) }

Has x f has no semantic content besides type x having an f field; Ord
has (at least in the programmer's mind, even if the language can't check
it) meaning beyond the simple presence of a compare function.

 /g

--
"Would you be so kind as to remove the apricots from the mashed potatoes?"

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to