Some productions in the LangRef were using undefined terminals and non-terminals, which have been added to the EBNF.
The dialect type and dialect attribute productions matched precisely the same structure and have been deduplicated.
The production for ssa-id was ambiguous but the fix is trivial (merging the leading '%') and has been applied.
The syntax of float literals was missing from the LangRef, but present in the comments in lib.Parser/Lexer.cpp, it was added to the LangRef
Some productions in the LangRef were using undefined terminals and non-terminals, which have been added to the EBNF. The dialect type and dialect attribute productions matched precisely the same structure and have been deduplicated. The production for ssa-id was ambiguous but the fix is trivial (merging the leading '%') and has been applied. The syntax of float literals was missing from the LangRef, but present in the comments in lib.Parser/Lexer.cpp, it was added to the LangRef