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

Hxb #11266

Closed
wants to merge 83 commits into from
Closed

Hxb #11266

wants to merge 83 commits into from

Commits on Nov 30, 2023

  1. 2023

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    13d45de View commit details
    Browse the repository at this point in the history

  2. Revive hxb output

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    715bfd0 View commit details
    Browse the repository at this point in the history

  3. [hxb] POC loader; currently chokes on Any, StdTypes, ArrayKeyValueIte… 

    …rator
    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9333288 View commit details
    Browse the repository at this point in the history

  4. [hxb] use Meta.from_string to avoid double colon

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4353f45 View commit details
    Browse the repository at this point in the history

  5. [hxb] improve loading

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    aa1d262 View commit details
    Browse the repository at this point in the history

  6. [hxb] simplify logging

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5492a8b View commit details
    Browse the repository at this point in the history

  7. WIP don't push

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    88aeeae View commit details
    Browse the repository at this point in the history

  8. WIP don't push

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    19e6922 View commit details
    Browse the repository at this point in the history

  9. Progress

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5e0b9db View commit details
    Browse the repository at this point in the history

  10. WIP

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7c96d88 View commit details
    Browse the repository at this point in the history

  11. WIP - fields not working yet

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    af45dbe View commit details
    Browse the repository at this point in the history

  12. WIP - typedef path issue

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4ec4653 View commit details
    Browse the repository at this point in the history

  13. Save current state before reworking type/field refs

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9bf1577 View commit details
    Browse the repository at this point in the history

  14. [hxb] fix a_status tdefs, implement enum fields, improve debug printing

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c51f438 View commit details
    Browse the repository at this point in the history

  15. [hxb] read TTry

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    bbddcf7 View commit details
    Browse the repository at this point in the history

  16. clean up a bit

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b61a098 View commit details
    Browse the repository at this point in the history

  17. [hxb] fix TCast(e,Some md)

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7119bbb View commit details
    Browse the repository at this point in the history

  18. [hxb] reenable doc

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2394c1b View commit details
    Browse the repository at this point in the history

  19. [hxb] write hxb before filters to keep extern fields

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    3bdf46a View commit details
    Browse the repository at this point in the history

  20. [hxb] more cleanup / debug data

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    3db71a3 View commit details
    Browse the repository at this point in the history

  21. [hxb] anons / anon fields mostly working 

    Still need to make sure all needed references are gathered before
    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    6908387 View commit details
    Browse the repository at this point in the history

  22. [hxb] read/write for expr and various TODOs

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    6645fe4 View commit details
    Browse the repository at this point in the history

  23. [hxb] load hxb files from -bcp arg

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    cc21cac View commit details
    Browse the repository at this point in the history

  24. [hxb] fix unops

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4648fa3 View commit details
    Browse the repository at this point in the history

  25. [hxb] fix anon field reading

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9655a2d View commit details
    Browse the repository at this point in the history

  26. [hxb] write on after_save callback

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c788709 View commit details
    Browse the repository at this point in the history

  27. [hxb] modules should be considered as cached

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    dba0498 View commit details
    Browse the repository at this point in the history

  28. [hxb] fix enum.e_type

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d7c93b4 View commit details
    Browse the repository at this point in the history

  29. [hxb] write/read cl_init too

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8ac7607 View commit details
    Browse the repository at this point in the history

  30. [hxb] separate hxb output from json/xml output to run them at differe… 

    …nt times
    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    a11f7c9 View commit details
    Browse the repository at this point in the history

  31. [hxb] cleanup

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d6fd491 View commit details
    Browse the repository at this point in the history

  32. remove unused null_tvar

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b7a5182 View commit details
    Browse the repository at this point in the history

  33. [hxb] handle more type parameter cases 

    Note: still fails with some @:generic cases for example
    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2ddc8ff View commit details
    Browse the repository at this point in the history

  34. [hxb] restore function tvoid optimization

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    a8f0d70 View commit details
    Browse the repository at this point in the history

  35. [hxb] export/load macro context too

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    117fce1 View commit details
    Browse the repository at this point in the history

  36. [tests] disable tests failing with hxb

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7dfdc97 View commit details
    Browse the repository at this point in the history

  37. [hxb] temp fix (import has not working currently)

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0fb02fe View commit details
    Browse the repository at this point in the history

  38. [hxb] generate for MFake modules too

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    434266f View commit details
    Browse the repository at this point in the history

  39. [tests] enable more tests

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    23e0d42 View commit details
    Browse the repository at this point in the history

  40. [hxb] module level fields

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    827dfb8 View commit details
    Browse the repository at this point in the history

  41. [tests] reenable some module level fields tests

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    70b2fce View commit details
    Browse the repository at this point in the history

  42. [hxb] unit tests hxml files

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    26d6760 View commit details
    Browse the repository at this point in the history

  43. [hxb] don't abort on unbound type parameters

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f9067d6 View commit details
    Browse the repository at this point in the history

  44. run hxb tests only for now

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4df537a View commit details
    Browse the repository at this point in the history

  45. less CI things

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9f70eb4 View commit details
    Browse the repository at this point in the history

  46. [hxb] clean abstract fields a bit

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8f3d276 View commit details
    Browse the repository at this point in the history

  47. [ci] less stuff on mac

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    af3d26c View commit details
    Browse the repository at this point in the history

  48. [hxb] clean field ref reading

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    26d7593 View commit details
    Browse the repository at this point in the history

  49. start working on local type parameters

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    018be4e View commit details
    Browse the repository at this point in the history

  50. handle local type parameters differently

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8f12268 View commit details
    Browse the repository at this point in the history

  51. [awkward] deal with new TypeParam

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    fb658e7 View commit details
    Browse the repository at this point in the history

  52. [hxb] catch not found errors

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    a5ce741 View commit details
    Browse the repository at this point in the history

  53. [tests] restore some tests

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    325bc4c View commit details
    Browse the repository at this point in the history

  54. [tests] update disabled tests

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    43c2b30 View commit details
    Browse the repository at this point in the history

  55. [tests] restore more tests

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7cdbab3 View commit details
    Browse the repository at this point in the history

  56. [hxb] naive resolution of KExpr

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    033e4b4 View commit details
    Browse the repository at this point in the history

  57. [hxb] @:const type parameters

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    3b7f13c View commit details
    Browse the repository at this point in the history

  58. [hxb] fix CTIntersection

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    902fef6 View commit details
    Browse the repository at this point in the history

  59. [hxb] fix gadt

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f467a5d View commit details
    Browse the repository at this point in the history

  60. [tests] restore TestMain

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2d902b5 View commit details
    Browse the repository at this point in the history

  61. keep module as instance variable

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    768693a View commit details
    Browse the repository at this point in the history

  62. actually handle local type parameters locally

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5576e20 View commit details
    Browse the repository at this point in the history

  63. [hxb] adjust debug, work on unbound type params

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    3c6c0b4 View commit details
    Browse the repository at this point in the history

  64. adjust to development changes

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    fcac54c View commit details
    Browse the repository at this point in the history

  65. [hxb] carry local params in anons

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    aeaf67b View commit details
    Browse the repository at this point in the history

  66. Revert "[hxb] carry local params in anons" 

    This reverts commit 71678b2.
    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8644990 View commit details
    Browse the repository at this point in the history

  67. [hxb] only write annd once

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    529936c View commit details
    Browse the repository at this point in the history

  68. [hxb] no idea what that thing was there for

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2605908 View commit details
    Browse the repository at this point in the history

  69. forward declare all local type parameters

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    ab9a260 View commit details
    Browse the repository at this point in the history

  70. use identity pool for anon fields too

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4c01062 View commit details
    Browse the repository at this point in the history

  71. make class field handling less clunky

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0097fda View commit details
    Browse the repository at this point in the history

  72. remove ANFR and ANFD, encode FAnon fields immediately

    @Simn @kLabz
    Simn authored and kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f3b8812 View commit details
    Browse the repository at this point in the history

  73. [hxb] write/read overloads too

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5ca4865 View commit details
    Browse the repository at this point in the history

  74. [ci] enable CI, disable tests that do not apply any more

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    16ddf14 View commit details
    Browse the repository at this point in the history

  75. [hxb] writer: avoid side effects on TAnon fields type

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    e081b26 View commit details
    Browse the repository at this point in the history

  76. [hxb] restore base hxb

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    43d09fe View commit details
    Browse the repository at this point in the history

  77. Avoid stack overflow

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b2cc9ef View commit details
    Browse the repository at this point in the history

  78. Revert some changes

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    cce7fac View commit details
    Browse the repository at this point in the history

  79. [tests] disable @:generic + @:const test for now

    @kLabz
    kLabz committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    fb8d2cf View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. [hxb] tanon changes, debug, prepare for server

    @kLabz
    kLabz committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    dc3dac7 View commit details
    Browse the repository at this point in the history

  2. [hxb] generate hxb on after_save callback

    @kLabz
    kLabz committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    26b9003 View commit details
    Browse the repository at this point in the history

  3. [hxb] anons and type parameters

    @kLabz
    kLabz committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    9481308 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. [hxb] make tanon_identification.identify strict only for hxb

    @kLabz
    kLabz committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    23b257e View commit details
    Browse the repository at this point in the history