Closed kuniss closed 2 years ago
@linkrope, I need help on the check-style build issue... After having rebased my PR branch to gamma/master all your changes are in. Only my changes remains. And still the check step fails. Unfortunately, I have no clue.
I reworked a lot of the tutorial examples according to our discussion here. Only the discussion point https://github.com/linkrope/gamma/pull/10#discussion_r899074914 regarding example/number.eag remains.
Could you please push the Resolve conversion
button after review for the resolved discussion to have a better overview.
I also updated the Wiki, mainly https://github.com/linkrope/gamma/wiki/Table-Lookup-and-Semantic-Validation to reflect the changes. However, the Gitpod hands-on parts still needs to get repeated and validated according to the repetition result.
@linkrope, I need help on the check-style build issue... After having rebased my PR branch to gamma/master all your changes are in. Only my changes remains. And still the check step fails. Unfortunately, I have no clue.
The following change is required to avoid the issue with building the check tool: Update dscanner Just rebase once again.
@linkrope please have a first look on the tutorial examples. I did not move them to a tutorial sub directory yet, as discussed.
Only the decla-appl.eag example has been changed for didactic reasons - to differentiate meta and hyper non-terminals uniquely. All other examples are new and quite trivial.
May be the decl-appl test input is superfluous. But it was handy during the presentation...