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

Implement runtime type checker on SemTypes #43279

Open
wants to merge 184 commits into
base: nutcracker
Choose a base branch
from
Open

Implement runtime type checker on SemTypes #43279

wants to merge 184 commits into from

Commits on Nov 13, 2024

  1. Implement scaffolding

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    097339c View commit details
    Browse the repository at this point in the history

  2. Port never type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9cf7a4e View commit details
    Browse the repository at this point in the history

  3. Port nil type 

    Avoid repeated type creation
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b2db89b View commit details
    Browse the repository at this point in the history

  4. Port Decimal type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    34dffce View commit details
    Browse the repository at this point in the history

  5. Port float type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e7a09c8 View commit details
    Browse the repository at this point in the history

  6. Refactor caches to use DATs

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b1a2aa2 View commit details
    Browse the repository at this point in the history

  7. Port int type 

    Cache int singleton creation
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0f9f08d View commit details
    Browse the repository at this point in the history

  8. Port Boolean type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    959d2db View commit details
    Browse the repository at this point in the history

  9. Port String type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    832c452 View commit details
    Browse the repository at this point in the history

  10. Refactor SemType implementation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9534c76 View commit details
    Browse the repository at this point in the history

  11. Add doc comments

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e9ec6c6 View commit details
    Browse the repository at this point in the history

  12. Fix float equality

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    459294c View commit details
    Browse the repository at this point in the history

  13. Refactor type tests 

    Use new api in CompilerTypeTestApi

Extract out the which semtype implementation used for tests

Implement semtype tests
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    40aa6c2 View commit details
    Browse the repository at this point in the history

  14. Add runtime type tests provider

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c6d3918 View commit details
    Browse the repository at this point in the history

  15. Add more basic type tests

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ae92a67 View commit details
    Browse the repository at this point in the history

  16. Fix compile time type bugs

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c010be8 View commit details
    Browse the repository at this point in the history

  17. Refactor type resolvers 

    Fix doc comments
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    18cae23 View commit details
    Browse the repository at this point in the history

  18. Add runtime type tests provider

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    bfc70b0 View commit details
    Browse the repository at this point in the history

  19. Make it possible to create cell type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b7a6705 View commit details
    Browse the repository at this point in the history

  20. Implement bdd operations

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9e1eea6 View commit details
    Browse the repository at this point in the history

  21. Introduce cell delegate

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    98d5d6c View commit details
    Browse the repository at this point in the history

  22. Implement cell subtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b47db75 View commit details
    Browse the repository at this point in the history

  23. Cache cell type creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e89a244 View commit details
    Browse the repository at this point in the history

  24. Use read write locks for atom table

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0814816 View commit details
    Browse the repository at this point in the history

  25. Add JDoc comments to new classes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    dfce5c6 View commit details
    Browse the repository at this point in the history

  26. Add minimum implementation to create list types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    dab1ed5 View commit details
    Browse the repository at this point in the history

  27. Implemented list type projection

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0195bae View commit details
    Browse the repository at this point in the history

  28. Implement list semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    eaa2b11 View commit details
    Browse the repository at this point in the history

  29. Refactor list projection

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    989925a View commit details
    Browse the repository at this point in the history

  30. Ennable list type tests

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    458b830 View commit details
    Browse the repository at this point in the history

  31. Make context thread safe

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ba7a3e7 View commit details
    Browse the repository at this point in the history

  32. Optimize TypeChecker:basicType 

    Avoid doing a `instanceOf` on a abstract type (which trigger a full type
check) and instead use a virtual function that create the basic type
which should be cheaper
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0fc837b View commit details
    Browse the repository at this point in the history

  33. Port list subtype improvements

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    53239af View commit details
    Browse the repository at this point in the history

  34. Fix hash and equals for semtypes 

    Memoization depends on hash and equals. Otherwise we create duplicate memos for equal types
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    113396f View commit details
    Browse the repository at this point in the history

  35. Cache type check results

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fe8173a View commit details
    Browse the repository at this point in the history

  36. Reduce the cost of Objects.hash

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    92d0fb3 View commit details
    Browse the repository at this point in the history

  37. Reduce type check cache overhead

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3d70cec View commit details
    Browse the repository at this point in the history

  38. Implement MappingDefinition

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7ede1c5 View commit details
    Browse the repository at this point in the history

  39. Implement mapping subtype empty

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7d3a7cb View commit details
    Browse the repository at this point in the history

  40. Enable semtype tests expect projections for mappings

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    066ac46 View commit details
    Browse the repository at this point in the history

  41. Fix illegal modification of mapping atomic type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    168cd06 View commit details
    Browse the repository at this point in the history

  42. Enable more tests

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    47cf2e2 View commit details
    Browse the repository at this point in the history

  43. Implement mapping type projection 

    WIP: Make Mapping BTypes use semtypes
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    be86ded View commit details
    Browse the repository at this point in the history

  44. Implement singleton types for BMaps

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    208c564 View commit details
    Browse the repository at this point in the history

  45. Fix cyclic recursive type problem

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    bb5866a View commit details
    Browse the repository at this point in the history

  46. Fix never type not being set correctly for records 

    Fix initialization bug

