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.

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

Implement tagged datatype semtypes in runtime #43259

Commits on Aug 9, 2024

  1. Configuration menu
    Copy the full SHA
    e53937a View commit details
    Browse the repository at this point in the history
  2. Port never type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    6e5778a View commit details
    Browse the repository at this point in the history
  3. Port nil type

    Avoid repeated type creation
    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    4fba4b0 View commit details
    Browse the repository at this point in the history
  4. Port Decimal type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1cb6259 View commit details
    Browse the repository at this point in the history
  5. Port float type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    b95ab4f View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    d4c1b44 View commit details
    Browse the repository at this point in the history
  7. Port int type

    Cache int singleton creation
    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    322c805 View commit details
    Browse the repository at this point in the history
  8. Port Boolean type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2d9e692 View commit details
    Browse the repository at this point in the history
  9. Port String type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    19ec3a4 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    24b3ca1 View commit details
    Browse the repository at this point in the history
  11. Add doc comments

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    850f047 View commit details
    Browse the repository at this point in the history
  12. Fix float equality

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a502bd9 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 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    85ab8c5 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    dac0565 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    0e38c60 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    0ab1450 View commit details
    Browse the repository at this point in the history
  17. Refactor type resolvers

    Fix doc comments
    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    19311f8 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    56ca5a4 View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    4594c96 View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    0d3518c View commit details
    Browse the repository at this point in the history
  21. Configuration menu
    Copy the full SHA
    8ca9f48 View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    6ebcc4e View commit details
    Browse the repository at this point in the history
  23. Configuration menu
    Copy the full SHA
    7b8deb7 View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    c46d083 View commit details
    Browse the repository at this point in the history
  25. Configuration menu
    Copy the full SHA
    cd50f8b View commit details
    Browse the repository at this point in the history
  26. Configuration menu
    Copy the full SHA
    4cb96c0 View commit details
    Browse the repository at this point in the history
  27. Configuration menu
    Copy the full SHA
    d866aac View commit details
    Browse the repository at this point in the history
  28. Configuration menu
    Copy the full SHA
    07b8079 View commit details
    Browse the repository at this point in the history
  29. Configuration menu
    Copy the full SHA
    584c79d View commit details
    Browse the repository at this point in the history
  30. Configuration menu
    Copy the full SHA
    9e2ae77 View commit details
    Browse the repository at this point in the history
  31. Configuration menu
    Copy the full SHA
    587bbf3 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 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    461e2b6 View commit details
    Browse the repository at this point in the history
  33. Configuration menu
    Copy the full SHA
    93768e9 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 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    b9ec05d View commit details
    Browse the repository at this point in the history
  35. Configuration menu
    Copy the full SHA
    2085beb View commit details
    Browse the repository at this point in the history
  36. Configuration menu
    Copy the full SHA
    80d6da7 View commit details
    Browse the repository at this point in the history
  37. Configuration menu
    Copy the full SHA
    768fef7 View commit details
    Browse the repository at this point in the history
  38. Configuration menu
    Copy the full SHA
    92c64fe View commit details
    Browse the repository at this point in the history
  39. Configuration menu
    Copy the full SHA
    1a9fe9a View commit details
    Browse the repository at this point in the history
  40. Configuration menu
    Copy the full SHA
    5170b04 View commit details
    Browse the repository at this point in the history
  41. Configuration menu
    Copy the full SHA
    2be64c3 View commit details
    Browse the repository at this point in the history
  42. Enable more tests

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    3f69bf8 View commit details
    Browse the repository at this point in the history
  43. Configuration menu
    Copy the full SHA
    87574f6 View commit details
    Browse the repository at this point in the history
  44. Configuration menu
    Copy the full SHA
    bb293a5 View commit details
    Browse the repository at this point in the history
  45. Configuration menu
    Copy the full SHA
    1b61f3f View commit details
    Browse the repository at this point in the history
  46. Configuration menu
    Copy the full SHA
    58b9c2d View commit details
    Browse the repository at this point in the history
  47. Configuration menu
    Copy the full SHA
    2a16329 View commit details
    Browse the repository at this point in the history
  48. Configuration menu
    Copy the full SHA
    f7a7246 View commit details
    Browse the repository at this point in the history
  49. Configuration menu
    Copy the full SHA
    17b3576 View commit details
    Browse the repository at this point in the history
  50. Configuration menu
    Copy the full SHA
    4d0bfe9 View commit details
    Browse the repository at this point in the history
  51. Configuration menu
    Copy the full SHA
    1387a84 View commit details
    Browse the repository at this point in the history
  52. 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 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    115e65e View commit details
    Browse the repository at this point in the history
  53. Configuration menu
    Copy the full SHA
    3c59a70 View commit details
    Browse the repository at this point in the history
  54. Configuration menu
    Copy the full SHA
    4259e21 View commit details
    Browse the repository at this point in the history
  55. Use shape with lists

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    eb11f91 View commit details
    Browse the repository at this point in the history
  56. Configuration menu
    Copy the full SHA
    62a8de0 View commit details
    Browse the repository at this point in the history
  57. Configuration menu
    Copy the full SHA
    3f770ca View commit details
    Browse the repository at this point in the history
  58. Configuration menu
    Copy the full SHA
    ce17d24 View commit details
    Browse the repository at this point in the history
  59. Configuration menu
    Copy the full SHA
    f53a1a2 View commit details
    Browse the repository at this point in the history
  60. Configuration menu
    Copy the full SHA
    da873cb View commit details
    Browse the repository at this point in the history
  61. Configuration menu
    Copy the full SHA
    d144b1a View commit details
    Browse the repository at this point in the history
  62. 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 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    0ef4fcd View commit details
    Browse the repository at this point in the history
  63. Configuration menu
    Copy the full SHA
    0b024c7 View commit details
    Browse the repository at this point in the history
  64. Configuration menu
    Copy the full SHA
    1465e55 View commit details
    Browse the repository at this point in the history
  65. Configuration menu
    Copy the full SHA
    88ec0ef View commit details
    Browse the repository at this point in the history
  66. Configuration menu
    Copy the full SHA
    4493b20 View commit details
    Browse the repository at this point in the history
  67. Configuration menu
    Copy the full SHA
    33176ef View commit details
    Browse the repository at this point in the history
  68. Configuration menu
    Copy the full SHA
    152ca7d View commit details
    Browse the repository at this point in the history
  69. Fix isolation flag

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    3066714 View commit details
    Browse the repository at this point in the history
  70. Configuration menu
    Copy the full SHA
    296c5f6 View commit details
    Browse the repository at this point in the history
  71. Configuration menu
    Copy the full SHA
    6fd3cb7 View commit details
    Browse the repository at this point in the history
  72. Configuration menu
    Copy the full SHA
    f1a3ceb View commit details
    Browse the repository at this point in the history
  73. Fix object readonly

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    63326e1 View commit details
    Browse the repository at this point in the history
  74. Fix stack trace type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    9414c67 View commit details
    Browse the repository at this point in the history
  75. Configuration menu
    Copy the full SHA
    3dbcb2e View commit details
    Browse the repository at this point in the history
  76. Configuration menu
    Copy the full SHA
    fab7e33 View commit details
    Browse the repository at this point in the history
  77. Fix record shape

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a695855 View commit details
    Browse the repository at this point in the history
  78. Configuration menu
    Copy the full SHA
    980080a View commit details
    Browse the repository at this point in the history
  79. Port error semtype

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2d89139 View commit details
    Browse the repository at this point in the history
  80. Configuration menu
    Copy the full SHA
    6b3f655 View commit details
    Browse the repository at this point in the history
  81. Configuration menu
    Copy the full SHA
    b5afc73 View commit details
    Browse the repository at this point in the history
  82. Configuration menu
    Copy the full SHA
    ec245aa View commit details
    Browse the repository at this point in the history
  83. Configuration menu
    Copy the full SHA
    ff5257a View commit details
    Browse the repository at this point in the history
  84. Configuration menu
    Copy the full SHA
    445b55a View commit details
    Browse the repository at this point in the history
  85. Port XML type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    9686ae1 View commit details
    Browse the repository at this point in the history
  86. Configuration menu
    Copy the full SHA
    a4181d4 View commit details
    Browse the repository at this point in the history
  87. Integrate XML type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    f3a9fd8 View commit details
    Browse the repository at this point in the history
  88. Fix unit tests

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a8eb6d3 View commit details
    Browse the repository at this point in the history
  89. Configuration menu
    Copy the full SHA
    b51340a View commit details
    Browse the repository at this point in the history
  90. Configuration menu
    Copy the full SHA
    e3faec1 View commit details
    Browse the repository at this point in the history
  91. Configuration menu
    Copy the full SHA
    f2e92fc View commit details
    Browse the repository at this point in the history
  92. Configuration menu
    Copy the full SHA
    c19c7f3 View commit details
    Browse the repository at this point in the history
  93. Configuration menu
    Copy the full SHA
    6f9fe09 View commit details
    Browse the repository at this point in the history
  94. Configuration menu
    Copy the full SHA
    4a8d6f2 View commit details
    Browse the repository at this point in the history
  95. Configuration menu
    Copy the full SHA
    d4f665d View commit details
    Browse the repository at this point in the history
  96. Configuration menu
    Copy the full SHA
    45b6482 View commit details
    Browse the repository at this point in the history
  97. Configuration menu
    Copy the full SHA
    339655b View commit details
    Browse the repository at this point in the history
  98. Configuration menu
    Copy the full SHA
    7e6e80f View commit details
    Browse the repository at this point in the history
  99. Configuration menu
    Copy the full SHA
    4fe206f View commit details
    Browse the repository at this point in the history
  100. Configuration menu
    Copy the full SHA
    3b5186d View commit details
    Browse the repository at this point in the history
  101. Configuration menu
    Copy the full SHA
    7640f6f View commit details
    Browse the repository at this point in the history
  102. Configuration menu
    Copy the full SHA
    65ff9ee View commit details
    Browse the repository at this point in the history
  103. Configuration menu
    Copy the full SHA
    b4245af View commit details
    Browse the repository at this point in the history
  104. Configuration menu
    Copy the full SHA
    483af3e View commit details
    Browse the repository at this point in the history
  105. Port future type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    f52cea4 View commit details
    Browse the repository at this point in the history
  106. Configuration menu
    Copy the full SHA
    3b0a312 View commit details
    Browse the repository at this point in the history
  107. Add regex type code

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    c8b290e View commit details
    Browse the repository at this point in the history
  108. Implement regex type

    heshanpadmasiri committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    5f00c19 View commit details
    Browse the repository at this point in the history
  109. Configuration menu
    Copy the full SHA
    fbfa901 View commit details
    Browse the repository at this point in the history