The same holds for every better dynamic language with compile-time evaluation. E.g. LISP with its reader macros. Even if LISP is trivially parsable, it still provides parse-time hooks which can lead to undecidability.

It's a feature, not a problem.