Hi, Although this is not an SML list, I come across this problem when using HOL, and I think there are many SML exports here, so I just ask this question.
I wrote an SML functor to facilitate some proof automation. I have several proof cases. For each case, I create a structure from the functor and use the structure to prove the case. This seems fine until I try to automate the entire process for the several cases. Since I need to create a separate structure for each case, SML doesn't allow me to create a structure inside a function. In addition, the number of cases varies, and I need to create the structures dynamically. Is there a way to solve this problem? Thanks. Lu ------------------------------------------------------------------------------ The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory and threading errors before they happen. Find and fix more than 250 security defects in the development cycle. Locate bottlenecks in serial and parallel code that limit performance. http://p.sf.net/sfu/intel-dev2devfeb _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
