Skip to content
This repository has been archived by the owner on Jul 16, 2024. It is now read-only.

Refactor ParseResult module #690

Closed
wants to merge 18 commits into from
Closed

Refactor ParseResult module #690

wants to merge 18 commits into from

Commits on Dec 27, 2023

  1. Refactor ParseResult module

    gcanti committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    ef15330 View commit details
    Browse the repository at this point in the history
  2. replace UnionMember with Union

    gcanti committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    b12f320 View commit details
    Browse the repository at this point in the history
  3. Schema: add more descriptions

    gcanti committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    1aff0cc View commit details
    Browse the repository at this point in the history
  4. remove Util.expectParseFailure

    gcanti committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    9f765f2 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2263cd8 View commit details
    Browse the repository at this point in the history
  6. replace Index with Tuple

    gcanti committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    0e0db56 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. Configuration menu
    Copy the full SHA
    719ba0f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f173e75 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    00f14c2 View commit details
    Browse the repository at this point in the history
  4. refactor type literal messages

    gcanti committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    4344503 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. ParseResult: add TypeLiteral

    gcanti committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    9e72b8b View commit details
    Browse the repository at this point in the history
  2. chore

    gcanti committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    bcd6931 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b40bad8 View commit details
    Browse the repository at this point in the history
  4. remove isCollapsible

    gcanti committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    58756b0 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2023

  1. Configuration menu
    Copy the full SHA
    7ab46bc View commit details
    Browse the repository at this point in the history
  2. add Refinement issue

    gcanti committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    f4b01a1 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2023

  1. add descriptions to leafs

    gcanti committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    5fc77be View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d7c5483 View commit details
    Browse the repository at this point in the history