ocaml ocaml issues - Githubissues

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

https://ocaml.org

Other

5.19k stars 1.06k forks source link

issues

Recently updated

Newest Most commented Recently updated Oldest Least commented Least recently updated

"β t is less general than ∀α. α t" with trunk

#13176 kit-ty-kate opened 3 hours ago
9
Time/memory regression in Frama-C with OCaml 5.0

#11733 maroneze opened 1 year ago
26
Stdlib priority queues

#12871 backtracking opened 4 months ago
24
Array.shuffle: explicitly validate the result of [rand].

#13168 fpottier opened 1 day ago
3
Strange error message with trunk

#13175 kit-ty-kate opened 3 hours ago
3
MinGW/MSVC Sys.rename cornercase regression

#13166 jmid opened 2 days ago
16
multicore: expose the domain index for advanced use-cases

#13171 gasche opened 22 hours ago
8
Dynarray.{equal, compare}

#13144 gasche closed 4 hours ago
3
`ocamlopt -output-complete-obj -I +unix unix.cmxa` fails under mingw64

#12487 nojb opened 9 months ago
2
gha: use latest Visual Studio compiler

#13174 MisterDA opened 6 hours ago
2
Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib

#5938 vicuna opened 11 years ago
6
Sub-module identities inside an applicative functor are actually generative, leading to invalid signatures

#13173 clementblaudeau opened 6 hours ago
0
gprinttyp: a graphical debugging printer for types

#13049 Octachron opened 1 month ago
3
Module type substitutions in signature of recursive modules are not checked for cyclicity

#13172 clementblaudeau opened 7 hours ago
0
Enable frame pointers on macOS x86_64

#13163 tmcgilchrist closed 15 hours ago
8
Emancipate dynlink from compilerlibs

#11996 shindere opened 1 year ago
33
More configure fixes

#13164 MisterDA opened 2 days ago
7
Minor runtime/caml/m.h.in simplification

#12927 dustanddreams opened 3 months ago
9
Add Unix.TCP_QUICKACK

#13133 rbjorklin opened 2 weeks ago
4
A document type for error messages

#13169 Octachron opened 1 day ago
0
Update link to ocaml-multicore issue 408

#13167 tmcgilchrist closed 1 day ago
0
Immutable arrays

#13097 OlivierNicole opened 1 month ago
34
Fix marking of toplevel attributes in implementations

#13170 nojb opened 1 day ago
5
Various build cleanups

#13112 dra27 closed 1 day ago
2
Add `Stdlib.todo`

#13101 pkhry opened 4 weeks ago
15
Avoid synchronising by sleep in a systhreads test

#13142 OlivierNicole closed 1 day ago
0
Remove outdated mention of runtime/Makefile in HACKING.odoc

#13165 jmid closed 2 days ago
1
spring runtime assembly cleaning

#13033 dustanddreams closed 1 day ago
5
Missing warning when an attribute is ignored or makes no sense

#13155 shindere opened 1 week ago
5
Memory cleanup at exit

#12964 dustanddreams opened 3 months ago
5
effect syntax: effect patterns as computation patterns

#13135 Octachron opened 2 weeks ago
0
Simplify effect handler closure and reperform by dropping the `last_fiber` argument

#13159 kayceesrk opened 6 days ago
0
ocamlopt's new name mangling breaks setting breakpoints in LLDB MacOS

#12933 tmcgilchrist opened 3 months ago
14
Use '$' instead of '.' to separate module from identifiers in symbols

#13050 tmcgilchrist opened 1 month ago
17
Align the documentation of OCAMLPARAM with the code.

#13005 damiendoligez opened 2 months ago
2
Restore native armv7 support for NetBSD 10.0

#13161 tmcgilchrist opened 3 days ago
1
Update ocaml-variants.opam with native Windows support

#13160 dra27 opened 6 days ago
2
Emit endbr64 instructions on amd64 to support OpenBSD indirect branch target control flow enforcement.

#13023 voutilad opened 2 months ago
36
follow-up on #13150: improve the closure-computation algorithm again

#13156 gasche opened 1 week ago
2
Enable colors in the native Windows console

#13147 nojb opened 1 week ago
4
Simplify `CAMLalign` and use C11 `max_align_t`

#13139 MisterDA opened 2 weeks ago
0
Include prims.o in libcamlrun_shared.so

#13132 yallop opened 2 weeks ago
0
Refactored label comparison

#13113 samsa1 opened 3 weeks ago
0
arm64: emit floating-point literals in .rodata on ELF platforms

#13015 dustanddreams closed 1 day ago
1
Fix #12948 (slow domain join)

#13026 damiendoligez opened 2 months ago
3
Use macros from `limits.h` to prevent signed integer wrap-around warnigns

#13083 MisterDA opened 1 month ago
10
Remove obsolete `SHRINKED_GNUC` macro check

#13137 MisterDA closed 2 weeks ago
0
error messages: conflict explanations as a footnote

#13151 Octachron closed 2 days ago
0
Add loongarch architecture support

#11974 junchao-loongson opened 1 year ago
43
Use quoted strings for chunks of code (multiline strings)

#13162 MisterDA closed 2 days ago
4