Scryer-prolog: sleep/1: representation error needed

Created on 20 Apr 2020  路  2Comments  路  Source: mthom/scryer-prolog 
?- X is 2^128, sleep(X).
caught: domain_error(not_great_than_0xfffffffffffffbff,340282366920938463463374607431768211456)

This should be a representation error. There is no inherent reason why 0xfffffffffffffbff should be a limit - except that in current systems a larger number does not make sense/cannot be represented.

picture UWN

Most helpful comment

Made a PR to fix it.

picture notoria on 20 Apr 2020
👍3

All 2 comments

Made a PR to fix it.

notoria picture notoria on 20 Apr 2020
👍3

@notoria: max_sleep_time fits nicely into error class f.

UWN picture UWN on 21 Apr 2020
👍1
Was this page helpful?
0 / 5 - 0 ratings

Related issues

notoria picture notoria  路  3Comments
mkohlhaas picture mkohlhaas  路  3Comments
XVilka picture XVilka  路  3Comments
cduret picture cduret  路  4Comments
triska picture triska  路  4Comments