instance declarations

[David Feuer]

Marcin 'Qrczak' Kowalczyk wrote:

> There is another problem: even if we created a syntax to name them,
> if they would not be exported by default then current programs would
> have to be changed.

Well, the default could be to export, unless explicitly hidden.  If it
_is_ exported, you could have the option to write it explicitly, or just
have it go by default.
> 
> Perhaps in the future it will be possible to specify the interface
> of a Haskell module more formally, with types of exported values
> for example. Then we should remember about instances and solve both
> problems simultaneously.

I guess that may be true...  It could be really useful to have a tool to
take a source file and automagically make an approximate header for
it...

-- 
/Times-Bold 40 selectfont/n{moveto}def/m{gsave true charpath clip 72
400 n 300 -4 1{dup 160 300 3 -1 roll 0 360 arc 300 div 1 1 sethsbcolor
fill}for grestore 0 -60 rmoveto}def 72 500 n(This message has been)m
(brought to you by the)m(letter alpha and the number pi.)m(David Feuer)
m(David_Feuer@brown.edu)m showpage