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

Escherichia/errors #95

Merged
merged 27 commits into from
Mar 29, 2024
Merged

Escherichia/errors #95

merged 27 commits into from
Mar 29, 2024

Commits on Mar 28, 2024

  1. WIP Beginning working on better errors: began replacing raise (Failur… 

    …e) and assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    a64fdc8 View commit details
    Browse the repository at this point in the history

  2. WIP: does not compile yet because we need to propagate the meta varia… 

    …ble.
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    8f89bd8 View commit details
    Browse the repository at this point in the history

  3. WIP: translate.ml and extract.ml do not compile. Some assert left to … 

    …do and we need to see how translate_crate can give meta to the functions it calls
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    5209cea View commit details
    Browse the repository at this point in the history

  4. Still need to fill the TODO: error message and check some meta but it… 

    … builds
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    76fda6b View commit details
    Browse the repository at this point in the history

  5. Replaced some unclear TODOs error message placeholder by clearer TODO… 

    …s, they were forgotten before last push
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    9b1a0d8 View commit details
    Browse the repository at this point in the history

  6. Inverted meta and config argument orders (from meta -> config to conf… 

    …ig -> meta)
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    d6ea358 View commit details
    Browse the repository at this point in the history

  7. added a meta option field to norm_ctx and changed the meta used by so… 

    …me assert to the norm_ctx one
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    7a304e9 View commit details
    Browse the repository at this point in the history

  8. changes to extract_ty and related functions to use the right meta

    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    c47e349 View commit details
    Browse the repository at this point in the history

  9. Added sanity_check and sanity_check_opt_meta helpers and changed sani… 

    …ty checks related cassert to these helpers to have a proper error message
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    0f0082c View commit details
    Browse the repository at this point in the history

  10. Should answer all comments, there are still some TODO: error message … 

    …left
    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    5ad671a View commit details
    Browse the repository at this point in the history

  11. changes after git rebase main

    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    53347ec View commit details
    Browse the repository at this point in the history

  12. Update the nix flake

    @sonmarcho
    sonmarcho committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    ca25347 View commit details
    Browse the repository at this point in the history

  13. Revert some changes which shouldn't be here

    @sonmarcho
    sonmarcho committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    4eac16f View commit details
    Browse the repository at this point in the history

  14. formatting

    @EschericHya
    EschericHya committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    64666ed View commit details
    Browse the repository at this point in the history

  15. Update the format rule in the Makefile

    @sonmarcho
    sonmarcho committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    4a2bd68 View commit details
    Browse the repository at this point in the history

  16. Fix an issue

    @sonmarcho
    sonmarcho committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    c206990 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. Improve the error messages

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    6f4833f View commit details
    Browse the repository at this point in the history

  2. Make a minor modification

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    bd89156 View commit details
    Browse the repository at this point in the history

  3. added file and line arg to craise and cassert

    @EschericHya
    EschericHya committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    786c54c View commit details
    Browse the repository at this point in the history

  4. added file and line arg to craise, cassert and all related functions

    @EschericHya
    EschericHya committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    521c738 View commit details
    Browse the repository at this point in the history

  5. formatting and changed save_error condition for failing from b to not b

    @EschericHya
    EschericHya committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    8f96963 View commit details
    Browse the repository at this point in the history

  6. Cleanup a bit

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    ea086d3 View commit details
    Browse the repository at this point in the history

  7. Improve the error messages

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    9403920 View commit details
    Browse the repository at this point in the history

  8. Add some missing error messages

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    c26dcd0 View commit details
    Browse the repository at this point in the history

  9. Add some error messages

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    5809c45 View commit details
    Browse the repository at this point in the history

  10. Add an error message

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    16bebef View commit details
    Browse the repository at this point in the history

  11. Cleanup and fix a mistake

    @sonmarcho
    sonmarcho committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    1a86cac View commit details
    Browse the repository at this point in the history