WIP: add hack to make never? on the positive side work
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    59ed313 View commit details
    Browse the repository at this point in the history

  47. Make type creation synchronized for definition based types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    2ffed03 View commit details
    Browse the repository at this point in the history

  48. Extend mapping type projection to support getting cell type of field

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    abe3118 View commit details
    Browse the repository at this point in the history

  49. Refactor type checker with "widenedType" 

    Widened type for basic types is the basic type where as for other types it is contextually expected type (not the actual shape of the value). This is to avoid the overhead of having to create singleton types for each basic type value
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    2c0e0d0 View commit details
    Browse the repository at this point in the history

  50. Refactor shape calculation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e3230b4 View commit details
    Browse the repository at this point in the history

  51. Type with shape for mappings

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0c521f2 View commit details
    Browse the repository at this point in the history

  52. Use shape with lists

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    92175a4 View commit details
    Browse the repository at this point in the history

  53. Fix type checker not using shape correctly

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4305c98 View commit details
    Browse the repository at this point in the history

  54. Fixed optional fields not been handled correctly in shape

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    6c54854 View commit details
    Browse the repository at this point in the history

  55. Fixed readonly values not being handled correctly

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5ebd047 View commit details
    Browse the repository at this point in the history

  56. Fix synchronizing bug

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7b30b5a View commit details
    Browse the repository at this point in the history

  57. Implement caching for shape of map

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9e8d535 View commit details
    Browse the repository at this point in the history

  58. Fix expected error message 

    Fix runtime type clash

