I'm running into this problem on Cent OS 7. No issues reported with Poly ML
installation (installation from sources).
When running either smart-configure or tweaking by hand the configure.sml
file I get Static Errors.
Any idea how to fix this?
Ashish
[adarbari@localhost hol-kananaskis-11]$ poly <tools-poly/smart-configure.sml
Poly/ML 5.7.1 Release
HOL smart configuration.
Determining configuration parameters: holdir OS poly polymllibdir
OS: linux
poly: /usr/local/bin/poly
polyc: /usr/local/bin/polyc
polymllibdir: /usr/local/lib
holdir: /home/adarbari/hol-kananaskis-11
DOT_PATH: /usr/bin/dot
Configuration will begin with above values. If they are wrong
press Control-C.
Will continue in 1 seconds.
Loading system specific functions
/home/adarbari/hol-kananaskis-11/tools-poly/configure.sml:283: error: Type
error in function application.
Function: > : Position.int * Position.int -> bool
Argument: (OS.FileSys.fileSize uifile, size uifile_content) :
Position.int * int
Reason:
Can't unify Position.int (*In Basis*) with int (*In Basis*)
(Different type constructors)
Found near
Time.> (modTime sigfile, modTime uifile)
orelse
OS.FileSys.fileSize uifile > size uifile_content
Static Errors
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info