Hi,
Lately, I've been trying to define the "reverse" function on lazy lists but
I'm facing some issues. I understand that, unlike lists, in order to define
recursive function over lazy lists every time I need to justify the
definition of (co-)recursive functions (reverse in my case) that map into
Subscript is the standard exception raised if you attempt to do things like
List.nth([1,2,3], 3)
or
String.sub("foo bar", 9)
I guess that Holmake is trying to do one of the above sorts of things.
What happens if you move the Holmakefile in tools/set_mtime out of the way and
call
I’m not 100% sure, but the keyword “Subscript” seems related to X11 bindings. I
guess you must have enabled X11 when building Poly/ML. If so, you can try to
rebuild Poly/ML without X11 and try to build latest HOL again. Hope this helps,
—Chun
> Il giorno 22 mag 2018, alle ore 22:51, Ashish
Hi Chun
You may have a point, not sure about Poly ML woes...I was able to move a
bit further by cloning the latest HOL distro.
I get the configuration done now but as soon as I start the build I get a
Subscript error.
[adarbari@localhost HOL]$ bin/build
*** Using kernel spec --stdknl from
Hi,
I think you should use Poly/ML 5.6 to build Kananaskis 11. (and Poly/ML
5.6 or5.7 to build latest HOL on GitHub)
Regards,
Chun
Ashish Darbari wrote:
> I'm running into this problem on Cent OS 7. No issues reported with
> Poly ML installation (installation from sources).
>
> When running
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]$
THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)
6-19 July 2018
Oxford, England, UK
We are pleased to announce that the FLoC 2018 conference and workshops
PROGRAMME is NOW ONLINE.
It is imperative that you BOOK ACCOMMODATION NOW to avoid disappointment.
EARLY BIRD REGISTRATION CLOSES on 6th