Dear all,
I have a small question regarding loading SML files, I have some
difficulties loading them using hol.bat from the hol installer for Windows.
I have written a file with the following contents:
(* Test loading file *)
set_trace "Unicode" 0;
val test = Define `identityList a = a`;
Now I save the file and open it using hol.bat, however I get Unbound value
identifier Define, even though if I do not load the file and just input it
hol.bat manually, it works perfectly.
It seems that it has something to do with end-init-boss.sml, since I don't
get that part after it fails loading the val test.
Can someone point me in the right direction how I can solve this rather
elementary problem? Or refer me to a page?
Yours sincerely,
Jun Jie
------------------------------------------------------------------------------
Precog is a next-generation analytics platform capable of advanced
analytics on semi-structured data. The platform includes APIs for building
apps and a phenomenal toolset for data science. Developers can use
our toolset for easy data analysis & visualization. Get a free account!
http://www2.precog.com/precogplatform/slashdotnewsletter
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
