quanto/poly build issues

[Ross Duncan]

Hello guys,

I am making some slow progress with this issue of the core exiting prematurely. Here is what I have been able to work out using polyml 5.5.2 with the latest integration.

1. Just building normally and doing sbt run to start the gui gives the “waiting for connection” message which never goes away.
2. Doing
poly —use “run_protocol.ML”
just terminates without accepting input.
3. Doing poly then “use “run_protocol.ML”; “ from inside the REPL succeeds and waits for input.

So I tried some more things. I have been starting poly like :
poly —use “dummy.ML”
where dummy.ML just loads a heap. Then I get the following:
— using “heaps/quanto.heap” it terminates.
— When I build a heap by doing "poly —use ROOT.ML" and then save the heap from inside the REPL, this succeeds, and waits for input.
— When I build a dummy heap that just defines a string, but i do it using the scaffold of build_heap.ML this also succeeds and waits for input.

So looks like a polyml bug, but I’m completely perplexed as to what is going on here. Anyone have any ideas?

-r