search

ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
https://ciao-lang.org
GNU Lesser General Public License v3.0
268 stars 20 forks source link

(playground) Error when checking assertions #57

Closed igcontreras closed 6 months ago

igcontreras commented 2 years ago

Steps to reproduce:

More... -> Analyze and check assertions

Screen Shot 2022-08-05 at 11 44 03
jfmc commented 2 years ago

Thanks! It works when adding the assertions package explicitly:

:- module(_, [app/3], [assertions]).
...

But it is definitely a bug.

jfmc commented 6 months ago

Fixed in latest release.