LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
290 stars 36 forks source link

Bug: calc (sin X) works like calc (sqrt X) #275

Closed matpyz closed 1 week ago

matpyz commented 1 month ago

Hi all! I noticed sine function doesn't work as expected. https://github.com/LPCIC/elpi/blob/5739f28ec0cb6d5c49c8eacebb876c8834422246/src/API.ml#L1206 The line referenced above looks like the origin of the bug.

gares commented 1 month ago

thanks for the report!