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

Type Inference PoC - iteration 1 - most basic type inference #8652

Merged
merged 186 commits into from
Jun 13, 2024
Merged

Type Inference PoC - iteration 1 - most basic type inference #8652

merged 186 commits into from
Jun 13, 2024

Commits on Mar 28, 2024

  1. implement a stub for the type inference pass

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

  2. note

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

  3. notes

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

  4. ensure compiled in a cleaner way

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

  5. experiments, logging

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

  6. WIP adding more test cases, getting into the IR, deconstructing it an… 

    …d preparing various cases
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    53d9d16 View commit details
    Browse the repository at this point in the history

  7. adding more test cases for relatively simple but a bit more complex s… 

    …cenarios
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    1b2dc7c View commit details
    Browse the repository at this point in the history

  8. fix doc

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

  9. ignore test for now

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

  10. document implementation detail leaking to API

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

  11. very basic type propagation - literals, WIP lambdas

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

  12. checkpoint

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

  13. ignore self in lambda type

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

  14. registering ascribed types, resolving ascribed types

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

  15. resolving function types and error types - in the limited way as curr… 

    …ently possible with runtime checks
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    29c3141 View commit details
    Browse the repository at this point in the history

  16. refactor metadata, looking into how to resolve names

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

  17. tmp

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

  18. WIP: refactoring test runner to be closer to the compiler

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

  19. start actually testing stuff

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

  20. more checks in tests

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

  21. all existing tests do test something, ignoring pending tests for now

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

  22. trying to resolve ctors but it's harder than I thought

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

  23. WIP resolving type objects

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

  24. first steps in resolving function application - resolving constructors

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

  25. allow multi arg constructors as well :)

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

  26. test for NotInvokable warning

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

  27. allow to easily turn on/off verbose logs

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

  28. allow to enable type checking by CLI

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

  29. add test for defaulted args in ctor

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

  30. do not infer ctors with defaults as currently that is not correctly h… 

    …andled later
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    63427b6 View commit details
    Browse the repository at this point in the history

  31. WIP: persistance, not yet sure how to fix the issue of storing Expres… 

    …sion in TypeObject
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    dad9d09 View commit details
    Browse the repository at this point in the history

  32. propagating local bindings 

    WIP: does not compile :(
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    b3f049f View commit details
    Browse the repository at this point in the history

  33. make it compile

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

  34. fix test

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

  35. refactor

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

  36. note

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

  37. Vector Literal

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

  38. add test

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

  39. register checked argument types

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

  40. adding tests

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

  41. inferring case pt. 1

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

  42. inferring case pt. 2

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

  43. case sum type

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

  44. add a test

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

  45. adding more tests, stub for type errors, add inferred type to bindings

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

  46. very basic type errors

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

  47. disable logging

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

  48. add test for conversion

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

  49. add test for spurious Not_Invokable warnign

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

  50. adding tests, disable type errors due to conversions

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

  51. add type error test that can be checked even without conversions

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

  52. weird but possible

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

  53. fix

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

  54. refactor local bindings map

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

  55. move out TypeCompatibility

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

  56. simplify logging

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

  57. simplify logging - {}

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

  58. javafmt

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

  59. reducing coupling: avoid storing Bindings Map in the Type representation

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

  60. WIP: remove IR from TypeRepresentation, abstracting ResolvedType for … 

    …serialization and bringing it back
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    2bfefb4 View commit details
    Browse the repository at this point in the history

  61. debug

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

  62. add test for resolving symbols thru local module name

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

  63. fix local resolution

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

  64. updating tests, note

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

  65. comments

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

  66. switch to Reference for Expression

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

  67. not prepare

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

  68. detect cycles

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

  69. revert cycle detector

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

  70. break cycles by registering the object _before_ it is written

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

  71. WIP: testing consistency

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

  72. fix test

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

  73. draft for common NameResolution logic

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

  74. use common NameResolution in IrToTruffle

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

  75. use common NameResolution in TypeInference

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

  76. fixes after rebase

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

  77. fixes after AliasAnalysis -unnest rebase

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

  78. 'interop' helpers now no longer necessary

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

  79. fix: now the qualified type name is correctly discovering the relevan… 

    …t parent module

WIP: cleanup
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    9014552 View commit details
    Browse the repository at this point in the history

  80. fix NPE

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

  81. WIP adding test but it doesn't work for a different reason

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

  82. Revert "break cycles by registering the object _before_ it is written" 

    This reverts commit 28175457f6786d36df3cbfada14e5b781347635b.
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    00f9a2f View commit details
    Browse the repository at this point in the history

  83. Revert "revert cycle detector" 

    This reverts commit be2e64d66f8b4def35a2bb5fea6197b70233b6a3.
    @radeusgd
    radeusgd committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    0f7158f View commit details
    Browse the repository at this point in the history

  84. name in cycle detector

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

  85. update test (weird?)

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

  86. remove old logs

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

  87. add missing branches, handle type application

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

  88. revert back to keeping Type in TypeObject

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

  89. remove now unused PackageRepo resolution logic

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

  90. WIP

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

  91. update tests

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

  92. javafmt

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

  93. update ()

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

  94. note

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

  95. make the logic less imperative

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

  96. investigating weird behaviour of imports in tests

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

  97. move tests to right place

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

  98. remove unnecessary debug print

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

  99. unify Any instantiate, special case for Function type

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

  100. case for polyglot symbol

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

  101. CR: rename NameResolution -> NameResolutionAlgorithm

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

  102. refactoring: modularize the inference logic

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

  103. update cache version number

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

  104. docs

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

  105. warn -> debug

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

  106. cleanup

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

  107. cleanup, docs

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

  108. fix a test

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

  109. javafmt

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

  110. scalafmt

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

  111. remove debug function

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

Commits on Apr 12, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	test/micro-distribution/lib/Standard/Base/0.0.0-dev/src/Main.enso
    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    50e76a1 View commit details
    Browse the repository at this point in the history

  2. CR: remove comment about warning

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    cc10f40 View commit details
    Browse the repository at this point in the history

  3. CR: rename --enable-type-check to --enable-static-analysis

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    9fccb7e View commit details
    Browse the repository at this point in the history

  4. CR: remove obsolete empty file

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    bfebf36 View commit details
    Browse the repository at this point in the history

  5. CR: make class final

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    5324692 View commit details
    Browse the repository at this point in the history

  6. CR

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    0a05d59 View commit details
    Browse the repository at this point in the history

  7. CR: follow up in renaming

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    5293919 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    66bd462 View commit details
    Browse the repository at this point in the history

  9. CR: TODO

    @radeusgd
    radeusgd committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    96f01ae View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. CR: docs

    @radeusgd
    radeusgd committed Apr 13, 2024
    4 Configuration menu
    Copy the full SHA
    474e186 View commit details
    Browse the repository at this point in the history

  2. more doc

    @radeusgd
    radeusgd committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    010dbfa View commit details
    Browse the repository at this point in the history

  3. more tests, fix a kind of false positive

    @radeusgd
    radeusgd committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    732e671 View commit details
    Browse the repository at this point in the history

  4. abstract away BindingsMap from TypeRepresentation in favor of AtomTyp… 

    …eInterface
    @radeusgd
    radeusgd committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    789d722 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    d804f58 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. CR: final

    @radeusgd
    radeusgd committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    b14f504 View commit details
    Browse the repository at this point in the history

  2. CR: remove Optional

    @radeusgd
    radeusgd committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    1040af8 View commit details
    Browse the repository at this point in the history

  3. javafmt

    @radeusgd
    radeusgd committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    70edb41 View commit details
    Browse the repository at this point in the history

  4. remove unused

    @radeusgd
    radeusgd committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    d00736a View commit details
    Browse the repository at this point in the history

  5. CR: avoid storing metadata for intermediate nodes

    @radeusgd
    radeusgd committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    d3bb4ea View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	engine/runtime-compiler/src/main/scala/org/enso/compiler/context/InlineContext.scala
#	engine/runtime-compiler/src/main/scala/org/enso/compiler/context/ModuleContext.scala
    @radeusgd
    radeusgd committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    351dc86 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    0df7b8c View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	engine/runner/src/main/scala/org/enso/runner/Main.scala
#	engine/runtime-compiler/src/main/scala/org/enso/compiler/data/BindingsMap.scala
#	engine/runtime-compiler/src/main/scala/org/enso/compiler/pass/analyse/BindingAnalysis.scala
#	engine/runtime-integration-tests/src/test/scala/org/enso/compiler/test/pass/analyse/BindingAnalysisTest.scala
    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    bd17b67 View commit details
    Browse the repository at this point in the history

  2. re-add removed static analysis CLI option after merge

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6c600ba View commit details
    Browse the repository at this point in the history

  3. fix moved ctor after merge

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    7f97cc5 View commit details
    Browse the repository at this point in the history

  4. suppress warning

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    3a71796 View commit details
    Browse the repository at this point in the history

  5. fix test after merge

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    94febc1 View commit details
    Browse the repository at this point in the history

  6. fmt after merge

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    ac6fafd View commit details
    Browse the repository at this point in the history

  7. fmt 2

    @radeusgd
    radeusgd committed May 2, 2024
    Configuration menu
    Copy the full SHA
    a8282e3 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	engine/runtime-integration-tests/src/test/java/org/enso/interpreter/test/BinaryDispatchTest.java
    @radeusgd
    radeusgd committed May 6, 2024
    Configuration menu
    Copy the full SHA
    2ef91da View commit details
    Browse the repository at this point in the history

  2. fix after merge

    @radeusgd
    radeusgd committed May 6, 2024
    Configuration menu
    Copy the full SHA
    74ba7cd View commit details
    Browse the repository at this point in the history

  3. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed May 6, 2024
    Configuration menu
    Copy the full SHA
    e7cd8b8 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed May 11, 2024
    Configuration menu
    Copy the full SHA
    d550285 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	lib/java/persistance/src/main/java/org/enso/persist/PerGenerator.java
    @radeusgd
    radeusgd committed May 23, 2024
    Configuration menu
    Copy the full SHA
    dff0b20 View commit details
    Browse the repository at this point in the history

  2. Persistance.Reference fails to serialize if stored in Option. Could b… 

    …e fixed, but instead we place it directly which is more efficient anyway.
    @radeusgd
    radeusgd committed May 23, 2024
    Configuration menu
    Copy the full SHA
    1a0462a View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. add test for storing NULL reference

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    d08f80a View commit details
    Browse the repository at this point in the history

  2. fix storing NULL references

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    caf213a View commit details
    Browse the repository at this point in the history

  3. add test for serializing a deserialized loop (it used to be failing)

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    4a7e358 View commit details
    Browse the repository at this point in the history

  4. try fixing by making the writer aware of the inner type of the Reference

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    b867051 View commit details
    Browse the repository at this point in the history

  5. simplify supertype search

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    86a08a4 View commit details
    Browse the repository at this point in the history

  6. Revert "try fixing by making the writer aware of the inner type of th… 

    …e Reference"

This reverts commit c4d0e72.
    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    db4ec13 View commit details
    Browse the repository at this point in the history

  7. store Persistance Ids next to references

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    6600f60 View commit details
    Browse the repository at this point in the history

  8. add debug info

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    d073c3d View commit details
    Browse the repository at this point in the history

  9. enable asserts in persistance tests

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    63f4e8a View commit details
    Browse the repository at this point in the history

  10. fix sizes after protocol update

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    4c7e444 View commit details
    Browse the repository at this point in the history

  11. rename for clarity

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    fb3f6ce View commit details
    Browse the repository at this point in the history

  12. introduce InlineReference

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    8376869 View commit details
    Browse the repository at this point in the history

  13. better error message

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    3d9bd75 View commit details
    Browse the repository at this point in the history

  14. move java List persistance to IrPersistance

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    57d98bf View commit details
    Browse the repository at this point in the history

  15. count InlineReferences instead of Sequences

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    ca1fd9d View commit details
    Browse the repository at this point in the history

  16. update test

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    6d68b8a View commit details
    Browse the repository at this point in the history

  17. ensure persistance of List and Seq is aligned

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    12e7cf3 View commit details
    Browse the repository at this point in the history

  18. cleanup after cherry pick

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    65adea6 View commit details
    Browse the repository at this point in the history

  19. update count at the right moment

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    f50063b View commit details
    Browse the repository at this point in the history

  20. cleanup

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    e74d7ea View commit details
    Browse the repository at this point in the history

  21. null

    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    1de43b1 View commit details
    Browse the repository at this point in the history

  22. Avoid storing unnecessary integer for NULL references, make the code … 

    …reading the reference table a bit clearer
    @radeusgd
    radeusgd committed May 27, 2024
    Configuration menu
    Copy the full SHA
    1a2b251 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/cycles-in-persist… 

    …ance-followup
    @radeusgd
    radeusgd committed May 28, 2024
    Configuration menu
    Copy the full SHA
    f0e9ffa View commit details
    Browse the repository at this point in the history

  2. Exposing just a single Persistance.Reference abstraction

    @JaroslavTulach
    JaroslavTulach committed May 28, 2024
    Configuration menu
    Copy the full SHA
    6e2ea8c View commit details
    Browse the repository at this point in the history

  3. Reference.of(obj, deferredWrite)

    @JaroslavTulach
    JaroslavTulach committed May 28, 2024
    Configuration menu
    Copy the full SHA
    c1c0a26 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Encapsulating Reference serde in PerReferencePeristance

    @JaroslavTulach
    JaroslavTulach committed May 29, 2024
    Configuration menu
    Copy the full SHA
    6a2409d View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Merge branch 'wip/jtulach/cycles-in-persistance-followup+' into wip/r… 

    …adeusgd/8590-prototype-type-inference-1

# Conflicts:
#	engine/runtime-parser/src/main/scala/org/enso/compiler/core/ir/Function.scala
#	lib/java/persistance/src/main/java/org/enso/persist/PerMap.java
    @radeusgd
    radeusgd committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    e22dd5c View commit details
    Browse the repository at this point in the history

  2. CHANGELOG.md

    @radeusgd
    radeusgd committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    0b2012b View commit details
    Browse the repository at this point in the history

  3. add missing persistance for TypeInference pass

    @radeusgd
    radeusgd committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    49a702d View commit details
    Browse the repository at this point in the history

  4. add test for persistance of type metadata

    @radeusgd
    radeusgd committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    514c6a9 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1

# Conflicts:
#	CHANGELOG.md
#	engine/runtime-integration-tests/src/test/java/org/enso/interpreter/test/TestBase.java
#	engine/runtime-parser/src/main/java/org/enso/compiler/core/ir/IrPersistance.java
#	engine/runtime-parser/src/main/scala/org/enso/compiler/core/ir/Function.scala
#	engine/runtime/src/main/scala/org/enso/interpreter/runtime/IrToTruffle.scala
#	lib/java/persistance/src/main/java/org/enso/persist/PerMap.java
    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    ba1b504 View commit details
    Browse the repository at this point in the history

  2. integrate back changes from #9914 after merge commit

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    414aeb8 View commit details
    Browse the repository at this point in the history

  3. yet another update after merge

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    8163e52 View commit details
    Browse the repository at this point in the history

  4. more fixes after merge

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    33c357c View commit details
    Browse the repository at this point in the history

  5. fixes

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    10f71e0 View commit details
    Browse the repository at this point in the history

  6. reintroduce defer write - was lost after merge...

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    1cd8421 View commit details
    Browse the repository at this point in the history

  7. formatting

    @radeusgd
    radeusgd committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    ae598de View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Merge branch 'refs/heads/develop' into wip/radeusgd/8590-prototype-ty… 

    …pe-inference-1
    @radeusgd
    radeusgd committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    caf025b View commit details
    Browse the repository at this point in the history

  2. cleanup tests between each case - to avoid one failure causing 10 more

    @radeusgd
    radeusgd committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    142a58d View commit details
    Browse the repository at this point in the history

  3. increase timeout on a failing test

    @radeusgd
    radeusgd committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    b958ec6 View commit details
    Browse the repository at this point in the history

  4. yet another bump

    @radeusgd
    radeusgd committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    f3d16a2 View commit details
    Browse the repository at this point in the history