Skip to content

Refactoring XMIR parser#9

Merged
fizruk merged 4 commits intopolystat:masterfrom
nikololiahim:easier_xml_construction
Dec 27, 2021
Merged

Refactoring XMIR parser#9
fizruk merged 4 commits intopolystat:masterfrom
nikololiahim:easier_xml_construction

Conversation

@nikololiahim
Copy link
Copy Markdown
Member

@nikololiahim nikololiahim commented Oct 11, 2021

  • Removed a lot of unnecessary Java XML boilerplate
  • Implemented combineErrors using cats.Traverse
  • simplify-xmir.xsl doesn't produce "ambiguous match" warnings

@nikololiahim nikololiahim changed the title Found a much easier way to construct xml Refactoring XMIR parser Nov 5, 2021
@fizruk fizruk merged commit 7fda44b into polystat:master Dec 27, 2021
@nikololiahim nikololiahim deleted the easier_xml_construction branch January 3, 2022 16:42
@fizruk fizruk mentioned this pull request Jan 17, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
nikololiahim pushed a commit to nikololiahim/odin that referenced this pull request Jan 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants