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