Due to reasons that are not entierly clear to me when we run all the
unit tests some how types from `record_project_closed_rec_equiv` to
clashed with types defined in other unit tests. As a temperary
workaround I introduced a new package name for this.
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    48250e0 View commit details
    Browse the repository at this point in the history

  59. Refactor MappingAtomicType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7ada301 View commit details
    Browse the repository at this point in the history

  60. Fix cyclic typing issue

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    eb7cc68 View commit details
    Browse the repository at this point in the history

  61. Switch to non sparse array to represent SubTypeData

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    16ad1d7 View commit details
    Browse the repository at this point in the history

  62. Refact: introduce explicit empty class for TypeCheckCache

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cb7b7b8 View commit details
    Browse the repository at this point in the history

  63. Implement function semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ac258d8 View commit details
    Browse the repository at this point in the history

  64. Implement object semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    22b5406 View commit details
    Browse the repository at this point in the history

  65. Fix record shape

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    819ee35 View commit details
    Browse the repository at this point in the history

  66. Implement error semtype 

    Impelement xml semtype
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d7fcd53 View commit details
    Browse the repository at this point in the history

  67. Fix unit tests

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c5fde6f View commit details
    Browse the repository at this point in the history

  68. Add workaround to value converter

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    dd9b2f5 View commit details
    Browse the repository at this point in the history

  69. Use lazy containers to xml types in Builder

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ca09ab1 View commit details
    Browse the repository at this point in the history

  70. Use lazy suppliers for PredefinedEnv 

    WIP
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f22e277 View commit details
    Browse the repository at this point in the history

  71. Rename Lazy containers to lazy suppliers

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9b06982 View commit details
    Browse the repository at this point in the history

  72. Simplify context supplying

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    04720bc View commit details
    Browse the repository at this point in the history

  73. More lazy initialization in predefined env

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    eceed00 View commit details
    Browse the repository at this point in the history

  74. Get rid of unwanted private methods and rearrange the code

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    34f5ca3 View commit details
    Browse the repository at this point in the history

  75. Impmlement handle semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f5f3a3d View commit details
    Browse the repository at this point in the history

  76. Cleanup BSemTypeWrapper

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    005abb4 View commit details
    Browse the repository at this point in the history

  77. Re-ennable type check cache 

    Fix checkstyle violations
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    66c3112 View commit details
    Browse the repository at this point in the history

  78. Encapsulate access to all and some

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0247780 View commit details
    Browse the repository at this point in the history

  79. Refactor the semtype class hierachy

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    62851cd View commit details
    Browse the repository at this point in the history

  80. Move immutable semtype class to internals

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a0d1e73 View commit details
    Browse the repository at this point in the history

  81. Make BTypes proper semtypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fac9ebf View commit details
    Browse the repository at this point in the history

  82. Patch unit tests with clashing type names

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b0f5e15 View commit details
    Browse the repository at this point in the history

  83. Implement future semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    35acfa7 View commit details
    Browse the repository at this point in the history

  84. Implement regex type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d09d3bb View commit details
    Browse the repository at this point in the history

  85. Implement typedesc semtype

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    533de93 View commit details
    Browse the repository at this point in the history

  86. Implement table and stream types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    68cbc8c View commit details
    Browse the repository at this point in the history

  87. Remove fallback type checker from type checking

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b1a42ff View commit details
    Browse the repository at this point in the history

  88. Implement isSimpleBasicType with SemTypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    8786e38 View commit details
    Browse the repository at this point in the history

  89. Implement isReferenceEqual with semtypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f2134a2 View commit details
    Browse the repository at this point in the history

  90. Re ennable type result caching

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c7dc8b6 View commit details
    Browse the repository at this point in the history

  91. Implement value conversion

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4a56a08 View commit details
    Browse the repository at this point in the history

  92. Remove fallback type checker

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5af937d View commit details
    Browse the repository at this point in the history

  93. Make semtype part of the top type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e59b0d8 View commit details
    Browse the repository at this point in the history

  94. Refactor isSameType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    aed5c11 View commit details
    Browse the repository at this point in the history

  95. Optimize convertible type for int subtypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0c7fb62 View commit details
    Browse the repository at this point in the history

  96. Introduce SimpleBdd

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    aee61da View commit details
    Browse the repository at this point in the history

  97. Move MutableSemTypeDependencyManager to internal

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    05ec842 View commit details
    Browse the repository at this point in the history

  98. Make any and readonly types immutable semtypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9dea0e0 View commit details
    Browse the repository at this point in the history

  99. Lazy initialize inner BTypes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9763bba View commit details
    Browse the repository at this point in the history

  100. Cache cell atom creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a586cbe View commit details
    Browse the repository at this point in the history

  101. Optimize mapping subtype check

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9a90f6c View commit details
    Browse the repository at this point in the history

  102. Use semtypes for valuesEquals

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    603ebb6 View commit details
    Browse the repository at this point in the history

  103. Use semtypes for casting

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    6355d7e View commit details
    Browse the repository at this point in the history

  104. Refact shapeOf to support inlining

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    2d55c66 View commit details
    Browse the repository at this point in the history

  105. Refactor memoSubtypeIsEmpty to make it inline

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0bccb02 View commit details
    Browse the repository at this point in the history

  106. Fix thread safty issue in createSemType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9f9d388 View commit details
    Browse the repository at this point in the history

  107. Cache BType results as well

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e2be918 View commit details
    Browse the repository at this point in the history

  108. Only hold weak references in the mutable semtype dependency manager

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    82f3449 View commit details
    Browse the repository at this point in the history

  109. Make all context memo tables weak hash maps

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a2e6f3f View commit details
    Browse the repository at this point in the history

  110. Make atom table hold only weak references

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    31763e3 View commit details
    Browse the repository at this point in the history

  111. Cache repeated semtype creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0c0deea View commit details
    Browse the repository at this point in the history

  112. Introduce simplified cell subtype 

    Cache BddNode for simple cell types

