Issue 83 in teyjus: tjsim has a bounded input buffer

[tey...@googlecode.com]

Status: New
Owner: ----

New issue 83 by sam.sta...@cl.cam.ac.uk: tjsim has a bounded input buffer
http://code.google.com/p/teyjus/issues/detail?id=83

I am trying to use tjsim to step through some operational semantics
definitions.

In brief I have a predicate "step" of type p -> p -> o and I enter
step some-expression X.
to find out the next step of some-expression, then I continue by
copying-pasting the result and calling step again.

However, when I'm doing this, some-expression quickly gets bigger than 1024
characters, which seems to be a buffer limit for tjsim. So I can't use
tjsim to simulate operational semantics.

Hopefully there is a quick way to increase the 1024 limit.

(The notation $X from SWI Prolog is handy for this kind of thing. It
doesn't seem to be there in teyjus, but I'm willing to copy/paste.)


What version of the product are you using? Teyjus 2.0-b2.
On what operating system? Mac OS 10.9.


--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

[tey...@googlecode.com]

Comment #1 on issue 83 by fafo...@gmail.com: tjsim has a bounded input
buffer
http://code.google.com/p/teyjus/issues/detail?id=83

Dear Sam,

Thanks for reporting. Could you post your code since I cannot reproduce
your bug.

Regards,
Fabien

[tey...@googlecode.com]

Comment #2 on issue 83 by sam.sta...@cl.cam.ac.uk: tjsim has a bounded
input buffer
http://code.google.com/p/teyjus/issues/detail?id=83

Dear Fabien,
When I run
$./tjsim
...
[toplevel] ?- X = ...some thing more than 1024 characters long

then it stops working.

I've just been reading about it and it seems to be a general fact about tty.
If I run
$ ledit -l 65536 ./tjsim
then it's actually fine (but a bit flaky)

[tey...@googlecode.com]

Updates:
Status: Invalid

Comment #3 on issue 83 by fafo...@gmail.com: tjsim has a bounded input
buffer
http://code.google.com/p/teyjus/issues/detail?id=83

(No comment was entered for this change.)