SPT parse to ATerm constructor names don't support underscores

[RvanBaarle]

Summary

Constructor names containing underscores aren't parsed correctly in SPT files.

What you did

Defining a constructor such as

Start.Hello_World = <Hello world>

And a test such a

test hello [[
Hello world
]] parse to Hello_World()

What you expected to happen

The test should pass

What actually happened

The test fails with the error "Expected parse to (), but got Hello_World()"

Context

• Spoofax version: devenv (spoofax.pie commit c7ed510)
• Operating system & version: Ubuntu 20.04
• Java version (if applicable): 11.0.11
• Eclipse version (if applicable): Version: 2021-03 (4.19) Build id: I20210303-1800
• Gradle version (if applicable): 6.8

Additional information

The SPT file does evaluate, but "Show parsed AST" does not produce an AST.

[Gohla]

Solved by metaborg/spt@a5253d1