Skip to content

Issues: ocaml-gospel/gospel

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

36 Open 64 Closed
36 Open 64 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Extending the standard library and syntax
#422 opened Sep 18, 2024 by nikolaushuber
2
Uncaught assertion failure with print function
#421 opened Sep 16, 2024 by nikolaushuber
Records with partially same fields name
#415 opened Jul 16, 2024 by n-osborne
Make dumpast less verbose
#414 opened Jul 4, 2024 by n-osborne
Remove attributes from identifiers
#412 opened Jun 20, 2024 by n-osborne
1
Make identifiers include the relative path.
#411 opened Jun 19, 2024 by n-osborne
Update record fails with irrelevant error
#409 opened Jun 18, 2024 by n-osborne
Type-checker fails with an assert false on extensible type
#405 opened May 14, 2024 by n-osborne
Inlined records as variant's argument are seen as unnamed tuples
#401 opened Apr 19, 2024 by n-osborne
1
Bad pattern-matching analysis for tuple
#399 opened Apr 19, 2024 by n-osborne
Too much ghost keywords?
#395 opened Apr 4, 2024 by n-osborne
How should gospel handle model names?
#392 opened Apr 2, 2024 by mrjazzybread
1
Should the type-checker force returned tuples to be destructed?
#383 opened Feb 21, 2024 by n-osborne
Revise xposts internal representation
#379 opened Jan 23, 2024 by n-osborne
1
Simplify attribute nesting
#378 opened Jan 22, 2024 by n-osborne
Make the Gospel type-checker modular
#377 opened Jan 19, 2024 by shym
4
Revise exceptional specifications
#373 opened Dec 19, 2023 by n-osborne
1
Type-check module signature in ml files
#366 opened Nov 21, 2023 by n-osborne 0.4
2
Add Sequence.mapi
#365 opened Nov 20, 2023 by n-osborne
First gospel/doc attribute is attached to the module if it is not preceded by a documentation one. ppx
#360 opened Oct 19, 2023 by n-osborne
1
exists is a reserved keyword
#350 opened Sep 26, 2023 by n-osborne
1
OCaml compiler reports error on code generated by the preprocessor when the attribute is not at an acceptable location
#337 opened Sep 19, 2023 by shym
3
Diverging functions do not need to modify state
#317 opened Aug 25, 2023 by shym
1
Tmodule.add_sig_contents silently ignores unsupported signature items
#302 opened Jul 13, 2023 by shym
Allow structured values (of an irrefutable shape) in specification header AST enhancement New feature or request syntax
#153 opened Feb 17, 2022 by pascutto
1
ProTip! no:milestone will show everything without a milestone.