]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0412164) | patch
check for correct domain of integers in reifiable expressions also in the expanded...
authorMarkus Triska <[email protected]>
Thu, 3 Jun 2021 20:56:08 +0000 (22:56 +0200)
committerMarkus Triska <[email protected]>
Thu, 3 Jun 2021 20:57:58 +0000 (22:57 +0200)
commit066f7408192609df43ce6a90f5bf9bc4e33e666f
tree7170ffa82e4ad37ddf27dbded51322479bbb0354tree | snapshot
parent04121644a335838334fa6f20e9502849d16a1439commit | diff
check for correct domain of integers in reifiable expressions also in the expanded code

This is to preserve domain errors instead of failing silently. Example:

   ?- 5 #> 3 #<==> 2.
   %@ caught: error(domain_error(clpz_reifiable_expression,2),unknown(2)-1)
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust