I am adding lexical syntax now. And not sure whether to define basic syntax like Id and Bool like sdf do.
For example,
according sdf syntax "true" -> Bool {cons("True")}
we will have syntax Bool ::= "true" [klabel('True)]
but K already has its Bool true, and
syntax Bool ::= true [klabel('True)] is not valid.
Denis used this rule rule 'Lit('Bool('True(.KList))) => true
But I think we want to make 'True a klabel attribute to some syntax
For Id, the definition
syntax ID ::= Token{[A-Za-z\$][A-Za-z0-9\$]}
rised from sdf syntax [A-Za-z\$][A-Za-z0-9\$] -> ID
is causing wierd error:
Exception in thread "main" java.lang.AssertionError: An error message should have been thrown here in the above loop.
I am adding lexical syntax now. And not sure whether to define basic syntax like Id and Bool like sdf do. For example, according sdf syntax "true" -> Bool {cons("True")} we will have syntax Bool ::= "true" [klabel('True)] but K already has its Bool true, and
syntax Bool ::= true [klabel('True)] is not valid.
Denis used this rule rule 'Lit('Bool('True(.KList))) => true But I think we want to make 'True a klabel attribute to some syntax
For Id, the definition syntax ID ::= Token{[A-Za-z\$][A-Za-z0-9\$]} rised from sdf syntax [A-Za-z\$][A-Za-z0-9\$] -> ID is causing wierd error: Exception in thread "main" java.lang.AssertionError: An error message should have been thrown here in the above loop.