objectionary / eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus
https://www.eolang.org
MIT License
1.05k stars 133 forks source link

Invalid phi syntax doesn't lead to UnphiMojo crash #3530

Closed yegor256 closed 1 week ago

yegor256 commented 1 week ago

If I pass this phi code to UnphiMojo, it gets processed without errors:

            access ↦ Φ.jeo.int (
              α0 ↦ Φ.org.eolang.bytes (
                Δ ⤍ 00-00-00-00-00-00-00-21
              )
            ),

However, it should fail, since the syntax is not valid: the Δ may not be used in application.

yegor256 commented 1 week ago

@maxonfjvipon please, help

maxonfjvipon commented 1 week ago

@yegor256 could you please provide some CI failed, because I can't reproduce it

yegor256 commented 1 week ago

@maxonfjvipon you are right, I added a few tests in 3ca1f865f