bugs in case's matching expression with variables

trueagi-io / metta-wam

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

8 stars 11 forks source link

Closed vulecoff closed 5 hours ago

vulecoff commented 5 hours ago

Reproducible code:

!(case (time $x) (
   ((is $a) (is))
   ($_ (none))
))

Expected: (none)
Actual: (is). This means that (time $x) somehow got matched against (is $a)

vulecoff commented 5 hours ago

Never mind it looks like (time $x) is a native call in Mettalog