#15 "Tautology" answers lead to HTML transfer script error

open
nobody
5
2003-01-08
2003-01-08
No

Asking in 0.6
(#$implies
(#$isa ?X
(#$IntegerFromFn ?Low ?High))
(#$isa ?X #$Integer))
leads to True (a tautology)
though this sounds strange to me, see also below.
Clicking "tautology" leads to an answer of a
wellformedness-check.

Asking the same in 0.7 leads to Status: Tautology,
an empty input field, and at the bottom the message:
HTML Transfer halted due to script error:
A S#14106 at 40491CC4 is not a f_13268.
Clicking [Destroy] is needed to continue asking.

Asking
(#$implies
(#$isa ?X
(#$IntegerFromFn 1 31))
(#$isa ?X #$Integer))
leads in 0.6. and 0.7 to True and an explanation!

Discussion