-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Issues: ocaml/ocaml
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Recursive modules are saved as functor parameters in the environment
#13985
opened Apr 24, 2025 by
clementblaudeau
Guard most of TSan’s runtime overhead by an environment variable
feature-wish
thread-sanitizer
Related to data races, thread sanitizer
#13981
opened Apr 23, 2025 by
OlivierNicole
[@remove_aliases]
attribute produces invalid signatures
#13979
opened Apr 22, 2025 by
clementblaudeau
Subtyping between module types with present/absent aliases crashes the typechecker
#13976
opened Apr 20, 2025 by
clementblaudeau
Incoherent principality warnings due to incomplete approximation in
type_approx
#13973
opened Apr 18, 2025 by
samsa1
AC_CHECK_FUNC
doesn't work with decorated names (Windows x86!)
#13967
opened Apr 16, 2025 by
MisterDA
Format length specifier (
@<n>
) silently ignored with %a
bug
stdlib
#13943
opened Apr 8, 2025 by
SkySkimmer
Wrong behaviour of environment variables in ocamltest
ocamltest
#13941
opened Apr 7, 2025 by
OlivierNicole
Module substitutions with equivalent aliases fail subtyping check
typing
typing-modules
#13897
opened Mar 25, 2025 by
clementblaudeau
OCamldoc rendering in OCaml 5 worse than OCaml 4
documentation
#13896
opened Mar 25, 2025 by
johnwhitington
Improve unbound type constructor error message
error-messages
#13893
opened Mar 24, 2025 by
NicholasLYang
Stack overflow in
Ctype.moregen
in GADT pattern match
bug
typing
#13881
opened Mar 19, 2025 by
riaqn
improve "Their kinds differ" error message
error-messages
typing
#13872
opened Mar 14, 2025 by
ygrek
Poor GC behavior on OCaml 5
gc
Performance
PR or issues affecting runtime performance of the compiled programs
#13868
opened Mar 13, 2025 by
nmote
Readable multi-line quoted string literals
devel-discussion
feature-wish
#13860
opened Mar 8, 2025 by
dbuenzli
Locations reported by TSan are buggy on ARM M1 Mac
thread-sanitizer
Related to data races, thread sanitizer
#13858
opened Mar 7, 2025 by
OlivierNicole
Performance regression from OCaml 4 to OCaml 5 in the EasyCrypt project.
Performance
PR or issues affecting runtime performance of the compiled programs
#13849
opened Mar 4, 2025 by
strub
Some TSan tests are flaky because of non-deterministic error output
testsuite
#13831
opened Feb 26, 2025 by
OlivierNicole
Improve documentation for Printexc backtraces
documentation
feature-wish
#13822
opened Feb 21, 2025 by
za3k
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.