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

Better error messages on ErgoTree evaluation #720

Merged
merged 74 commits into from
Sep 27, 2023
Merged

Better error messages on ErgoTree evaluation #720

merged 74 commits into from
Sep 27, 2023

Commits on Sep 22, 2023

  1. make Evaluable::eval's environment a mutable ref;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    2428e3e View commit details
    Browse the repository at this point in the history

  2. add EvalError::WrappedWithEnvError with evaluation env attached;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0e819e9 View commit details
    Browse the repository at this point in the history

  3. draft SourceSpan and SourceSpanWrapper;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    65b129d View commit details
    Browse the repository at this point in the history

  4. enrich Append eval error with source span;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    35dd5ac View commit details
    Browse the repository at this point in the history

  5. Move source_span module to the ergotree-ir crate root; 

    rename SourceSpan to Span and wrapper to Spanned;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    a96a7c9 View commit details
    Browse the repository at this point in the history

  6. draft pretty printer types and smoke test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    eda5e27 View commit details
    Browse the repository at this point in the history

  7. draft Print trait IR nodes;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    8b3d624 View commit details
    Browse the repository at this point in the history

  8. draft Printer trait tracking current position and indentation level;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    7a562f7 View commit details
    Browse the repository at this point in the history

  9. draft Print impl for Expr;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    7f28707 View commit details
    Browse the repository at this point in the history

  10. draft the expr printing and running eval again in reduce_to_crypto;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    868076b View commit details
    Browse the repository at this point in the history

  11. extract EvalError into a separate module;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e46c92e View commit details
    Browse the repository at this point in the history

  12. merge wrapped EvalError variants into one;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e20f087 View commit details
    Browse the repository at this point in the history

  13. extract EvalErrorDetails and add wrap_with_src for EvalError;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    01cb82f View commit details
    Browse the repository at this point in the history

  14. impl Print for BlockValue;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c99f6ce View commit details
    Browse the repository at this point in the history

  15. formatting;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c10d084 View commit details
    Browse the repository at this point in the history

  16. impl Print for ValDef and Constant;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0eb274b View commit details
    Browse the repository at this point in the history

  17. impl Print for ValUse, fix indentations and new lines in pretty printer;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    8bb1181 View commit details
    Browse the repository at this point in the history

  18. Rename Span to SourceSpan and switch it to offset+length based repres… 

    …entation;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c6b94db View commit details
    Browse the repository at this point in the history

  19. impl Print for BinOp;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    be311ac View commit details
    Browse the repository at this point in the history

  20. fix nested error wrapping, add division by zero eval test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    a948266 View commit details
    Browse the repository at this point in the history

  21. fix spanned Expr construction in Print implementations;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    d353c71 View commit details
    Browse the repository at this point in the history

  22. rework wrapped EvalError variants, add custom Display impl for wrappe… 

    …d variants;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e320143 View commit details
    Browse the repository at this point in the history

  23. add source span test eval error;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    bf365dd View commit details
    Browse the repository at this point in the history

  24. impl Print for GlobalVars;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    9f8dfea View commit details
    Browse the repository at this point in the history

  25. impl pretty printing for ByIndex and add out of bounds error test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e26d18e View commit details
    Browse the repository at this point in the history

  26. add span check in pretty error tests;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    955e751 View commit details
    Browse the repository at this point in the history

  27. impl Display impl for Constant (primitive and composite types);

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    a5e40f7 View commit details
    Browse the repository at this point in the history

  28. Display impl for SType;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    cf0efe3 View commit details
    Browse the repository at this point in the history

  29. implement Display for all Literal variants;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    da54af0 View commit details
    Browse the repository at this point in the history

  30. set empty source span for IR nodes that can only fail at runtime due … 

    …the the invalid type of args

