Peter Vincent Homeier wrote: > In the examples directory, there is a subdirectory called "fsub" which > addresses the language from Pierce's book. > > In trying to build this, one of the files tries to load "ncLib". I > cannot find this. Where is ncLib?
Apologies for this. ncLib is now called binderLib. It's in the examples/lambda directory. Unfortunately, the fsub example doesn't build because of the way the lambda example has changed of late (a more comprehensive embrace of the "nominal" approach), and just replacing ncLib with binderLib is not enough. I will make sure that the example builds for our next release (which should happen some time soon). Michael. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2005. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