Avoid unnecessarily creating Bdds with simple cells
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    79d606b View commit details
    Browse the repository at this point in the history

  113. Avoid caching cell semtypes for complex types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5287276 View commit details
    Browse the repository at this point in the history

  114. Avoid unnecessarily checking for shape

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5339803 View commit details
    Browse the repository at this point in the history

  115. Cache type check results for user defined types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fb276a7 View commit details
    Browse the repository at this point in the history

  116. Cache runtime type creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3130b08 View commit details
    Browse the repository at this point in the history

  117. Remove unwanted caching logic

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    8a33ddc View commit details
    Browse the repository at this point in the history

  118. Cleanup access to context

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    25a991e View commit details
    Browse the repository at this point in the history

  119. Refactor anydata type creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fdefdd2 View commit details
    Browse the repository at this point in the history

  120. Use a simple weak map for dependency manager

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4088a2c View commit details
    Browse the repository at this point in the history

  121. Introduce copy of write BMapType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    12752be View commit details
    Browse the repository at this point in the history

  122. Simplify getType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    116e8bf View commit details
    Browse the repository at this point in the history

  123. Remove unwanted optimizations

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    1d91972 View commit details
    Browse the repository at this point in the history

  124. Fix result caching for futures

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4dd5a72 View commit details
    Browse the repository at this point in the history

  125. Fix Union type not getting reset correctly

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cc7397f View commit details
    Browse the repository at this point in the history

  126. Reduce the overhead for calculating couldShapeBeDifferent

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3b8df80 View commit details
    Browse the repository at this point in the history

  127. Be lazy about calculating the flags of tuple types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3984263 View commit details
    Browse the repository at this point in the history

  128. Be lazy when creating the semtype result cache

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e730d4d View commit details
    Browse the repository at this point in the history

  129. Get rid of the stream when filtering nulls

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5de9739 View commit details
    Browse the repository at this point in the history

  130. Use concurrent lazy suppliers for BSemTypeWrappers

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    49ccc58 View commit details
    Browse the repository at this point in the history

  131. Reduce contention in dependency manager

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    20bd88a View commit details
    Browse the repository at this point in the history

  132. Fix runtime semtype resolver

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d0003ac View commit details
    Browse the repository at this point in the history

  133. Fix BFunction Equal 

    Also fix more unit tests with clashing type names
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    758b8e4 View commit details
    Browse the repository at this point in the history

  134. Add workarounds to make libraries compile 

    Fix NPE
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0976c0c View commit details
    Browse the repository at this point in the history

  135. Better caching of the type creator

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    b314499 View commit details
    Browse the repository at this point in the history

  136. Make shape calculation thread safe

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7542bd2 View commit details
    Browse the repository at this point in the history

  137. Add workaround to handle cyclic shapes

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ad1a356 View commit details
    Browse the repository at this point in the history

  138. Add default implementations to make TestUtils work

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ef853cf View commit details
    Browse the repository at this point in the history

  139. Fix type casts in Intersection type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    16ec397 View commit details
    Browse the repository at this point in the history

  140. Fix error equals

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    55689c6 View commit details
    Browse the repository at this point in the history

  141. Add workaround to make SQL work 

    Fix check style violations
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    45c86f9 View commit details
    Browse the repository at this point in the history

  142. Patch runtime resolver to handle dependtly typed func

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d039bc3 View commit details
    Browse the repository at this point in the history

  143. Fix runtime test errors 

    Fix error messages
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    43d0eed View commit details
    Browse the repository at this point in the history

  144. Change synchronization of atom table

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fd30867 View commit details
    Browse the repository at this point in the history

  145. Remove BasicTypeBitSet

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4e82632 View commit details
    Browse the repository at this point in the history

  146. Restructure semtype structure

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    4387dd1 View commit details
    Browse the repository at this point in the history

  147. Make tag directly accesible

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    8ce32d6 View commit details
    Browse the repository at this point in the history

  148. Avoid creating BType when trying to calculate hash and equal for wrapper

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    fc6e63b View commit details
    Browse the repository at this point in the history

  149. Use result caching with all semtypes 

    Fix check style violations
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f4efb4a View commit details
    Browse the repository at this point in the history

  150. Add fast path to hasFillerValue

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0295494 View commit details
    Browse the repository at this point in the history

  151. Refactor workarounds to isSubType

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    8ff8067 View commit details
    Browse the repository at this point in the history

  152. Remove MutableSemTypeDependencyManager

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cc47bb2 View commit details
    Browse the repository at this point in the history

  153. Get rid of BType basic type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    35306e9 View commit details
    Browse the repository at this point in the history

  154. Refactor shape anlayzer

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    803207f View commit details
    Browse the repository at this point in the history

  155. Avoid creating the inner BType with BSemTypeWrapper when possible

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cb1c502 View commit details
    Browse the repository at this point in the history

  156. Fix failing windows errors 

    Remove unwanted changes
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    6a27f3c View commit details
    Browse the repository at this point in the history

  157. Fix string shape calculation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    214af52 View commit details
    Browse the repository at this point in the history

  158. Avoid result caching for basic types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    998d182 View commit details
    Browse the repository at this point in the history

  159. Avoid unnecessarily calculating inherent type

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d64ae55 View commit details
    Browse the repository at this point in the history

  160. Avoid unnecessarily creating singleton types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e90ede8 View commit details
    Browse the repository at this point in the history

  161. Refactor atoms

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7d24091 View commit details
    Browse the repository at this point in the history

  162. Refactor shape calculation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    d46d0c4 View commit details
    Browse the repository at this point in the history

  163. Get rid of unwanted sychronizations

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ed4e81c View commit details
    Browse the repository at this point in the history

  164. Move BddMemo to inner

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f4d69c0 View commit details
    Browse the repository at this point in the history

  165. Use accepted type for is likeShape

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7c03362 View commit details
    Browse the repository at this point in the history

  166. Introduce wrapper for bddEvery

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cd09f5a View commit details
    Browse the repository at this point in the history

  167. Move mutable semtype to inner

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a721e1c View commit details
    Browse the repository at this point in the history

  168. Refactor method names

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    527881a View commit details
    Browse the repository at this point in the history

  169. Use holder classes to avoid initialization costs in TypeChecker

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    275e859 View commit details
    Browse the repository at this point in the history

  170. Fix invalid accepted type for union and tables

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    944a0f1 View commit details
    Browse the repository at this point in the history

  171. Refactor type check caching 

    We move the type check cache out of SemType to avoid unnecessary type
