31 Jul
2001
31 Jul
'01
11:29 p.m.
At 2001-07-30 19:08, I wrote:
Consider:
-- data T a = T --
Is there anything in the Prelude or a standard library that looks like this? Should there be? What should it be called? 'Singleton'? 'Reified'? 'T'?
In the end I called it 'Type'. Perhaps something like it should be in the Prelude... See <http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/jvm-bridge/source/Haskell/T ype.hs?rev=HEAD&content-type=text/vnd.viewcvs-markup>. -- Ashley Yakeley, Seattle WA