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

Additions to the module Seq #10583

Merged
merged 56 commits into from
Nov 2, 2021
Merged

Additions to the module Seq #10583

merged 56 commits into from
Nov 2, 2021

Commits on Nov 2, 2021

  1. Configuration menu
    Copy the full SHA
    fe036e6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e3d1420 View commit details
    Browse the repository at this point in the history
  3. Add many new functions in Seq.

    Seq now depends on Either and on Lazy,
    which itself depends on Sys and Obj.
    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    4946c71 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1e229e9 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    904f4f2 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    9094c88 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    6fbf7ba View commit details
    Browse the repository at this point in the history
  8. some post-review fixes

    c-cube authored and fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    9b50b2b View commit details
    Browse the repository at this point in the history
  9. rename dispatch into partition_either

    c-cube authored and fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    51cf044 View commit details
    Browse the repository at this point in the history
  10. update changelog

    c-cube authored and fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    df1a456 View commit details
    Browse the repository at this point in the history
  11. modifications from reviews

    c-cube authored and fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    a33b927 View commit details
    Browse the repository at this point in the history
  12. remove ap

    c-cube authored and fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    0d84b04 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    7e75e85 View commit details
    Browse the repository at this point in the history
  14. Stray whitespace.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    5578fbc View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    edb8cd7 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    1ddbaaf View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    1ed8f82 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    5d5d73e View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    012c38e View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    8846b1f View commit details
    Browse the repository at this point in the history
  21. Configuration menu
    Copy the full SHA
    ac88d15 View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    b5fd396 View commit details
    Browse the repository at this point in the history
  23. Configuration menu
    Copy the full SHA
    76e982e View commit details
    Browse the repository at this point in the history
  24. Configuration menu
    Copy the full SHA
    400e00a View commit details
    Browse the repository at this point in the history
  25. Configuration menu
    Copy the full SHA
    bb909c4 View commit details
    Browse the repository at this point in the history
  26. Configuration menu
    Copy the full SHA
    9570433 View commit details
    Browse the repository at this point in the history
  27. Configuration menu
    Copy the full SHA
    976c36f View commit details
    Browse the repository at this point in the history
  28. Configuration menu
    Copy the full SHA
    17e3bf8 View commit details
    Browse the repository at this point in the history
  29. Seq: implement [once] using [Atomic.exchange].

    This way, [once] works also in a multi-threaded setting.
    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    dd5fa7d View commit details
    Browse the repository at this point in the history
  30. Configuration menu
    Copy the full SHA
    fe95d29 View commit details
    Browse the repository at this point in the history
  31. Configuration menu
    Copy the full SHA
    dafdf25 View commit details
    Browse the repository at this point in the history
  32. Seq: fix a comment.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    07e9b4e View commit details
    Browse the repository at this point in the history
  33. Configuration menu
    Copy the full SHA
    42e15c8 View commit details
    Browse the repository at this point in the history
  34. Update stdlib/.depend.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    91f6479 View commit details
    Browse the repository at this point in the history
  35. Configuration menu
    Copy the full SHA
    9e4a967 View commit details
    Browse the repository at this point in the history
  36. Configuration menu
    Copy the full SHA
    51f130f View commit details
    Browse the repository at this point in the history
  37. Configuration menu
    Copy the full SHA
    a784873 View commit details
    Browse the repository at this point in the history
  38. Configuration menu
    Copy the full SHA
    3344a40 View commit details
    Browse the repository at this point in the history
  39. Configuration menu
    Copy the full SHA
    938a2a0 View commit details
    Browse the repository at this point in the history
  40. Remove [uniq].

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    f968f2f View commit details
    Browse the repository at this point in the history
  41. Configuration menu
    Copy the full SHA
    907a3b0 View commit details
    Browse the repository at this point in the history
  42. Configuration menu
    Copy the full SHA
    eb0dd0c View commit details
    Browse the repository at this point in the history
  43. Fix an internal comment.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    bf2b5dc View commit details
    Browse the repository at this point in the history
  44. Configuration menu
    Copy the full SHA
    20fc119 View commit details
    Browse the repository at this point in the history
  45. Configuration menu
    Copy the full SHA
    c72af4c View commit details
    Browse the repository at this point in the history
  46. stdlib/seq.mli: English.

    Co-authored-by: Craig Ferguson <me@craigfe.io>
    fpottier and craigfe committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    f77e025 View commit details
    Browse the repository at this point in the history
  47. Typo.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    7d7c9d8 View commit details
    Browse the repository at this point in the history
  48. stdlib/seq.mli: hyperlink.

    Co-authored-by: Craig Ferguson <me@craigfe.io>
    fpottier and craigfe committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    699422a View commit details
    Browse the repository at this point in the history
  49. stdlib/seq.mli: hyperlink.

    Co-authored-by: Craig Ferguson <me@craigfe.io>
    fpottier and craigfe committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    b17299f View commit details
    Browse the repository at this point in the history
  50. stdlib/seq.mli: English.

    Co-authored-by: Craig Ferguson <me@craigfe.io>
    fpottier and craigfe committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    66fd26e View commit details
    Browse the repository at this point in the history
  51. stdlib/seq.mli: English.

    Co-authored-by: Craig Ferguson <me@craigfe.io>
    fpottier and craigfe committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    6b85e95 View commit details
    Browse the repository at this point in the history
  52. Remove Seq.combine.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    a787dca View commit details
    Browse the repository at this point in the history
  53. Configuration menu
    Copy the full SHA
    7fe0e49 View commit details
    Browse the repository at this point in the history
  54. Changes.

    fpottier committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    35660a5 View commit details
    Browse the repository at this point in the history
  55. Configuration menu
    Copy the full SHA
    f9ad8f7 View commit details
    Browse the repository at this point in the history
  56. Configuration menu
    Copy the full SHA
    cc3f348 View commit details
    Browse the repository at this point in the history