resolutions
    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    10ad007 View commit details
    Browse the repository at this point in the history

  172. Make cache sharable between type descriptors

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a2073d5 View commit details
    Browse the repository at this point in the history

  173. Avoid necessary caching in TypeCreator

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ca4370c View commit details
    Browse the repository at this point in the history

  174. Avoid duplicate record type creation

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    17ba22f View commit details
    Browse the repository at this point in the history

  175. Fix narrow type getting cached invalidly

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    81b1066 View commit details
    Browse the repository at this point in the history

  176. Fix tests with duplicate type definitions

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ce078ab View commit details
    Browse the repository at this point in the history

  177. Fix comments and naming

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    c8510e0 View commit details
    Browse the repository at this point in the history

  178. Fix Dependently typed functions

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9245f6a View commit details
    Browse the repository at this point in the history

  179. Fix caching of annon types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3219b20 View commit details
    Browse the repository at this point in the history

  180. Avoid unnecessary locking

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    5c2b0fa View commit details
    Browse the repository at this point in the history

  181. Refactor synchronization logic

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7c16cf4 View commit details
    Browse the repository at this point in the history

  182. Fix future equals

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e531dc7 View commit details
    Browse the repository at this point in the history

  183. Avoid caching for anon types

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    aaab80e View commit details
    Browse the repository at this point in the history

  184. Use DefinitionContainer to maintain concurrentcy invariants

    @heshanpadmasiri
    heshanpadmasiri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    16e830d View commit details
    Browse the repository at this point in the history