thautwarm/Typed-BNF

Issues

• [codegen] support more idiomatic encoding of ADTs in TypeScript.

  #30 opened a year ago by thautwarm
  0

• static checking is not properly supported for generated typescript ADTs

  #29 opened 2 years ago by thautwarm
  0

• support native codegen via antlr cpp target

  #28 opened 2 years ago by thautwarm
  0

• Generated ANTLR lexers should not reference runtime support for semantic actions

  #27 opened 2 years ago by thautwarm
  0

• TypeScript-ANTLR backend: cannot parse into a function

  #26 opened 2 years ago by thautwarm
  1

• support non-recursive epsilon rules for julia-fff backend

  #25 opened 2 years ago by thautwarm
  1

• support julia with RBNF.hs as the parser generator and Fable.Sedlex+Sedlex.jl as lexer generator

  #23 opened 2 years ago by thautwarm
  0

• improve semantic actions for antlr-based backends

  #21 opened 3 years ago by thautwarm
  0

• support single-quoted literals in lexical rules and parsing rules

  #16 opened 3 years ago by thautwarm
  0

• use `A` for type parameters instead of `'A`

  #20 opened 3 years ago by thautwarm
  0

• [type inference] types of elements should unify the element type of list

  #18 opened 3 years ago by thautwarm
  0

• support nested alternatives

  #17 opened 3 years ago by thautwarm
  0

• create a specific backend to directly generate syntax highlighting extensions for vscode/sphinx pygments

  #15 opened 3 years ago by thautwarm
  0

• support parameter names in function types

  #14 opened 3 years ago by thautwarm
  1

• use type system to distinguish mangled names from user names

  #13 opened 3 years ago by thautwarm
  0

• menhir does not recognise other modules in recent version (20211230)

  #12 opened 3 years ago by thautwarm
  1

• Is there a code editor for tbnf?

  #11 opened 3 years ago by ice1000
  6

• dependencies of lexer definition

  #10 opened 3 years ago by thautwarm
  0

• restrict the syntax for types

  #7 opened 3 years ago by thautwarm
  0

• incorrect codegen for lambda parameters

  #9 opened 3 years ago by thautwarm
  0

• generating semantic lexer from tbnf

  #8 opened 3 years ago by thautwarm
  0

• drop support for local polymorphism

  #6 opened 3 years ago by thautwarm
  0

• add prefix to generated nonterminal(except start) to avoid unexpected invalid identifiers

  #5 opened 3 years ago by thautwarm
  0

• error report TODO list

  #4 opened 3 years ago by thautwarm
  0

• specify antlr namespace in tbnf

  #3 opened 3 years ago by thautwarm
  1

• specially treat <BOF> and <EOF>

  #2 opened 3 years ago by thautwarm
  0

• syntax for specifying the token type

  #1 opened 3 years ago by thautwarm
  1