Markus Triska 43f7743467 ENHANCED: Better error handling if Type is invalid. ...

Strictly speaking, type is currently not a type, so a domain error is
appropriate if Type is not a valid type. However, there are also other
cases where new types have been introduced in the past, and this
seems a good candidate for a new type. Let us hence use a type error.

Example:

    ?- can_be(listi, [a,b|Ls]).
    %@ ERROR: Type error: `type' expected, found `listi' (an atom)

2018-09-30 23:36:32 +02:00

..

l0

fix unification bugs.

2017-01-27 21:54:53 -07:00

l1

add dumb comments

2017-02-03 00:49:16 -07:00

l2

minor tweak

2017-02-28 13:33:28 -07:00

l3

transition to l3

2017-03-04 19:22:43 -07:00

prolog

ENHANCED: Better error handling if Type is invalid.

2018-09-30 23:36:32 +02:00

main.rs

incorporate term_expansion phase in compilation

2018-09-18 22:44:03 -06:00

tests.rs

duplicate_term is now copy_term

2018-09-26 22:39:34 -06:00