search

JCumin / Brachylog

A terse declarative logic programming language
MIT License
117 stars 5 forks source link

√İ throws an exception on false #69

Closed xash closed 4 years ago

xash commented 4 years ago

√İ (TIO)

ERROR: -g consult('/opt/brachylog2/src/brachylog.pl'),run_from_files_no_file('.code.tio','.input.tio','.tmp.tio'):
Type error: `integer' expected, found `3.4641016151377544' (a float)

… which kind of is correct, but this should just not unify. But works as expected if you put something in between like √≡İ (TIO)

JCumin commented 4 years ago

@xash Should be fixed as of this commit. Thanks!

Though note that this will not get pulled on TIO, as I think the maintainer is not very active these days.