which should be eliminated by the type checking during the compilation;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    22ca326 View commit details
    Browse the repository at this point in the history

  31. add details to error messages in EvalError variants;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e355048 View commit details
    Browse the repository at this point in the history

  32. fix formatting;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    8cf9c87 View commit details
    Browse the repository at this point in the history

  33. update compiler tests expected results

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    922e2ad View commit details
    Browse the repository at this point in the history

  34. Wrap SubstConstants in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    54412d4 View commit details
    Browse the repository at this point in the history

  35. Wrap ByteArrayToLong in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c2747ad View commit details
    Browse the repository at this point in the history

  36. Wrap ByteArrayToBigInt in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    ae4fd0f View commit details
    Browse the repository at this point in the history

  37. wrap MethodCall in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    afd73c6 View commit details
    Browse the repository at this point in the history

  38. wrap PropertyCall in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    7ff21c0 View commit details
    Browse the repository at this point in the history

  39. wrap Negation in Spanned

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    47960ba View commit details
    Browse the repository at this point in the history

  40. wrap OptionGet in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e9e24e1 View commit details
    Browse the repository at this point in the history

  41. wrap OptionIsDefined in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    d8b4384 View commit details
    Browse the repository at this point in the history

  42. wrap OptionGetOrElse in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    b0ef00f View commit details
    Browse the repository at this point in the history

  43. wrap ExtractRegisterAs in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    cc905f5 View commit details
    Browse the repository at this point in the history

  44. wrap Slice in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    a2f2a6c View commit details
    Browse the repository at this point in the history

  45. wrap Fold in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    984dbe6 View commit details
    Browse the repository at this point in the history

  46. wrap Filter, Fold and ForAll in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    cbbc6d5 View commit details
    Browse the repository at this point in the history

  47. wrap SelectField in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    99489da View commit details
    Browse the repository at this point in the history

  48. wrap SelectField and GetVar in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    25c24f8 View commit details
    Browse the repository at this point in the history

  49. wrap Deserialize* into Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    dd6ac14 View commit details
    Browse the repository at this point in the history

  50. wrap TreeLookup in Spanned;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    986fc41 View commit details
    Browse the repository at this point in the history

  51. fix expected formatting in pretty printer tests;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    1e282b6 View commit details
    Browse the repository at this point in the history

  52. fix formatting;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    9eb85a1 View commit details
    Browse the repository at this point in the history

  53. update expected source spans in binop pretty print test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    6bb6761 View commit details
    Browse the repository at this point in the history

  54. skip ConstPlaceholder in pretty printer;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    91e2a0f View commit details
    Browse the repository at this point in the history

  55. fix source span in expected pretty printer test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    5b3873b View commit details
    Browse the repository at this point in the history

  56. move Print trait and implementations into a separate module;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    824ed24 View commit details
    Browse the repository at this point in the history

  57. add EIP23 refresh contract as pretty printer test; 

    Implement Print for various IR nodes;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    40301df View commit details
    Browse the repository at this point in the history

  58. add Print impl for various IR nodes and print EIP23 refresh contract;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    ec07000 View commit details
    Browse the repository at this point in the history

  59. add EIP23 update contract as pretty printer test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    b55a0b3 View commit details
    Browse the repository at this point in the history

  60. add EIP23 ballot contract as pretty printer test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    aa23f31 View commit details
    Browse the repository at this point in the history

  61. add EIP23 oracle contract as pretty printer test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    1456b1d View commit details
    Browse the repository at this point in the history

  62. add ageusd bank contract to pretty printer test

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    b81978c View commit details
    Browse the repository at this point in the history

  63. add ageusd update contract to pretty printer test;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    91c3cf4 View commit details
    Browse the repository at this point in the history

  64. add eip14 amm pool and swap contracts to pretty printer tests;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    b1e4091 View commit details
    Browse the repository at this point in the history

  65. add the rest of amm_conc_pool_* EIP22 auction contracts to the pretty… 

    … printer tests;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    4d09d26 View commit details
    Browse the repository at this point in the history

  66. add doc comment;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    d1b0e56 View commit details
    Browse the repository at this point in the history

  67. pretty printer for ByteArrayTo* IR nodes;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0eefaef View commit details
    Browse the repository at this point in the history

  68. impl Print for LongToByteArray and CalcSha256;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    7c99195 View commit details
    Browse the repository at this point in the history

  69. implmennt pretty printing for And, Or, LogicalNot, Xor, SubstConstant… 

    …s, Atleast;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    1f7a246 View commit details
    Browse the repository at this point in the history

  70. fix build after rebase;

    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    b049864 View commit details
    Browse the repository at this point in the history

  71. implement pretty printing for BitInversion, OptionGetOrElse, Slice, F… 

    …orAll,

Downcast, DHT, SigmaPropBytes;
    @greenhat
    greenhat committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    0bd29ad View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

  1. impl Print for DeserializeRegister and DeserializeContext

    @greenhat
    greenhat committed Sep 26, 2023
    Configuration menu
    Copy the full SHA
    b6e6084 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. code formatting

    @greenhat
    greenhat committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ee9b159 View commit details
    Browse the repository at this point in the history

  2. impl pretty printer for MultiplyGroup, Exponentiate, XorOf, TreeLooku… 

    …p, CreateAvlTree;
    @greenhat
    greenhat committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    3a62672 View commit details
    Browse the repository at this point in the history