trueagi-io / hyperon-experimental

MeTTa programming language implementation
https://metta-lang.dev
MIT License
133 stars 44 forks source link

Fix minimal and old_interpreter MeTTa incompatibilities #742

Closed vsbogd closed 1 month ago

vsbogd commented 1 month ago

Rename apply to atom-subst in order to make name more unique and better reflect nature of the function. Fix case of passing Error expressions as a function parameters. In particular:

! (get-type Error) ; (-> Atom Atom ErrorType)
! (get-metatype Error) ; Symbol
! (get-type (Error Foo Boo)) ; ErrorType
! (Error (+ 1 2) (+ 1 +)) ; (Error (+ 1 2) (+ 1 +))