Code

Rewindable parser#17

Code

Merged

nberth merged 12 commits intoOCamlPro:masterOCamlPro/superbol-studio-oss:masterfrom nberth:rewindable-parsernberth/superbol-studio-oss:rewindable-parserCopy head branch name to clipboardOct 6, 2023

+9,597-7,507

Commits

Commits on Oct 2, 2023

• Move stack of lexical contexts to preprocessor record in parser engine

  nberth

  committed
  47ca11f

• Rewindable parsing

  Show description for 9ef4bab
  nberth

  committed
  9ef4bab

• Add missing licence header in code of Cobol_parser.Recovery

  nberth

  committed
  81b21bd

Commits on Oct 3, 2023

• Better represent informational paragraphs

  Show description for 88af9ed
  nberth

  committed
  88af9ed

• Add some missing headers

  nberth

  committed
  20ac7a8

Commits on Oct 4, 2023

• Permit simpler specifications of rewinding positions

  nberth

  committed
  c4ae60a

• Minor editions, and document Cobol_parser.Parser_engine

  nberth

  committed
  e420514

• Move source format types and management into Cobol_preproc.Src_format

  nberth

  committed
  b7699b3

• Unify the way one passes options to the preprocessor and to the parser

  nberth

  committed
  74870b3

• Avoid redundant representation of source formats in Cobol_preproc.Src_format

  Show description for b5ec9a5
  nberth

  committed
  b5ec9a5

Commits on Oct 5, 2023

• Finishing touches to the rewindable parser, with some tests

  nberth

  committed
  fa0abb5

Commits on Oct 6, 2023

• Minor tweaks and comments

  nberth

  committed
  8529fff