Hello.
I've been trying to use polyml with HOL, but I've run into a difficultly....
Scripts that use Polyhash yield the following error when building "Structure
(Polyhash) has not been declared". It seems based on google searches that
Polyhash is a mosml thing that presumably doesn't exist in polyml (ironic
given the names)... can anyone confirm this? has anyone had the same
problem? can anyone suggest a solution?
Thanks!
Aaron
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
