Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Record updates #2263

Merged
merged 18 commits into from
Aug 7, 2023
Merged

Record updates #2263

merged 18 commits into from
Aug 7, 2023

Commits on Aug 1, 2023

  1. fix spacing of nullary constructors

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    56d4fc9 View commit details
    Browse the repository at this point in the history

  2. ormolu

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    d14b419 View commit details
    Browse the repository at this point in the history

  3. wip

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    49683b9 View commit details
    Browse the repository at this point in the history

  4. parse, scope, print record updates

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    512a4aa View commit details
    Browse the repository at this point in the history

  5. compile record updates

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    fe0f60e View commit details
    Browse the repository at this point in the history

  6. record info

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    ce3d3bd View commit details
    Browse the repository at this point in the history

  7. fix test

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    ef00f29 View commit details
    Browse the repository at this point in the history

  8. add positive test

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    ac5fb77 View commit details
    Browse the repository at this point in the history

  9. parens record update

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    0800805 View commit details
    Browse the repository at this point in the history

  10. fix typo

    @janmasrovira @paulcadman
    janmasrovira authored and paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    83b75a1 View commit details
    Browse the repository at this point in the history

  11. Add a negative scope test for ErrNotARecord

    @paulcadman
    paulcadman committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    94a4cac View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Merge branch 'main' into record-updates

    @janmasrovira
    janmasrovira committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    0a1ad9d View commit details
    Browse the repository at this point in the history

  2. add unexpected field error

    @janmasrovira
    janmasrovira committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    a66e6ce View commit details
    Browse the repository at this point in the history

  3. rename test

    @janmasrovira
    janmasrovira committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    5a1fac9 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. bind all fields

    @janmasrovira
    janmasrovira committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    0dcf80f View commit details
    Browse the repository at this point in the history

  2. test

    @janmasrovira
    janmasrovira committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    0f0ff24 View commit details
    Browse the repository at this point in the history

  3. ormolu

    @janmasrovira
    janmasrovira committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    082321e View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. update test

    @lukaszcz
    lukaszcz committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    78e16b8 View commit details
    Browse the repository at this point in the history