Productions without constructors (that are not an injection) make the Statix implication/explication fail without an error in SDF3

metaborg / spoofax-pie

Spoofax implementation using PIE pipelines

Apache License 2.0

12 stars 9 forks source link

Productions without constructors (that are not an injection) make the Statix implication/explication fail without an error in SDF3 #34

Closed Gohla closed 3 years ago

Gohla commented 3 years ago

Summary

Productions without constructors (that are not an injection) make the Statix implication/explication fail without an error in SDF3.

What you expected to happen

SDF3 should give an error on productions without constructors that are not an injection (i.e., Stm = Exp), or that are a bracket production (i.e., Stm.Block = <{<Stm>}> {bracket})

What actually happened

Analysis failed unexpectedly.

Context

Spoofax version: 0.11.6
Operating system & version: Any

Gohla commented 3 years ago

Fixed in https://github.com/metaborg/sdf/commit/c06c09be6c7cd48c1162d43fccafa0bd9b5fcc11, will be released in Spoofax3 0.11.9.