Curly enough... Thanks, David -----Original Message----- From: haskell-admin@haskell.org [mailto:haskell-admin@haskell.org] On Behalf Of Hal Daume III Sent: Tuesday, November 26, 2002 1:40 PM To: David Bergman Cc: 'Haskell Mailing List' Subject: RE: "cartesian classes"
A very concrete, but naïve, question: what is the syntax for defining functional dependencies in Hugs and GHC? Since Mark Jones' syntax was abstract in his paper, it is kind of hard to deduce an ASCII equivalence (I have tried to figure out how to create a curly arrow from the keyboard ;-)
I can't comment on the rest, but for this: class Foo a b c e | a b -> c, b -> c d where ... means "a and b together determing c, and b by itself determines c and d" _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell