Skip to content

Pull requests: ocaml-gospel/gospel

New pull request New
18 Open 297 Closed
18 Open 297 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix formatting in CHANGES.md
#426 opened Nov 18, 2024 by n-osborne Loading…
Update to the Documentation Site documentation no-changelog-needed This PR does not require a changelog entry
#425 opened Oct 27, 2024 by mrjazzybread Loading…
2
Handle 5.2 AST changes
#424 opened Oct 21, 2024 by patricoferris Loading…
Stdlib
#423 opened Oct 20, 2024 by mrjazzybread Loading…
3
Add test case for record with partially same fields no-changelog-needed This PR does not require a changelog entry
#416 opened Jul 16, 2024 by n-osborne Loading…
Remove attribute field from identifiers
#413 opened Jun 20, 2024 by n-osborne Loading…
1
Add test case for failing record update no-changelog-needed This PR does not require a changelog entry
#410 opened Jun 18, 2024 by n-osborne Loading…
Add test case for pattern on inlined record no-changelog-needed This PR does not require a changelog entry
#408 opened Jun 7, 2024 by n-osborne Loading…
Fix printing of symbols of fixity
#407 opened May 24, 2024 by n-osborne Loading…
2
Merge implementations branch with main
#390 opened Mar 23, 2024 by ionchirica Loading…
4
Bump prism-react-renderer from 1.3.5 to 2.3.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#367 opened Nov 27, 2023 by dependabot bot Loading…
@pascutto
Bump clsx from 1.2.1 to 2.0.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#347 opened Sep 25, 2023 by dependabot bot Loading…
@pascutto
Bump @docusaurus/core from 2.3.0 to 2.4.3 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#346 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
1
Bump @docusaurus/preset-classic from 2.3.0 to 2.4.3 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#345 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
Bump @svgr/webpack from 6.5.1 to 8.1.0 in /docs dependencies Pull requests that update a dependency file no-changelog-needed This PR does not require a changelog entry
#344 opened Sep 22, 2023 by dependabot bot Loading…
@pascutto
Change error to warning for redundant patterns
#222 opened Jun 5, 2022 by paulpatault Loading…
1
Inductive predicates
#198 opened May 18, 2022 by mariojppereira • Draft
2 of 5 tasks
Issue a warning when old is used on a non-modified variable
#123 opened Dec 17, 2021 by n-osborne • Draft
1
7
ProTip! Follow long discussions with comments:>50.