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? Peter $ Holmake Analysing fsubtypesScript.sml Trying to create directory .HOLMK for dependency files Compiling fsubtypesScript.sml File "fsubtypesScript.sml", line 24, characters 5-10: ! open ncLib bossLib metisLib BasicProvers boolSimps ! ^^^^^ ! Cannot find file ncLib.ui -- "In Your majesty ride prosperously because of truth, humility, and righteousness; and Your right hand shall teach You awesome things." (Psalm 45:4) ------------------------------------------------------------------------- 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
