csg-tokyo/typelevellr

typelevellr's Issues

"end" in syntax cause Multiple declarations of ‘EndTransition’

Thank you for developing an interesting project , and sorry for this minor edge case issue.

The syntax file below generates ‘EndTransition’ twice, so

• merging transition
  or
• forbidding "end" in syntax
  is needed.

syntax helloDSL (start) {
    simpleHello   : start -> "begin"
    helloWithName : start -> "end" name
    nameString    : name  -> "name(String)"
}

I checked the error below using haskell

[1 of 2] Compiling HelloDSL         ( HelloDSL.hs, HelloDSL.o )

HelloDSL.hs:49:1: error:
    Multiple declarations of ‘EndTransition’
    Declared at: HelloDSL.hs:46:1
                 HelloDSL.hs:49:1

HelloDSL.hs:50:3: error:
    Multiple declarations of ‘end’
    Declared at: HelloDSL.hs:47:3
                 HelloDSL.hs:50:3

Problem with README example

The simpleHello rule in helloDSL grammar accepts hello with no parameters.
The HelloDSLSemantics semantics file, however, uses the pattern (SimpleHello name),
raising an error The constructor ‘SimpleHello’ should have no arguments, but has been given 1.

Changing (SimpleHello name) to (SimpleHello) solves the problem, with either
runHelloDSL $ begin |> hello |> name "ymzk" |> end or runHelloDSL $ begin |> hello |> end.