Re: Definable operators

Stefan Monnier <monnier+/news/comp/compilers@tequila.cs.yale.edu>
18 Apr 1997 01:05:55 -0400

          From comp.compilers

Related articles
[15 earlier articles]
Re: Definable operators leichter@smarts.com (Jerry Leichter) (1997-04-06)
Re: Definable operators hrubin@stat.purdue.edu (1997-04-11)
Re: Definable operators nmm1@cus.cam.ac.uk (1997-04-16)
Re: Definable operators raw@math.wisc.edu (Matthew J. Raw) (1997-04-16)
Re: Definable operators dlester@cs.man.ac.uk (1997-04-16)
Re: Definable operators fanf@lspace.org (Tony Finch) (1997-04-18)
Re: Definable operators monnier+/news/comp/compilers@tequila.cs.yale.edu (Stefan Monnier) (1997-04-18)
Re: Definable operators burley@tweedledumb.cygnus.com (Craig Burley) (1997-04-18)
Re: Definable operators apardon@rc4.vub.ac.be (1997-04-20)
Re: Definable operators genew@vip.net (1997-04-20)
Re: Definable operators kumo@intercenter.net (David Rush) (1997-04-20)
Re: Definable operators burley@tweedledumb.cygnus.com (Craig Burley) (1997-04-22)
Re: Definable operators burley@tweedledumb.cygnus.com (Craig Burley) (1997-04-30)
[17 later articles]
| List of all articles for this month |

From: Stefan Monnier <monnier+/news/comp/compilers@tequila.cs.yale.edu>
Newsgroups: comp.compilers
Date: 18 Apr 1997 01:05:55 -0400
Organization: Compilers Central
References: 97-03-037 97-03-076 97-03-112 97-03-115 97-03-141 97-03-162 97-03-184 97-04-027 97-04-095
Keywords: design

dlester@cs.man.ac.uk (David Lester) writes:
> class (Eq a, Text a) => Num a where
[...]
> That is, for any data type (refered to as `a' above) that has an
> equality operation, and is printable (subclasses of `Eq' and `Text')
> we should define the seven operations in the class.


I believe what the syntax says is not "if it is an equality and is printable,
then it's a number", but rather "a Num has to be an Eq and a Text".




                Stefan
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.