Claus Reinke wrote:
- the Programatica project has a Haskell-in-Haskell implementation, which apart from a possible candidate for such a library, prompted many investigations into the oddities of Haskell 98, strictness aspects of pattern matching amongst them, iirc; I think Bill Harrison was involved in most of those papers:
The Programatica team also produced a formal spec of the Haskell 98 module system, which may come handy: http://www.cse.ogi.edu/PacSoft/projects/programatica/diatchi.pdf Their Haskell implementation correctly implements Haskell98's recursive modules (among other subtleties). Here's the "Logic of Demand" paper that I think Claus is referring to above: http://www.cse.ogi.edu/PacSoft/projects/programatica/harrison-kieburtz.pdf A -- Andy Adams-Moran Phone: 503.626.6616, x113 Galois Connections Inc. Fax: 503.350.0833 12725 SW Millikan Way, Suite #290 http://www.galois.com Beaverton, OR 97005 adams-moran@galois.com