]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d77ef4) | patch
instead of a type error, use a domain error
authorMarkus Triska <[email protected]>
Sat, 18 Apr 2020 12:38:03 +0000 (14:38 +0200)
committerMark Thom <[email protected]>
Sat, 18 Apr 2020 20:16:46 +0000 (14:16 -0600)
commitf28e87b2401960e3b31bea114318e2b3ef1616d3
tree814632e78e6efaacf1105ab442046628156f456ftree | snapshot
parent2d77ef4245742b54ad6ffdd7718517cb3b0ccc7fcommit | diff
instead of a type error, use a domain error

The preceding use of atom_length/2 already ensures that C has the
correct type (i.e., atom). However, its domain may still be wrong,
if its length is greater than 1.
src/prolog/lib/charsio.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust