search

trealla-prolog / trealla

A compact, efficient Prolog interpreter written in plain-old C.
MIT License
274 stars 13 forks source link

Yet another module issue #588

Closed flexoron closed 2 months ago

flexoron commented 2 months ago

v2.55.43

%%% Unexpected %%%
?- [user]. user:1. end_of_file.
   true.
?- listing.
1.
   true.
?- [user]. user:2. end_of_file.
Warning: overwriting 'dummy'/0
   true.
?- listing.
2.
   true.

%%% Expected %%%
?- [user]. 3. end_of_file.
Error: type error, not callable, user:1
   true.
?-