Commit 16de5007 authored by FAGES Francois's avatar FAGES Francois
Browse files

typeError

parent 82e9a1b3
...@@ -7,6 +7,16 @@ ...@@ -7,6 +7,16 @@
] ]
). ).
type(L, { _ }) :-
!,
(
list(L)
->
true
;
throw(error(type_error(list, L)))
).
type(_, _). type(_, _).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment