]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15cc916) | patch
prioritize type errors over instantiation errors
authorMarkus Triska <[email protected]>
Sat, 14 May 2022 07:52:34 +0000 (09:52 +0200)
committerMarkus Triska <[email protected]>
Sat, 14 May 2022 07:53:21 +0000 (09:53 +0200)
commita5e72679bcc615b737aa32dee5b24fdf4f426619
tree7843c68291477def577e5287b5374d3d5ceea5e5tree | snapshot
parent15cc916333d823ae11f2da9a0b78d5cd1de9f995commit | diff
prioritize type errors over instantiation errors

Example:

    ?- must_be(chars, [a,X,cc]).
       error(type_error(character,cc),can_be/2).

See https://github.com/mthom/scryer-prolog/pull/1474#issuecomment-1126664368
src/lib/error.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust