MantisBT - All Projects

Word 2000 Word View

Viewing Issues( 1 - 1179 )
  PID # CategorySeverityStatusUpdatedSummary
 00076372[OCaml]
lexing and parsing
minornew2017-09-25Breaking change in parser (probably related to GPR#1064 - Extended indexing operators)
 00070721[OCaml]
configure and build/install
minorresolved (shindere)2017-09-24The testsuite doesn't run in parallel
 00076264[OCaml]
runtime system and C interface
minorresolved (gasche)2017-09-24Sys.executable_name on Linux does not use /proc/self/exe if full path exceeds 256 characters
 00076331[OCaml]
standard library
featurenew2017-09-24Need for an equality comparing closures
 00076368[OCaml]
typing
minornew2017-09-24Constant type can not be generalized ?
 00076097[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (xleroy)2017-09-23Coq (coqtop.byte) hangs when run from ocamldebug
 00076353[OCaml]
ocamldoc
minorassigned (octachron)2017-09-22ocamldoc does not generate HTML linkable IDs for modules
 00075876[OCaml]
configure and build/install
minorresolved (shindere)2017-09-21Parallel builds are broken in the ocamldoc/ subdirectory [was: lex/ directory]
 00075914[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-21"ld: warning: pointer not aligned at address ..."
 0007599 [OCaml]
documentation
textacknowledged2017-09-21Document why, when and how to update magic numbers
 00075982[OCaml]
lexing and parsing
crashacknowledged2017-09-21Out-of-date camlp4 causes segfault in ocamlopt.opt
 00076342[OCaml]
ocamldoc
minornew2017-09-21ocamldoc generates strange looking documentation for variants with inline records
 000763116[OCaml]
compiler driver
crashresolved (gasche)2017-09-20-linscan option crashes ocamlopt
 000632920[OCaml]
runtime system and C interface
majorassigned (shinwell)2017-09-20File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed.
 00037892[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
 00037861[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
 000377137[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (dra)2017-09-20Reading Unicode filenames fails on Windows
 000763011[OCaml]
back end (clambda to assembly)
minornew2017-09-19FLambda particularly slow with large file consisting in top-level trivial aliases.
 00076322[OCaml]
ocamldoc
trivialacknowledged2017-09-19the manual page of ocamldoc does not mention -charset option
 00076291[OCaml]
typing
minornew2017-09-18False typing error when using pre-compiled .cmi through -intf-suffix option
 00076281[OCaml]
language features
featurenew2017-09-18Pattern negation
 00076121[OCaml]
back end (clambda to assembly)
minornew2017-09-15afl-fuzz reports 16.00% stability for a simple constant object expression
 00076166[OCaml]
middle end (typedtree to clambda)
minoracknowledged2017-09-15Compiler emits Warning 59 on array assignment
 00076275[OCaml]
documentation
minorresolved (lpw25)2017-09-154.06.0 Change : Format change must be marked as breaking.
 00076242[OCaml]
language features
minorresolved (frisch)2017-09-13Annotation [@warning "-32"] does not work correctly
 00076253[OCaml]
configure and build/install
featurenew2017-09-13Compiler libs does not provide .cmxs object files.
 00076023[OCaml]
misc
minorresolved (gasche)2017-09-13Test suite crashes on aarch64
 000758517[OCaml]
back end (clambda to assembly)
blockresolved (shinwell)2017-09-13OCaml 4.04, 4.05-rc1 incompatible with snapshot binutils, when built with -fPIC, results in crashes
 00075204[OCaml]
typing
minornew2017-09-13Odd behaviour of refutation cases with polymorphic variants
 00076206[OCaml]
compiler driver
minorresolved (garrigue)2017-09-13Typecore.force_delayed_checks does not run with -i option.
 00076017[OCaml]
typing
minorresolved (garrigue)2017-09-13It seems like a hidden non-generalized type variable remains in some inferred signatures, which leads to strange errors
 00076173[OCaml]
typing
minorresolved (garrigue)2017-09-13Ambiguous type escaping the scope of its equation
 00076182[OCaml]
typing
minorresolved (garrigue)2017-09-13Unexpected GADT error
 00076231[OCaml]
ocamldoc
trivialnew2017-09-12ocamldoc replaces type variables with meaningless identifiers
 00058945[OCaml]
back end (clambda to assembly)
featureacknowledged2017-09-07[patch] Avoid boxing float/int32/int64 when doing direct call
 00076223[OCaml]
typing
minornew2017-09-06unexpected (?) typing error related to aliasing of types defined in recursive modules
 00076213[OCaml]
configure and build/install
blockresolved (dra)2017-09-06Can't figure out the right ./compile parameters for my platform
 000758316[OCaml]
typing
featureacknowledged2017-09-06Request: empty record and variant types
 00076144[OCaml]
middle end (typedtree to clambda)
minorresolved (lpw25)2017-09-04flambda optimizations depends on unrelated things
 0007619 [OCaml]
lexing and parsing
minornew2017-09-03last semi column in inside the last expression
 00075864[OCaml]
language features
featureresolved (frisch)2017-08-31Request: evaluation order of 'let ... and ...'
 00076154[OCaml]
platform support (windows, cross-compilation, etc)
minorconfirmed (dra)2017-08-31Flexdll is incompatible with visual studio 2017.3
 00076081[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorfeedback2017-08-29OCaml-uri doesn't compile on ARM with assembler error
 000499117[OCaml]
compiler driver
featureacknowledged2017-08-29ocaml{c,opt} may truncate and recreate a .cmi, leading to (rare) failures of make -j
 000747210[OCaml]
compiler driver
featureacknowledged2017-08-29Please replace cmi files atomically when writing new versions
 00075193[OCaml]
typing
minorresolved (garrigue)2017-08-29Incorrect rejection of program due to faux scope escape
 00047742[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (dim)2017-08-27Block with a custom comparison function
 00069885[OCaml]
standard library
featureresolved (frisch)2017-08-27Format: invert breakable and non-breakable spaces
 00058129[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (frisch)2017-08-27Adapt emacs mode to generate .annot from .cmt files
 00073845[OCaml]
middle end (typedtree to clambda)
minorresolved (frisch)2017-08-27the optimization of optional arguments never applies with -g
 00063681[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2017-08-27[github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies
 0005759114[OCaml]
typing
minorresolved (garrigue)2017-08-27Using well-disciplined type-propagation to disambiguate label and constructor names
 000695616[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2017-08-27Module initialization not performed for extern-only lib (? segfault)
 00062177[OCaml]
back end (clambda to assembly)
tweakresolved (gasche)2017-08-27Compilation of record functional modification is costly
 00071209[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2017-08-27Extra .cfi_adjust_cfa_offset directive between ret and .cfi_endproc leads to incorrect unwind behavior on OS X
 00071187[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2017-08-27Crashes when ocamlopt-generated code calls into Objective-C code that adds an exception handler
 0007522 [OCaml]
misc
tweakacknowledged2017-08-27Spurious unused module warning (warning 60) with recursive modules
 0007613 [OCaml]
documentation
minorassigned (octachron)2017-08-27Manual's description of refutation cases is unclear
 00076113[OCaml]
typing
minoracknowledged (garrigue)2017-08-23Generative functors are allowed to be applicative !
 00075882[OCaml]
documentation
trivialresolved (octachron)2017-08-22Document Format.pp_{set,get}_formatter_out_functions in the dedicated paragraph
 00076101[OCaml]
emacs mode
minornew2017-08-21Emacs mode uses variable that has been removed from Emacs 25
 00076064[OCaml]
ocamldoc
featureconfirmed2017-08-18unexpected warnings when including signature
 00076071[OCaml]
ocamldoc
minorresolved (octachron)2017-08-17unexpected warnings (produced by ocamldoc)
 00076046[OCaml]
documentation
minorresolved (octachron)2017-08-16Minor Ephemeron documentation fixes
 00076055[OCaml]
language features
minorresolved (yallop)2017-08-16GADTs, abstract types and the error "a type variable cannot be deduced..."
 00076034[OCaml]
platform support (windows, cross-compilation, etc)
crashconfirmed (frisch)2017-08-09segfault on windows in dynlink'd module's entry routine
 00074783[OCaml]
ocamldoc
minorresolved (octachron)2017-08-09Duplicate module preambles are generated by ocamldoc
 00074543[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (dra)2017-08-06Mishandling of raw string literals by ocamlyacc
 00074554[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-08-06ocamllex and ocamlyacc should check that there are balanced parentheses in code blocks
 00050615[OCaml]
typing
featureresolved (octachron)2017-08-06mutiple value components in signatures should produce a warning or an error
 00060892[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (octachron)2017-08-06improve ocamlbuild documentation
 00075947[OCaml]
runtime system and C interface
minorresolved (yallop)2017-08-03Should String_val return 'const char *' when safe-string is globally enabled?
 00069228[OCaml]
typing
minorassigned (garrigue)2017-08-02Regression with -principal type inference
 00075921[OCaml]
typing
minorconfirmed (garrigue)2017-08-02strange behavior of GADT with plymorphic variants
  0005998 [OCaml]
typing
featureassigned (garrigue)2017-08-02GADT typing and exhaustiveness bugs
 00063678[OCaml]
typing
featureresolved (garrigue)2017-08-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
 00075972[OCaml]
typing
featureresolved (frisch)2017-07-28[@@unboxed] for single-constructor, single-field GADT introducing existential type
 00070704[OCaml]
typing
featureresolved (lpw25)2017-07-27Unexported values can cause non-generalisable variables error
 00075817[OCaml]
runtime system and C interface
minoracknowledged2017-07-26CAMLlocalN does not compile with msvc compiler
 0007600 [OCaml]
documentation
textnew2017-07-25Document the commit process around bootstrapping
 00075968[OCaml]
ocamldoc
minorassigned (octachron)2017-07-25Incorrect generation of "constructor" tags for modules
 00072817[OCaml]
ocamldoc
minorresolved (octachron)2017-07-24Incorrect .TH macro in Arg(3o)
 00074856[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-07-24Adding an attribute for abstract types that are not float / lazy
 0007595 [OCaml]
runtime system and C interface
featurenew2017-07-21pic version of libasmrun not used
 00075903[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featurenew2017-07-21Name for the current export variant of the dependency generator for OCaml
 0007589 [OCaml]
toplevel
minornew2017-07-20Improve the toplevel API
 00075296[OCaml]
language features
featureresolved (frisch)2017-07-20Class definition syntax restrictions
 00062715[OCaml]
language features
featureresolved (frisch)2017-07-20'let open' in class expressions
 00073106[OCaml]
typing
featureacknowledged2017-07-19per-type fragile match warning
 00073612[OCaml]
compiler driver
minoracknowledged2017-07-19ocaml.warning does not work with ocaml.ppwarning
 00075643[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (frisch)2017-07-19Unix.symlink does not support forward slashes under Windows
 00075721[OCaml]
runtime system and C interface
minoracknowledged2017-07-18no documented way to never raise in C bindings
 00070054[OCaml]
typing
tweakresolved (frisch)2017-07-18Deprecation warnings for types should not be emitted for the definition itself
 00067048[OCaml]
toplevel
featureacknowledged2017-07-17Expose more compiler-libs internals in Toploop
 00074435[OCaml]
typing
tweakresolved (octachron)2017-07-17Doubtful "unused open" warning on module used for record field disambiguation
 00016131[OCaml]
typing
featureresolved (octachron)2017-07-13printing non-generalized type variables
 00002483[OCaml]
typing
featureresolved (octachron)2017-07-13Re variables de type faibles
 0007584 [OCaml]
documentation
textacknowledged2017-07-12manual: document .cmt* files in the "overview" of ocaml{c,opt}
 00075823[OCaml]
language features
featureresolved (gasche)2017-07-12propapate type disambiguation to the record pattern
 00073897[OCaml]
typing
featureacknowledged (garrigue)2017-07-12Can type-information flow be strengthened for non-recursive lets?
 0007547 [OCaml]
documentation
featureacknowledged2017-07-11"lazy" example in the tutorial part of the manual
 0007548 [OCaml]
documentation
featureacknowledged2017-07-11printf or format example in the tutorial part of the manual
 0007549 [OCaml]
documentation
featureacknowledged2017-07-11plugin examples in the manual
 0007550 [OCaml]
documentation
featureacknowledged2017-07-11minimal documentation on injectivity
 00075515[OCaml]
documentation
featureconfirmed2017-07-11caml_example pseudo-environment in the language extension chapter
 00075745[OCaml]
typing
featureconfirmed2017-07-11Further improvement to interface/implementation type mismatch errors
 0007338 [OCaml]
typing
textconfirmed2017-07-10meta-issue on confusing type error messages
 00075283[OCaml]
misc
minorassigned (octachron)2017-07-10Complex lists always wrap at 80 columns or less
 00075752[OCaml]
compiler driver
featureresolved2017-07-10Compiling cmis, make -keep-locs the default behaviour
 000758011[OCaml]
typing
majorresolved (dra)2017-07-06On 4.05 warning 3 seems to be inherited
 00075626[OCaml]
back end (clambda to assembly)
crashacknowledged2017-07-06Ocamlc got segfault in Alpine ppc64le
 00074443[OCaml]
typing
featureresolved (frisch)2017-07-06module assignment enables use of deprecated values without a warning
 00072364[OCaml]
documentation
featureacknowledged2017-07-05document how to use Mantis (including for release triaging)
 00075793[OCaml]
standard library
textresolved2017-07-04stdlib's doc: Unix.sleepf: the resolution of the timer is not specified.
 00075565[OCaml]
standard library
minorresolved (gasche)2017-07-04.cmt and .cmti files for the unix module of the stdlib are not installed
 00075783[OCaml]
standard library
minorresolved (octachron)2017-07-03Arg.parse prints error message multiple times
 00075681[OCaml]
compiler driver
tweakacknowledged2017-07-03Fix position information for diagnostics by the OCaml linking software
 000756617[OCaml]
compiler driver
featureresolved (dra)2017-07-03Checking processes for resolving of references from module implementations by the OCaml linker
 00075738[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-07-01Direct selection of output directory (or file names) for OCaml compiler
 0007558 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-07-01Support selection of source file names also for other export formats than make rules
 00075703[OCaml]
compiler driver
minoracknowledged2017-06-30Toplevel "ocaml -plugin" is not usable
 00074354[OCaml]
back end (clambda to assembly)
minoracknowledged (shinwell)2017-06-30ocamlopt.opt 4.04.0+spacetime crashes while compiling package camlp4.4.04+1
 00058903[OCaml]
compiler driver
featureassigned (shindere)2017-06-29ocamlc does not fully take into consideration -o parameter
 000655617[OCaml]
standard library
minorassigned (gasche)2017-06-28Backtraces truncated with 4.02
 00075713[OCaml]
toplevel
minorresolved2017-06-27#use in the toplevel loads existing stale .cmo
 00075693[OCaml]
otherlibs
minorresolved (gasche)2017-06-27Unix.stat on Windows does not handle timezone and daylight savings time
 00075672[OCaml]
standard library
minorresolved (octachron)2017-06-26sorts.ml in test suite fails
 0006778 [OCaml]
compiler driver
minoracknowledged2017-06-26singly unlinkable cma orders silently allowed
 00075637[OCaml]
middle end (typedtree to clambda)
majorresolved (gasche)2017-06-26value access to extensible variant tag binds module value instead (name clash)
 000679211[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed (whitequark)2017-06-26Dynlink support for ocamldebug
 00075654[OCaml]
typing
featureassigned (octachron)2017-06-24Puzzling error message with free type variables
 000755762[OCaml]
runtime system and C interface
majorresolved (doligez)2017-06-24local privilege escalation issue with ocaml binaries
 00075594[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-22Support export of software dependencies from OCaml modules in the format “XML”
 00075601[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-22Support export of software dependencies from OCaml modules in the format “JSON”
 00075616[OCaml]
otherlibs
minorresolved2017-06-22Unix.open_process_full has trouble with UTF-8 environment variables on Linux
 00075115[OCaml]
typing
minorresolved (doligez)2017-06-22Unboxed type with unboxed argument should not be accepted
 00044997[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-06-18Changes to the environment are invisible to Sys.getenv
 00072806[OCaml]
standard library
featureacknowledged2017-06-14Add basic unsigned int32 and int64 support
 00072551[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-14polymorphic install_printer in ocamdebug
 00075551[OCaml]
toplevel
minorresolved2017-06-13The Ephemeron module is not loaded into the toplevel
 00073484[OCaml]
typing
minorresolved (garrigue)2017-06-12Private row variables can escape their scope
 00073737[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (dra)2017-06-10Include OCaml lib directory in search path in ocamlmklib
 00075433[OCaml]
typing
crashresolved (octachron)2017-06-09Unhandled exception from List.nth when using -short-paths with ill-typed code
 00069501[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Dynlink wrong symbol
 00069574[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Modules name conflict during dynamic loading
 00064623[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Dynlinking duplicate module clobbers host program state
 00042291[OCaml]
documentation
minorresolved (shinwell)2017-06-09Casser le typage avec Dynlink
 00042083[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Dynlink.crc_interfaces n'est pas bien backtrackée
 00048398[OCaml]
otherlibs
crashresolved (shinwell)2017-06-09natdynlink reproducible segfault
 00072472[OCaml]
documentation
minorfeedback (gasche)2017-06-09Compiler internals exported as standard library modules in documentation
 00072316[OCaml]
typing
crashassigned (yallop)2017-06-09let-rec wellformedness check too permissive with nested recursive bindings
 00072159[OCaml]
typing
crashassigned (yallop)2017-06-09Unsoundness with GADTs and let rec
 00072009[OCaml]
lexing and parsing
minorfeedback2017-06-09Testing parsing/printing/parsing roundtripping shows problems with Pprintast / -dsource
 0007223 [OCaml]
misc
minoracknowledged2017-06-09Pack, CMI and module aliases
 00072593[OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-06-09flambda does not collapse pattern matching in some cases
 000731316[OCaml]
typing
minorassigned (garrigue)2017-06-09Typing regression between 4.03 and 4.04 branch with signature coercion.
 00073591[OCaml]
typing
minorassigned (garrigue)2017-06-09With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message
 00073855[OCaml]
otherlibs
minorresolved (dra)2017-06-09Unix.stat on Windows returns timestamps which depend on the DST setting
 00075541[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorconfirmed2017-06-08identifiers not recognized by ocaml when assigned by deconstructing a tuple
 00075525[OCaml]
middle end (typedtree to clambda)
minornew2017-06-08typeopt.ml unsafely assumes all modules called Bigarray are the same
 00075532[OCaml]
typing
tweakassigned (lpw25)2017-06-05Warning 33 incorrectly triggered in recursive module
 00069552[OCaml]
documentation
textacknowledged2017-06-05Synchronize option help in --help and man page
 000712715[OCaml]
toplevel
featureresolved (lefessan)2017-06-05ocaml REPL does not truncate value of type 'bytes' and 'string'
 00056074[OCaml]
documentation
featureassigned (octachron)2017-06-04FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations
 00075461[OCaml]
documentation
featureconfirmed2017-06-04short description of compiler-libs modules
 0007544 [OCaml]
typing
featureacknowledged2017-06-02Unable to add multiple constraints/equations to a type
 00075401[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majoracknowledged2017-06-02Packed modules: setting "break" broken in ocamldebug + miscommunication emacs/ocamldebug
 0007545 [OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-06-02Inline attributes on intermediate functions are silently dropped
 00071504[OCaml]
compiler driver
minorassigned (chambart)2017-06-02ocamlopt reorders linker options
 00075411[OCaml]
back end (clambda to assembly)
tweakfeedback (chambart)2017-06-01[minor] Lifting constant tuples prevents static call optimization
 00075372[OCaml]
runtime system and C interface
minoracknowledged2017-06-01Bad behaviour when hashing and comparing functions
 00061376[OCaml]
typing
featureacknowledged (garrigue)2017-05-30Allowing soften locally abstract types
 000723816[OCaml]
standard library
minoracknowledged2017-05-29Marshal.to_channel does not clean the channel internal buffers when it fails
 00067018[OCaml]
standard library
minoracknowledged2017-05-29string_of_float and float_of_string are locale dependent
 00072188[OCaml]
standard library
featureacknowledged2017-05-28Float printing and round-trippability
 00075425[OCaml]
documentation
minorresolved (gasche)2017-05-28No clear information for latest released version
 00075341[OCaml]
language features
featurenew2017-05-27Extensible record types
 00073987[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-05-27missing possibility to be able to see "inside" values of abstract types
 00072832[OCaml]
standard library
featureacknowledged2017-05-27List Module Inconsistancy :: "map"+"mapi" "iter"+"iteri" "rev_map"... but no "rev_mapi"
 00034682[OCaml]
documentation
minoracknowledged2017-05-25Sys_error documentation
 00075392[OCaml]
documentation
minorresolved (octachron)2017-05-24Wrong URIs in ocamldoc's chapter of reference manual
 00075381[OCaml]
middle end (typedtree to clambda)
minorassigned (shinwell)2017-05-23@inlined doesn't seem to work with module aliases
 00073759[OCaml]
documentation
textacknowledged2017-05-23Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
 00075362[OCaml]
standard library
featureresolved (gasche)2017-05-20Expose unsafe_get and unsafe_set from Array and Bytes modules
 00075351[OCaml]
back end (clambda to assembly)
featurenew2017-05-19Improve sharing of values
 00075132[OCaml]
standard library
minorresolved (lefessan)2017-05-16List.compare_length_with mishandles negative numbers / overflow
 00075316[OCaml]
middle end (typedtree to clambda)
minorresolved (shinwell)2017-05-15Delayed effects in partially applied functions
 00075332[OCaml]
back end (clambda to assembly)
minorresolved (shinwell)2017-05-15Wrong code generation of e / e' and e mod e' with effectful e
 00067092[OCaml]
documentation
featureresolved (octachron)2017-05-14Document the associativity of operators declared in Pervasives in Pervasives itself.
 00075321[OCaml]
typing
majorresolved (gasche)2017-05-11The compiler does not unbox a type which can not contain a float value
 00038293[OCaml]
typing
tweakconfirmed (shinwell)2017-05-09Nom de module = nom d'exception
 00075263[OCaml]
language features
featureacknowledged2017-05-09add (optional) warning on all non-tail calls (unless [@stackcall] attribute is present)
 00065483[OCaml]
documentation
minorresolved (octachron)2017-05-08Misleading comment on private type abbreviations
 00075077[OCaml]
documentation
minorresolved (octachron)2017-05-08Documentation for Printf's format "%g" looks imprecise or incorrect
 00075301[OCaml]
documentation
minorassigned (doligez)2017-05-074.04.1 Documentation and user's manual
 00075253[OCaml]
language features
minorresolved (gasche)2017-05-05[@tailcall] attribute fails to warn about some stack calls
 00072582[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved2017-05-05ocamldebug segfault on install_printer using module aliasing
 00075271[OCaml]
standard library
minorassigned (shinwell)2017-05-04wrong stack_size when on another thread
 00075216[OCaml]
ocamldoc
minorresolved (octachron)2017-05-04Ocamldoc output differs if compiled with clang
 00075241[OCaml]
typing
minoracknowledged2017-05-02Add warning when using '=' in for none immediate values
 00039212[OCaml]
standard library
featureacknowledged2017-05-02structural equality for cyclic data structure cannot be interrupted
 00075023[OCaml]
standard library
minorresolved (frisch)2017-05-02(=) does not use physical equality unlike compare
 000731411[OCaml]
typing
blockresolved (frisch)2017-04-27In 4.04 branch the unused module warning is unsound
 00075233[OCaml]
standard library
minorresolved (octachron)2017-04-26bug in Arg when an option does not have its argument
 00074983[OCaml]
standard library
minorassigned (dim)2017-04-24Rectangle madness
 00075174[OCaml]
otherlibs
featureresolved (dra)2017-04-19Inconsistent handling of symlinks created by Unix.symlink and Cygwin's "ln -s"
 0007518 [OCaml]
otherlibs
minorassigned (dra)2017-04-19Unix.readlink should strip DOS Device namespace prefix on Windows
 000667611[OCaml]
documentation
featureacknowledged2017-04-17Chapter 7 of the manual now has 27 sections
 00074673[OCaml]
typing
featureacknowledged2017-04-14Treat .mli type constraints the same as if they were signatures in the .ml
 00075143[OCaml]
compiler driver
featureacknowledged2017-04-14-dtimings should also report memory consumption
 0007404 [OCaml]
standard library
featureacknowledged2017-04-14Expose functions to check invariants in Set/Map/Hashtbl
 0007320 [OCaml]
typing
featureacknowledged2017-04-14Relaxing the value restriction some more
 0007224 [OCaml]
otherlibs
featureacknowledged2017-04-14Sparse bigarray support
 0007221 [OCaml]
typing
featureacknowledged2017-04-14Refine error message for erroneous partial application
 000715110[OCaml]
typing
featureacknowledged2017-04-13Extended package type subtyping
 00071482[OCaml]
lexing and parsing
minoracknowledged2017-04-13Confusing error message when parentheses are added around an expression
 0007114 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-04-13smarter break command in ocamldebug
 0007110 [OCaml]
standard library
featureacknowledged2017-04-13Missing Printf.ikbprintf
 00071023[OCaml]
typing
featureacknowledged2017-04-13Ability to re-export a variant definition with renamed constructors?
 0007090 [OCaml]
otherlibs
featureacknowledged2017-04-13Implement more general file ownership functions
 00070881[OCaml]
otherlibs
minoracknowledged2017-04-13Unix.system (Win) should report when cmd.exe is not found
 0007044 [OCaml]
typing
featureacknowledged2017-04-13Feature proposal: provide type specialization function for boolean and give an warning when a generic comparison is used
 0007043 [OCaml]
standard library
featureacknowledged2017-04-13atomic_init, compare_and_swap, atomic_add
 00074335[OCaml]
runtime system and C interface
minorresolved2017-04-11Minor Gc can takes several minutes to complete
 00075065[OCaml]
lexing and parsing
minorresolved (frisch)2017-04-10pprintast ignores attributes in tails of a list
 00066013[OCaml]
documentation
tweakresolved2017-04-10advertise caml_strdup in 19.10.2 instead of strcpy
 00065792[OCaml]
platform support (windows, cross-compilation, etc)
tweakacknowledged2017-04-10Different behavior of %g format under Windows
 0007122 [OCaml]
configure and build/install
minoracknowledged2017-04-10[cross-compilation] Use -I otherlibs/$(UNIXLIB) when building systhreads
 00071794[OCaml]
documentation
minoracknowledged2017-04-10Interfacing with C missing documentation and helper macros and functions
 00071784[OCaml]
standard library
minoracknowledged2017-04-10Calling exit in at_exit callback results in infinite loop.
 00071324[OCaml]
runtime system and C interface
minorassigned (shinwell)2017-04-10trouble with pthread_atfork on openBSD
 0007121 [OCaml]
configure and build/install
minoracknowledged2017-04-10[cross-compilation] Use target's ld as a basis for ${partialld}
 00071175[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorconfirmed2017-04-10ocamldep behaviour regarding extension points is not documented
 0007084 [OCaml]
documentation
minoracknowledged2017-04-10ocamldoc parsing error issues incorrect line number
 00070691[OCaml]
standard library
minoracknowledged2017-04-10Scanf "%F" or "%H" and float_of_string are broken for "nan" on Windows
 000705617[OCaml]
typing
minorassigned (garrigue)2017-04-10"include" with module aliases
 00070482[OCaml]
ocamldoc
minoracknowledged2017-04-10Support for other inputenc than latin1 in ocamldoc -latex
 00057815[OCaml]
standard library
featureresolved2017-04-07min and max do not conform to IEEE 754 recommendations
 00073093[OCaml]
standard library
featureresolved2017-04-05provides a `update` function for map
 00074113[OCaml]
ocamldoc
minorresolved (octachron)2017-04-04HTML output of ocamldoc is strange
 00074838[OCaml]
typing
featureresolved (lpw25)2017-04-03Strange behavior for function with polymorphic type
 000667321[OCaml]
typing
minoracknowledged (garrigue)2017-04-03Redundant type annotation on argument causes polymorphic-recursive definition to be rejected
 00075051[OCaml]
otherlibs
majorresolved (doligez)2017-03-31Memory cannot be released after calling Bigarray.Genarray.change_layout.
 00075032[OCaml]
runtime system and C interface
minorconfirmed2017-03-30Bad locking in io.c
 00075121[OCaml]
lexing and parsing
minorresolved (gasche)2017-03-29parsing bug for lazy expressions
 00075082[OCaml]
standard library
featureacknowledged2017-03-27Retry system calls failing with EINTR
 00075095[OCaml]
configure and build/install
minoracknowledged2017-03-27.gitignore lists some files that should not be ignored
 00075101[OCaml]
misc
trivialresolved (octachron)2017-03-25Evaluation d'une expression [item1]@liste@[item2] dans une fonction récursive
 00074848[OCaml]
otherlibs
minorresolved (dra)2017-03-24Cygwin32 in bytecode: problem with Bigarray and Unix.fork
 00073724[OCaml]
typing
minorresolved (frisch)2017-03-24Bug in type-checker with GADTs and inline records
 00068263[OCaml]
typing
featureresolved (frisch)2017-03-24Improve compile time of opens, esp. for local opens
 0006191 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureassigned (shindere)2017-03-24Missing argument for ocamldep to tell it where output binaries will be placed
 00047914[OCaml]
typing
featureacknowledged2017-03-23ocamlc -i produces incorrect result
 00064163[OCaml]
typing
minorconfirmed2017-03-23The same string can mean different types in the same error message
 00074973[OCaml]
documentation
featureresolved (octachron)2017-03-18OCaml manual: replace bullets by the section number on the main page
 00067692[OCaml]
standard library
minorassigned (weis)2017-03-17Formatting tags are lost on a flush
 00066386[OCaml]
typing
minorassigned (frisch)2017-03-16docs should mention that open! also suppresses warning 33
 00067823[OCaml]
lexing and parsing
featureacknowledged2017-03-16Support "obj # (meth arg1 ... argn)"
 00054885[OCaml]
language features
featureresolved (garrigue)2017-03-16labeled argument in module
 00059873[OCaml]
documentation
minorconfirmed2017-03-16Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr"
 00065873[OCaml]
typing
featureresolved (garrigue)2017-03-16#show_module prints types incorrectly
 00069345[OCaml]
typing
minorresolved (garrigue)2017-03-16nonrec misbehaves with GADTs
 00073532[OCaml]
ocamldoc
minorresolved (octachron)2017-03-15ocamldoc sometimes generates untagged text
 00073523[OCaml]
ocamldoc
minorresolved (octachron)2017-03-15ocamldoc should not generate p's white only whitespace in it
 00073512[OCaml]
ocamldoc
minorresolved (octachron)2017-03-15ocamldoc should really stop generating br tags
 00069901[OCaml]
runtime system and C interface
minorassigned (doligez)2017-03-15Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory
 000696812[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorconfirmed2017-03-15ocamldep -one-line doesn't work with -sort
 00069005[OCaml]
configure and build/install
minorassigned (shindere)2017-03-15Native code compiler for 32-bit OS X
 00068643[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (doligez)2017-03-15linking with flexlink fails when passing arguments by response file
 00068612[OCaml]
configure and build/install
minorassigned (shindere)2017-03-15Do not install native-code executables when cross-compiling
 00067772[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-03-15ocamldebug fails to use installed printer on types defined in the module being stepped
 000675410[OCaml]
standard library
minoracknowledged2017-03-15topdirs.cmi multiple locations
 00067451[OCaml]
typing
minorassigned (garrigue)2017-03-15`as` ignored on types containing universal variables
 00067327[OCaml]
standard library
minoracknowledged2017-03-15Buffer.add_substitute is not surjective and its documentation is incomplete.
 00067388[OCaml]
typing
minorassigned (yallop)2017-03-15Check for the well-formedness of let rec earlier, before or at type checking
 00067003[OCaml]
documentation
minoracknowledged2017-03-15ocamlopt -shared -o creates by-products in a confusing place; documentation clarification welcome
 00062253[OCaml]
documentation
minoracknowledged2017-03-15weak variables '_a should be documented in the manual
 0006603 [OCaml]
documentation
minorassigned (lpw25)2017-03-15Undocumented behavior with extension constructors added to abstract types
 0006596 [OCaml]
ocamldoc
minorassigned (guesdon)2017-03-15ocamldoc manpage generator does not preserve formatting in {[ ]}
 000656714[OCaml]
otherlibs
minoracknowledged2017-03-15Cannot close properly a file with memory mapped blocks (Bigarray.map_file)
 0006504 [OCaml]
documentation
minorconfirmed2017-03-15document CAML_DEBUG_SOCKET
 00064783[OCaml]
typing
minorconfirmed (garrigue)2017-03-15approx_type ignores structural types
 00064736[OCaml]
standard library
minorassigned (weis)2017-03-15Leak in fscanf
 00064712[OCaml]
ocamldoc
minorassigned (guesdon)2017-03-15ocamldoc doesn't support module aliases
 00063053[OCaml]
typing
minorfeedback (garrigue)2017-03-15Namespace pollution when using 'module type of' in an explicit interface for a pack
 00063042[OCaml]
typing
minoracknowledged (garrigue)2017-03-15Explicit interface for a pack, "module type of" and type generativity
 00063011[OCaml]
standard library
minoracknowledged2017-03-15Improve the printing of exceptions (pp registered)
 0006201 [OCaml]
typing
minorassigned (lpw25)2017-03-15printing of types inconsistent with -short-paths
 00061896[OCaml]
documentation
minorfeedback (doligez)2017-03-15some problems in the 4.01 documentation
 00060113[OCaml]
typing
minorassigned (garrigue)2017-03-15Signatures with private types can make modules less constrained
 0005898 [OCaml]
ocamldoc
minorassigned (guesdon)2017-03-15Ocamldoc does not generate links to nested module types
 00058601[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-03-15ocamldebug documentation issues
 00057831[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-03-15Unix.select returns immediately when waiting for the completion of a non-blocking socket connection
 00056937[OCaml]
otherlibs
minorassigned (doligez)2017-03-15Missing '_environ' symbol used in libunix.a
 00055361[OCaml]
ocamldoc
minorfeedback (guesdon)2017-03-15warning for inherited library classes
 00054298[OCaml]
otherlibs
minorresolved2017-03-15Unix.stat behaves differently on win32 and linux
 00052503[OCaml]
runtime system and C interface
minorassigned (dra)2017-03-15ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path
 00052192[OCaml]
configure and build/install
minorassigned (shindere)2017-03-15use $(INSTALL) instead of 'cp' in Makefiles
 00050021[OCaml]
ocamldoc
minorassigned (guesdon)2017-03-15ocamldoc lost "with type" in "include ... with type ..."
 00049577[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-03-15ocamlc -where, camlp4 -where, etc. add \r\n on mingw
 00046861[OCaml]
ocamldoc
minorconfirmed2017-03-15Wrong module signature in generated doc
 00041738[OCaml]
otherlibs
minoracknowledged2017-03-15Bad memory cleanup of DLL using Thread module
 00039351[OCaml]
typing
minoracknowledged2017-03-15Structural types forming non-regular trees can be defined through recursive modules.
 00036744[OCaml]
typing
featureacknowledged2017-03-15unterminating type checking for recursive modules
 00071301[OCaml]
typing
minorresolved (garrigue)2017-03-15Code may fail to type without -strict-sequence
 00048291[OCaml]
typing
featureacknowledged2017-03-15Recursive modules which do not type
 00048501[OCaml]
typing
featureacknowledged2017-03-15Bad interaction between subtyping and recursive modules
 00058185[OCaml]
typing
featureacknowledged (lpw25)2017-03-15Function signatures be dropped out from recursive modules within higher order functor
 0004134 [OCaml]
typing
minoracknowledged2017-03-15A tiny bug in type checking recursive modules
 00063602[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Relaxing the coherence check for with-constraint re-exports
 0006491 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle class inheritance
 00059845[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Variance information is not properly propagated through functor applications
 0006492 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle variance
 00072401[OCaml]
typing
minorresolved (garrigue)2017-03-15limitation on how the typer fills in missing optional arguments
 00073212[OCaml]
typing
minorresolved (garrigue)2017-03-15Private type in signature clashes with type definition via functor instantiation
  00074091[OCaml]
typing
featureconfirmed2017-03-15meta-issue on type and path propagation
 00073443[OCaml]
typing
minorresolved (garrigue)2017-03-15Inconsistent order when typing constraint patterns
 00039931[OCaml]
typing
minorresolved (garrigue)2017-03-15recursive modules and type constructor scoping
 00045591[OCaml]
typing
featureacknowledged2017-03-15Object inheritance in recursive modules
 00061739[OCaml]
typing
featureassigned (garrigue)2017-03-15Typing error message is worse that before
 00075046[OCaml]
language features
tweakresolved (octachron)2017-03-15Case suggested by exhaustivity checker is wrong
 00071693[OCaml]
~DO NOT USE (was: OCaml general)
textresolved (gasche)2017-03-15Wording of non-exhaustivity warning is confusing for beginners
 00041484[OCaml]
documentation
minoracknowledged2017-03-14Description de -pack dans le manuel
 00039572[OCaml]
documentation
minoracknowledged2017-03-14[> {typexpr} as 't ] yields a syntax error with yacc syntax
 00039472[OCaml]
ocamldoc
minorassigned (guesdon)2017-03-14Bad link
 000551415[OCaml]
typing
featureacknowledged2017-03-14"with module" semantics seem broken
 000713413[OCaml]
typing
featureassigned (garrigue)2017-03-14compiler forcing aliases it shouldn't while reporting type errors
 00059274[OCaml]
typing
minorresolved (garrigue)2017-03-14Type equality broken for conjunctive polymorphic variant tags
 00061243[OCaml]
typing
minorresolved (garrigue)2017-03-14Odd behaviour of type expressions in polymorphic variant tag specifications
 00066541[OCaml]
typing
featureconfirmed2017-03-14Destructive substitution on classes produces unrepresentable module type
 00068825[OCaml]
typing
minorresolved (garrigue)2017-03-14Apparently valid program rejected by the typer
 00069708[OCaml]
typing
featureassigned (garrigue)2017-03-14equality, moregen and unification force expansion of large, non-recursive type constructors
 00050065[OCaml]
typing
featureacknowledged2017-03-14Typing problem with recursive modules
 00063802[OCaml]
typing
featureassigned (lpw25)2017-03-14-short-paths sometimes does not shorten paths
 00070931[OCaml]
typing
minorresolved (garrigue)2017-03-14Confusing error when accessing a record field that doesn't exist
 00063301[OCaml]
typing
minoracknowledged (garrigue)2017-03-14Wrong location for error with polymorphic variant patterns
 00064332[OCaml]
typing
featureacknowledged (garrigue)2017-03-14Wrong module type signature grabbed when using packed libraries
 00064673[OCaml]
typing
minorresolved (garrigue)2017-03-14include of sub-module in recursively-defined module causes loss of type equality
 00065283[OCaml]
typing
featureacknowledged (garrigue)2017-03-14type constraints alter signatures in unusual ways
 00066343[OCaml]
typing
featureacknowledged2017-03-14Type $t is not included in type $t
 00074581[OCaml]
typing
featureassigned (garrigue)2017-03-14Printing of type aliases in signatures could be improved (with nonrec)
 00070771[OCaml]
typing
featureacknowledged2017-03-14[OCaml] Typechecking limitation in presence of mutually recursive modules
 00071292[OCaml]
typing
featureacknowledged2017-03-14constraints and local opens as proper nodes vs extra field
 00069872[OCaml]
typing
minorresolved (garrigue)2017-03-14Strage error message probably caused by universal variable escape (with polymorphic variants)
 00071447[OCaml]
typing
minorresolved (garrigue)2017-03-14Strange undefined global error on trunk
 00072615[OCaml]
typing
minorresolved (garrigue)2017-03-14constraint ignored on (existential) GADT
 00071936[OCaml]
typing
featureacknowledged2017-03-14Terminating semi-colon ignored by -strict-sequence
 00073342[OCaml]
typing
featureacknowledged2017-03-14-nolabels behavior doesn't match documentation
 00054283[OCaml]
typing
featureassigned (garrigue)2017-03-14Behaviour of flatten_fields and various functions in presence of object indexes.
 00047094[OCaml]
typing
minorconfirmed2017-03-14Typing of recursive modules to permissive
 00074961[OCaml]
typing
minorresolved (garrigue)2017-03-14Fixed conjunctive polymorphic variant tags do not unify with themselves
 00064852[OCaml]
typing
minorresolved (garrigue)2017-03-11private lost after rebinding module
 000724220[OCaml]
middle end (typedtree to clambda)
minoracknowledged2017-03-10something is quadratic in pattern matching size
 00041275[OCaml]
otherlibs
majorassigned (dim)2017-03-10Thread.sigmask not working under pthreads
 00041593[OCaml]
otherlibs
minorresolved (shinwell)2017-03-10MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux
 00074472[OCaml]
back end (clambda to assembly)
minorresolved (chambart)2017-03-10Incorrect code generation for nested recursive bindings
 00072549[OCaml]
documentation
textresolved (shinwell)2017-03-10ocamlnat crashes on startup
 00065504[OCaml]
compiler driver
minorresolved (shinwell)2017-03-10Making an empty .cmxa fails on MacOS
 00063731[OCaml]
back end (clambda to assembly)
tweakresolved (shinwell)2017-03-10Warning about trigraph on generated assembly code
 00041082[OCaml]
otherlibs
majorassigned (doligez)2017-03-10Memory-mapping of bigarrays may exhaust address space
 00071004[OCaml]
otherlibs
majorassigned (doligez)2017-03-10Bigarray's caml_ba_alloc doesn't try GC if malloc fails
 00074567[OCaml]
misc
majorresolved (shinwell)2017-03-10Compilation on 4.04.0 takes twice as long as 4.03.0
 00045385[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
crashassigned (doligez)2017-03-10Remotely debugging multi-threaded bytecode program causes segmentation fault.
 00049934[OCaml]
typing
featureassigned (garrigue)2017-03-10A program using recursive modules doesn't compile since 3.10
 00066601[OCaml]
typing
featureacknowledged (garrigue)2017-03-10Quirk of the type-checker: a strange disappearance of warning 20 (unused argument)
 00056248[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-03-10Some dependencies cannot be detected by ocamldep
 00071401[OCaml]
typing
featurefeedback2017-03-10module expression in open
 0006514 [OCaml]
typing
featureacknowledged2017-03-10Type-based selection for rebinding constructors of extensible types
 00072417[OCaml]
typing
crashassigned (maranget)2017-03-09Pattern matching with mutable and lazy patterns is unsound
 00073313[OCaml]
ocamldoc
majorresolved (octachron)2017-03-08Ocamldoc hangs when module references itself
 000671114[OCaml]
standard library
featureacknowledged2017-03-07Deprecate Stream and Genlex
 00066974[OCaml]
lexing and parsing
featureacknowledged2017-03-07Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error
 00050683[OCaml]
lexing and parsing
featureacknowledged2017-03-07ocamlc/camlp4 should give better error messages for syntax errors
 00073122[OCaml]
configure and build/install
featureassigned (shindere)2017-03-07Build compiler distribution tools with $(EXE) extension from the start
 00070651[OCaml]
documentation
featureacknowledged2017-03-07Undocumented exception(s) in the Num module
 00068071[OCaml]
dynlink and natdynlink
featureacknowledged2017-03-07Check that loaded dll*.so have matching ABI
 00066334[OCaml]
typing
featureacknowledged2017-03-07Error message for module used where a module type is expected is confusing
 00061621[OCaml]
lexing and parsing
featureacknowledged2017-03-07Confusing error message when the user name a variable as an existing alphabetic infix operator
 000676512[OCaml]
typing
featureresolved (octachron)2017-03-07Add hint to "Unbound value .{}" error messages
 00061226[OCaml]
typing
featureacknowledged2017-03-07A polymorphic variant type is not recognized as a polymorphic variant
 00050582[OCaml]
typing
featureacknowledged2017-03-07improve type checking of applicative functors
 00060612[OCaml]
lexing and parsing
featureacknowledged2017-03-07Confusing error message when parentheses enclose an invalid expression
 00062914[OCaml]
lexing and parsing
featureassigned (protz)2017-03-07Add a new warning for suspicious octal constants
 000613913[OCaml]
otherlibs
featureacknowledged2017-03-07reversing the Unix and Bigarray dependency
 00059376[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-03-07Support for passing more parameters from external files
 00039229[OCaml]
compiler driver
textconfirmed2017-03-07Detecter inclusions multiples de .cmx
 00075005[OCaml]
standard library
minorresolved (frisch)2017-03-07Remove Uchar.dump
 00071456[OCaml]
runtime system and C interface
featureacknowledged2017-03-07caml_alloc_string allocates empty strings
 000660036[OCaml]
typing
featureassigned (lpw25)2017-03-07-short-paths slow :(
 00060146[OCaml]
typing
featureconfirmed (garrigue)2017-03-07Existentials not allowed with 'let and'
 00051932[OCaml]
otherlibs
featureacknowledged2017-03-07Make unix.{localtime,gmtime} use non reentrant c calls
 00074652[OCaml]
typing
featureconfirmed (garrigue)2017-03-07Strange interpretation of a free type variable in a method type in a signature
 00067462[OCaml]
typing
featureassigned (shinwell)2017-03-07Solutions for the non-printable generated names
 00069134[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-07Customizable number of context rows in pattern matching compilation
 00068603[OCaml]
configure and build/install
featureacknowledged2017-03-07Get rid of #ml from config/Makefile
 00060659[OCaml]
standard library
featureacknowledged2017-03-07Array.init of a float array needlessly initialize array with (f 0)
 00061957[OCaml]
configure and build/install
featureconfirmed2017-03-07Use compilerlibs instead of explicit lists of modules from the compiler
 000736312[OCaml]
documentation
featureacknowledged2017-03-07stdlib mli files documentation comments, start headers at level 1
 00055233[OCaml]
typing
featureassigned (garrigue)2017-03-07Improve "this ground coercion is not principal" warning message
 00073561[OCaml]
documentation
featureacknowledged2017-03-07flambda changes to finalisability should be documented
 00070867[OCaml]
back end (clambda to assembly)
minoracknowledged2017-03-07-for-pack does not implement proper namespace isolation of internal symbols
 00060292[OCaml]
middle end (typedtree to clambda)
featureconfirmed2017-03-07lazy should be primitive
 00073361[OCaml]
typing
featureacknowledged2017-03-07Type errors at the module level are puzzling
 00065111[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-07avoid loading global variables more than necessary
 00061216[OCaml]
back end (clambda to assembly)
featureassigned (shinwell)2017-03-07Atomic load primitives
 00067737[OCaml]
configure and build/install
featureacknowledged2017-03-07Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler
 0006200 [OCaml]
configure and build/install
featureacknowledged2017-03-07Store local configuration in an external file, not in the compilers
 00059037[OCaml]
typing
featureacknowledged2017-03-07integrate unused-variable (and other unused-*) warnings with ordinary type-error messages
 00058744[OCaml]
typing
featureconfirmed2017-03-07Improve error message for polymorphic variant
 00058882[OCaml]
typing
featureacknowledged (garrigue)2017-03-07Better type errors for polymorphic variants and module signatures
 00071261[OCaml]
standard library
featureacknowledged2017-03-07Mark functions in the stdlib that should be inlined
 00040701[OCaml]
runtime system and C interface
featureacknowledged2017-03-07Small tweak for some numeric functions in Pervasives
 00070992[OCaml]
toplevel
featureacknowledged2017-03-07The "ocaml" toplevel should accept "-verbose"
 00061485[OCaml]
standard library
featureassigned (doligez)2017-03-07Optimize Buffer operation with unsafe operations (was: Simple improvements to speed of Buffer module)
 0007450 [OCaml]
middle end (typedtree to clambda)
featureassigned (chambart)2017-03-07constant blocks are in random order
 000612513[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-07Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic
 00074951[OCaml]
runtime system and C interface
minoracknowledged (doligez)2017-03-07GC not working hard enough on bigarrays
 0005684 [OCaml]
configure and build/install
featureconfirmed2017-03-07no uninstall target in the Makefile
 00065325[OCaml]
runtime system and C interface
featureacknowledged2017-03-07ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH
 00062245[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-07introduce cmovcc instruction to speed up certain simple "if" blocks
 000599910[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-07"for" loop not entirely optimal?
 00070616[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-07Optimize test for empty string
 00062427[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-07Better compilation of local functions only used for tail calls
 00074425[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-07array operations on abstract types are never specialized aka "Information Hiding Considered Harmful to Performance"
 00074411[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-07Array operations not specialization during inlining.
 00074403[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-07comparison operations on abstract types and max/min are not specialized
 00073162[OCaml]
typing
featureacknowledged2017-03-07information in the typing error message could be made more precise
 0007318 [OCaml]
typing
featureacknowledged2017-03-07information in the typing error message could be made more precise
 00047371[OCaml]
standard library
featureresolved (frisch)2017-03-07Queue: to_list and rev_iter
 00069472[OCaml]
otherlibs
minorresolved (shinwell)2017-03-07Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC
 0006206 [OCaml]
ocamldoc
textacknowledged2017-03-07Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found"
 000195610[OCaml]
runtime system and C interface
minoracknowledged (doligez)2017-03-06Name clashes
 00069323[OCaml]
middle end (typedtree to clambda)
tweakresolved2017-03-06Superfluous dereferencing when accessing entries in functor arguments
 00066067[OCaml]
middle end (typedtree to clambda)
minorresolved2017-03-06Allocating intermediate floats when ignoring floats.
 00049788[OCaml]
standard library
featureacknowledged2017-03-06exceptions lose identity after marshalling
 00070234[OCaml]
back end (clambda to assembly)
minorresolved (frisch)2017-03-06Using function float arguments prevents unboxing
 00073577[OCaml]
middle end (typedtree to clambda)
minorresolved (frisch)2017-03-06significant compilation time increased after minor tweaks
 00074391[OCaml]
back end (clambda to assembly)
minorresolved (gasche)2017-03-06optimizer always uses jump tables rather than lookup tables
 00074993[OCaml]
documentation
textresolved (shinwell)2017-03-03The flambda manual should document "Fatal error: Assignment of a float to a specialised non-float array"
 00073962[OCaml]
middle end (typedtree to clambda)
majorresolved (shinwell)2017-03-03Large flambda-related performance regression between 4.03 and 4.04
 00073304[OCaml]
typing
crashresolved (garrigue)2017-03-03Missing exhaustivity check for extensible variant
 00016803[OCaml]
platform support (windows, cross-compilation, etc)
featureresolved2017-03-03Patch for compilation in QNX
 00018002[OCaml]
compiler driver
featureassigned (shinwell)2017-03-03-output-obj and c files
 00019191[OCaml]
configure and build/install
featureassigned (shindere)2017-03-032 installation issues: permissions and emacs files
 00022714[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2017-03-03-pack .cma
 00022721[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-03-03extract_unit
 00023752[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-03-03Feature Wish : cmxa and cma manipulation tool like ar
 00026293[OCaml]
typing
featureacknowledged2017-03-03Recursive modules - awkward dynamic semantics
 00026602[OCaml]
typing
featureacknowledged2017-03-03Recursive modules need qualified names?
 00028862[OCaml]
compiler driver
featureresolved2017-03-03Wish: Add default linker options
 00029153[OCaml]
compiler driver
featureacknowledged2017-03-03passer l'option -o au compilateur C
 00035901[OCaml]
compiler driver
featureacknowledged2017-03-03ocamlopt -pack et .p.cmi
 00037474[OCaml]
runtime system and C interface
featureacknowledged2017-03-03catch_break does not always catch break
 00037723[OCaml]
lexing and parsing
featureacknowledged2017-03-03That #%$! syntax error two functions down
 00038194[OCaml]
typing
featureacknowledged2017-03-03Feature Request: Error message for 'Illegal permutation of structure fields'
 00039173[OCaml]
configure and build/install
featureacknowledged2017-03-03ocaml won't compile correctly with icc 9.0 (many standard library calls with end up ending up in Invalid_argument)
 0004060 [OCaml]
dynlink and natdynlink
featureacknowledged2017-03-03Error message Cannot_open_dll should contain list of searched files
 00043037[OCaml]
platform support (windows, cross-compilation, etc)
featureacknowledged2017-03-03Wish: Support for cross-compilation
 00052327[OCaml]
toplevel
featureconfirmed2017-03-03wish: -str option for ocaml
 0004471 [OCaml]
language features
featureacknowledged2017-03-03Wishlist: Support for constant values in recursive modules
 00046224[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2017-03-03Ocamlbuild needs support for generating documentation from implementation files
 00058521[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Ocamlbuild does not pass .ml files to ocamldoc when there is an .mli file present
 00046711[OCaml]
toplevel
featurefeedback (dim)2017-03-03Patch to add "Rest" option to ocaml toplevel
 00046794[OCaml]
language features
featureassigned (lpw25)2017-03-03Better module/namespace system
 0004908 [OCaml]
standard library
featureacknowledged2017-03-03Requesting unsigned types
 00049433[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocaml_lib is not specific enough with tags, leading to highly confusing error message
 00049582[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03negative flags
 00049902[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocamlbuild should use .bat/.cmd files instead of .lnk on windows
 00050443[OCaml]
emacs mode
featureacknowledged2017-03-03Emacs doesn't recognize the backtrace error location format
 00050991[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2017-03-03Dependencies at byte-code link with mlpack
 00051012[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Feature wish: ocamlbuild should track digests of external dependencies
 00051075[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocamlbuild misses local C #includes
 00052127[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocamlbuild does not warn for bad input
 00052273[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03possibility to call ocamlbuild from a sub-directory
 00052432[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2017-03-03Improve the API documentation
 000527015[OCaml]
lexing and parsing
featureacknowledged2017-03-03Ocaml parser error are not meaningfull most of the time
 00052852[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocamlbuild: provide a way to run some rules in source directory
 00052862[OCaml]
typing
featureacknowledged2017-03-03recursive modules fail to compile recursive compilation units
 00052934[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03improve error message on circular build error
 000534814[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2017-03-03no more identifiers with accented characters
 00055406[OCaml]
toplevel
featureacknowledged2017-03-03Installing more modules + separate Dynlink from Toplevellib
 000554733[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Enable the "-use-ocamlfind" option by default
 00055484[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2017-03-03ocamlbuild's ocamlfind integration doesn't support syntax extensions
 00055495[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03add tags for all build-related ocamlbuild command-line options
 00055503[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Cache results from `ocamlfind query` in _build/
 000565218[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Add support for camlp4 native plugin
 00056561[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03verbose tag
 000568019[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03myocamlbuild.ml should be splittable into several files/plugins
 00056996[OCaml]
toplevel
featureconfirmed2017-03-03It would be nice to be able to set up OCAMLINIT root directory
 00057546[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03Not optimal parallel build of dependencies
 000576426[OCaml]
language features
featureacknowledged2017-03-03A way to avoid automatic export of declaration in inferred signatures
 00058234[OCaml]
compiler driver
featureacknowledged2017-03-03wish that ocamlopt compile .cpp files as well as c files
 00058691[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-03ocamlbuild should expose common interface as a library
 000587927[OCaml]
language features
featureresolved (frisch)2017-03-02Static exception handlers (i.e. well-disciplined gotos!)
 00058971[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-02Inheritance of rules
 000705022[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (administrator)2017-03-02An "-args <path>" option to pass command-line flags in a file
 00059431[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-03-02ocamlmklib always adds -L (absolute) directories also the run-time linker path.
 00059561[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Need option to override camlp4o command
 00059631[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Include support for rpath and static linking flags in ocamlbuild
 00059791[OCaml]
typing
featureacknowledged2017-03-01New warning for never used optional argument
 0005990 [OCaml]
language features
featureacknowledged2017-03-01Calling a method from a super class on a modified version of self
 00060023[OCaml]
toplevel
featureacknowledged2017-03-01An easier way to avoid elided printing of values
 00060532[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01less verbose flags for ocamlbuild
 00060609[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01ocamlbuild rules for -principal, -strict-sequence and -short-paths
 000546121[OCaml]
compiler driver
minorassigned (shinwell)2017-03-01Double linking of bytecode modules
 00040809[OCaml]
compiler driver
minorassigned (shinwell)2017-03-01segfault avec ocamlopt -pack
 00060673[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Targets that spit out the files needed to install a .mllib
 000609415[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Reading META files
 00060951[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Interactive init of default project files
 00060973[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Allow user to add new commandline options in the plugin.
 00060984[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Global predicates
 00060991[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Add ocamlbuild tags mirroring command line options
 00061022[OCaml]
compiler driver
featureacknowledged2017-03-01ocaml{c,opt}: Provide command-line options to stop compilation after any stage
 00061031[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Add ocamlbuild support for ocamlfind's -ppopt option
 000620213[OCaml]
misc
featureassigned (frisch)2017-03-01Controlling warnings locally
 00061102[OCaml]
compiler driver
featureconfirmed2017-03-01-impl-suffix missing in the compiler.
 00061342[OCaml]
emacs mode
featureacknowledged2017-03-01emacs mode doesn't support cmt[i] files
 00061452[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01camlidl support in ocamlbuild
 00066987[OCaml]
typing
featureresolved (frisch)2017-03-01allow @@ocaml.deprecated on structure items?
 00062182[OCaml]
compiler driver
tweakconfirmed2017-03-01avoid overwriting files when mistakenly setting -o to a source or intermediate filename
 00061602[OCaml]
typing
featureconfirmed2017-03-01disable shadowing warning for deprecated identifiers?
 00061614[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01add "context" flag in _tags for multi-directories projects
 00061973[OCaml]
compiler driver
featureassigned (hongboz)2017-03-01Explicit support compiling *.camlast(i)
 000647523[OCaml]
~DO NOT USE (was: OCaml general)
majorresolved (whitequark)2017-03-01-o is ignored for C files
 00062363[OCaml]
typing
featureacknowledged2017-03-01No warning for partly evaluated functions at toplevel
 00062653[OCaml]
typing
featurefeedback2017-03-01Toplevel auto-correct should know about the standard library
 00063144[OCaml]
language features
featureassigned (garrigue)2017-03-01Allow "functional record update" for objects
 0006335 [OCaml]
toplevel
featureacknowledged2017-03-01Provide an option to ocamlmktop to continue after top-level exception
 00063813[OCaml]
typing
featurefeedback2017-03-01Report unbound variables before other errors
 00064092[OCaml]
compiler driver
featureresolved2017-03-01`ocamlc -linkall -c test.ml` should activate force-linking in `test.cmo`
 00064232[OCaml]
language features
featureacknowledged2017-03-01lazy exception patterns
 00064805[OCaml]
language features
featureacknowledged2017-03-01Support short-cut extension nodes for field access
 0006518 [OCaml]
compiler driver
featureacknowledged2017-03-01Consider supporting GNU-style error messages
 00065892[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Parameterized tag for manually specifying dependencies between modules
 00066442[OCaml]
language features
featureresolved2017-03-01Matching against infinity, neg_infinity and nan
 000666235[OCaml]
language features
featureacknowledged2017-03-01Add module _ = X syntax
 00069916[OCaml]
back end (clambda to assembly)
featureacknowledged2017-03-01No CSE with string constants
 00066824[OCaml]
language features
featureacknowledged2017-03-01add compiler annotation to check that a function has no free variables
 000668526[OCaml]
language features
featureacknowledged2017-03-01Allow "if let" syntax
 00067104[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-01Better compilation of functors
 00067187[OCaml]
compiler driver
featureconfirmed2017-03-01Specify the filename to use for locations
 00067208[OCaml]
compiler driver
tweakacknowledged2017-03-01Pass -g to ocamlc compiling C files when tagged with "debug"
 00067284[OCaml]
compiler driver
featureacknowledged2017-03-01Enable -g and OCAMLRUNPARAM=b by default
 00067315[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-03-01Do not display warning 40 in a non-ambiguous match
 00067981[OCaml]
compiler driver
featureacknowledged2017-03-01Make ocamlc -c recognize .cpp files
 00068154[OCaml]
emacs mode
featureresolved2017-03-01Report errors before warnings
 000682244[OCaml]
language features
featureacknowledged2017-03-01Object-like notation for calling regular functions
 0006839 [OCaml]
otherlibs
featureassigned (dim)2017-03-01Make Parser.mkoption available
 00068592[OCaml]
platform support (windows, cross-compilation, etc)
featureassigned (shindere)2017-03-01Do not require bitness of compiler host and target to match
 00068735[OCaml]
compiler driver
featureacknowledged2017-03-01Provide a parametrized tags to fix the default warnings "as in version X"
 00068879[OCaml]
language features
featureacknowledged2017-03-01get the name of a function from its body, in order to write precise error message
 00068902[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01provide use_ocamlfind as a tag
 00069018[OCaml]
language features
featureacknowledged2017-03-01Binding variables in disjunctive patterns
 00069184[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation?
 00070218[OCaml]
standard library
minorassigned (garrigue)2017-03-01Comparing lazy values
 00069492[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01ocamlbuild should support -intf -impl and -intf-suffix
 00069604[OCaml]
language features
featureacknowledged2017-03-01Implicit coercions of literals
 00069862[OCaml]
platform support (windows, cross-compilation, etc)
featureassigned (shindere)2017-03-01iOS support for OCaml
 00069971[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2017-03-01Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory
 00070255[OCaml]
language features
featureacknowledged2017-03-01Syntax for re-exporting constructors / fields
 00070317[OCaml]
middle end (typedtree to clambda)
featureresolved (gasche)2017-02-28Warn on ambiguous variables used in a when clause
 000711318[OCaml]
typing
featureconfirmed2017-02-28-safe-string should be a global property
 00070413[OCaml]
language features
featureacknowledged2017-02-28Feature request: allow to declare a method final.
 00070808[OCaml]
compiler driver
featureacknowledged2017-02-28ocamlc/ocamlopt better support for precise builds
 00071232[OCaml]
compiler driver
featureacknowledged2017-02-28Deliver OCaml Compiler Errors in JSON format (or Sexp)
 00071752[OCaml]
language features
featureacknowledged2017-02-28Allow external functions and methods for classes
 00034883[OCaml]
compiler driver
textconfirmed2017-02-28-pack and cmx dependancies
 0007143 [OCaml]
platform support (windows, cross-compilation, etc)
featureacknowledged2017-02-27Annotations for cross-platform development
 000717218[OCaml]
configure and build/install
featureassigned (dra)2017-02-27More information in ocamlc -config
 00071846[OCaml]
misc
featureacknowledged2017-02-27A command-line option to tell the compiler to behave (somehow) as a specific version
 000720610[OCaml]
runtime system and C interface
featureacknowledged2017-02-27Stack overflow does not have exception backtrace
 00072252[OCaml]
middle end (typedtree to clambda)
featureassigned (garrigue)2017-02-27Exclude class method names from the opt-compiled binary
 00072464[OCaml]
back end (clambda to assembly)
featureacknowledged2017-02-27Unboxed version of operations on 64-bit integers for 32-bit ports
 00072511[OCaml]
misc
featureacknowledged2017-02-27Provide alignment-requiring versions of the string and bigstring data access primitives
 00072673[OCaml]
lexing and parsing
featureacknowledged2017-02-27increase some syntactic flexibility for method label names and record label names
 00072752[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2017-02-27meta-issue on consistency of command-line arguments across tools
 0007308 [OCaml]
lexing and parsing
featureacknowledged2017-02-27Parenthesis surprisingly needed by immediate objects
 00073656[OCaml]
platform support (windows, cross-compilation, etc)
featureassigned (shindere)2017-02-27Support on Minix3
 00073831[OCaml]
compiler driver
featureacknowledged2017-02-27provide an explicit flag `-assume-no-mli` for reliable build tools
  00074088[OCaml]
middle end (typedtree to clambda)
featureacknowledged2017-02-27Compile-time fatal error when we write external definitions with wrong signatures
 000743011[OCaml]
typing
featureacknowledged2017-02-27Warning for different module components with the same name
 00066323[OCaml]
typing
minorresolved (lpw25)2017-02-27Inconsistent polymorphic method printing
 0007448 [OCaml]
typing
featureacknowledged2017-02-27Safe-to-marshall annotation
 00074644[OCaml]
language features
featureacknowledged2017-02-27lower the usage of quote in the syntax of type variables
 000596013[OCaml]
standard library
featureresolved (gasche)2017-02-27List.cons function
 000520112[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
tweakresolved2017-02-27Performance issue for ocamlbuild on Windows
 0006595 [OCaml]
compiler driver
tweakassigned (doligez)2017-02-27Location.absolute_path is broken by symlinks
 00038054[OCaml]
language features
featureacknowledged2017-02-27misc. camlp4 + doc
 00039597[OCaml]
toplevel
minorassigned (gasche)2017-02-27no exit on bad #use in ocaml scripts
 00043048[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27ocamlbuild -I does not add directories to the compiler search paths.
 00045742[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27Profiling
 00048703[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27Ocamlbuild is too slow when using the "include" tag on many directories
 00050151[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27ocamlbuild doesn't compile files in subdirectory even if dependencies are correct
 00051384[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27option "-j" doesn't parallelize processes on windows
 000518516[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27creates incomplete cma under some circumstances
 00052086[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27cmo -> cma rule brings too much dependencies in
 00052826[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27.cmo files are generated even for native compilation
 00053716[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27questionable reasoning in job control code
 000575220[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27missing dependencies at byte-code link with mlpack
 00058951[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27Sometimes ocamlbuild does not create symlinks
 000595114[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-27ocamlbuild is incompatible with -cflags -S
 00074927[OCaml]
runtime system and C interface
minoracknowledged2017-02-25Runtime should be hardened against integer overflow
 0007319 [OCaml]
typing
featureacknowledged2017-02-25Provide a way to ignore existentials in GADT pattern matching
 00070892[OCaml]
otherlibs
featureacknowledged2017-02-24Implement `nice` on Windows
 00074941[OCaml]
typing
featureassigned (garrigue)2017-02-24Infer variance for GADTs without equality
 00071591[OCaml]
typing
featureacknowledged (garrigue)2017-02-24Better type propagation within object literals
 00072964[OCaml]
lexing and parsing
featureacknowledged2017-02-24Cannot use a | at the beginning of an or-pattern
 00050705[OCaml]
compiler driver
minorassigned (doligez)2017-02-24Error location output not supported by emacs
 00054731[OCaml]
compiler driver
minorconfirmed2017-02-24Double linking of native modules (with -pack)
 000593622[OCaml]
lexing and parsing
minorassigned (doligez)2017-02-24Weird syntax accepted by OCaml
 00059966[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24ocamlbuild -build-dir dangerous behaviour
 00073803[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featurefeedback2017-02-24support --external-tokens like menhir(ocamlyacc)
 00060135[OCaml]
typing
minorconfirmed2017-02-24duplicate locations cause 'unused warnings' to be lost
 0006080 [OCaml]
compiler driver
minorconfirmed2017-02-24Some error and warning messages are not in the standard format.
 00060851[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24Error reporting for .mlypack
 00064993[OCaml]
lexing and parsing
featureassigned (dim)2017-02-24Parsetree.row_field.Rtag should have constructor location
 00060961[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24Validate what is needed to fully support Windows
 00065582[OCaml]
lexing and parsing
featureacknowledged2017-02-24ext_attributes should be available toplevel open and module
 00070175[OCaml]
back end (clambda to assembly)
featureconfirmed2017-02-24Allow unboxing across "static fail"
 00066777[OCaml]
typing
minorresolved (frisch)2017-02-24Toplevel let should take attributes.
 00061441[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24Ocamlbuild try to rebuild plugin which is just built
 0007388 [OCaml]
typing
featureacknowledged (garrigue)2017-02-24Strenghten type propagation in -principal mode
 000702818[OCaml]
typing
featureacknowledged2017-02-24GADT pattern exhaustiveness checking and abstract types
 00061865[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2017-02-24parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules
 000602311[OCaml]
typing
featureassigned (garrigue)2017-02-24Type-based selection of GADT constructors
 00070911[OCaml]
typing
featureassigned (garrigue)2017-02-24Improve GADT typing with or-clauses
 00062343[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2017-02-24surprising warn tag application order
 00074815[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (octachron)2017-02-24Make string literal more friendly to utf8
 00072052[OCaml]
documentation
tweakresolved (frisch)2017-02-24List.map length limit
 00074903[OCaml]
threads
crashassigned (shinwell)2017-02-24Segfault upon stack overflow in child thread.
 00056884[OCaml]
typing
featureresolved (gasche)2017-02-24Variance annotations for GADTs
 0007493 [OCaml]
compiler driver
featureconfirmed2017-02-24Compiler flag to disable the "implicit interface" feature.
 00062922[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24ocamlbuild -I does not understand paths that aren't relative descendants
 00063278[OCaml]
lexing and parsing
tweakacknowledged2017-02-24Puzzling infinite loop with oddly accepted program
 00064721[OCaml]
toplevel
tweakconfirmed2017-02-24tokens ignored in top level command line after ';;'
 00066044[OCaml]
lexing and parsing
minorconfirmed2017-02-24Expressions like 3#0;; are ignored by the toplevel and the compiler
 00067356[OCaml]
runtime system and C interface
minoracknowledged2017-02-24ocamlc -custom should not link to curses
 00071646[OCaml]
configure and build/install
minoracknowledged2017-02-24missing -ltinfo when linking bytecode with -custom
 00067553[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24Internal error in OCamlbuild when using non_dependency
 000669613[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (frisch)2017-02-24Allow dynlinking code into ocamlc/opt
 000688111[OCaml]
typing
featureacknowledged2017-02-24no warning when ignoring a partially applied function in a match with expression
 00069166[OCaml]
lexing and parsing
tweakresolved2017-02-24warning 50 (documentation comments) too strict
 000692713[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (whitequark)2017-02-24Patch from PR6733 does not work on OS X
 00069293[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (whitequark)2017-02-24incomplete fix of PR6797; ocamlbuild not taken into account
 00069614[OCaml]
lexing and parsing
minoracknowledged2017-02-24Parsing of semicolon followed by binary operator is confusing
 00069997[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24ocamlbuild does not observe OCAMLPARAM
 00070099[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24ocamlbuild -clean says directory is not empty
 00071381[OCaml]
lexing and parsing
minorassigned (lpw25)2017-02-24Warning 50 triggers on "empty" files
 00071412[OCaml]
compiler driver
minoracknowledged2017-02-24non informative link time error when the c compiler couldn't run
 00057128[OCaml]
documentation
textresolved (garrigue)2017-02-24some documentation problems
 00071561[OCaml]
toplevel
minorassigned (dim)2017-02-24Custom exception printers ignored by ocaml toplevel
 00068856[OCaml]
documentation
textresolved (octachron)2017-02-24We should document the fact that bigarray-access syntax needs "open Bigarray" in 4.03
 00074124[OCaml]
documentation
minorresolved (octachron)2017-02-24Unix.single_write_substring is only available since OCaml 4.02
 0007332 [OCaml]
ocamldoc
minoracknowledged2017-02-24Ocamldoc does not recognize included module
 00073644[OCaml]
typing
minorassigned (doligez)2017-02-23Inflexibility of unboxed types in recursive declarations
 00060922[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
majorresolved2017-02-23Broken logic of finding tools on PATH in ocamlbuild
 00072021[OCaml]
toplevel
minorconfirmed2017-02-23ocaml script mode, some errors are reported on stdout and do not lead to non-zero exit
 00072132[OCaml]
lexing and parsing
minoracknowledged2017-02-23Polymorphic variant pattern syntax is too permissive
 00072508[OCaml]
platform support (windows, cross-compilation, etc)
minorconfirmed2017-02-23asmcomp "compile-time constants" do not work on cross-compilers
 00072715[OCaml]
misc
minoracknowledged2017-02-23Undocumented ocamlc and ocamlopt link behaviour difference
 00073353[OCaml]
misc
minorfeedback2017-02-2332bit compiler can't compile binaries over 16 megabytes
 00073862[OCaml]
typing
featureacknowledged2017-02-23In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors
 00074492[OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-02-23excessive inlining of jump tables
 00074532[OCaml]
toplevel
minorassigned (dim)2017-02-23Broken toplevel printing for types and modules (rec/nonrec not shown correctly)
 000727916[OCaml]
standard library
majorresolved2017-02-23Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy)
 00072193[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-02-23ocamlmklib should respect OCAMLPARAM
 00074075[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2017-02-23Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
 0007235 [OCaml]
standard library
minorassigned (weis)2017-02-23Format only flushes std_formatter by at_exit.
 00074892[OCaml]
otherlibs
minorassigned (dra)2017-02-23TZ environment variable on Windows
 000532411[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2017-02-22Linear Scan Register Allocator for ocamlopt and ocamlnat
 0007212 [OCaml]
typing
featureacknowledged (garrigue)2017-02-22Covariance propagation across functors
 00067304[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-02-22Wish: -dsource/-dparsetree for ocamldep
 00069664[OCaml]
ocamldoc
featureacknowledged2017-02-22Cannot attach documentation to polymorphic variants
 00074911[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (gasche)2017-02-22Deep record field replacement
 00071162[OCaml]
configure and build/install
featurefeedback2017-02-22Allow easy retrieval of Makefile.config's values
 000718014[OCaml]
runtime system and C interface
minorassigned (doligez)2017-02-22Change of behavior in Gc.major_slice in 4.03
 0007198 [OCaml]
runtime system and C interface
minorassigned (doligez)2017-02-21caml_alloc_custom/caml_alloc_final API easily leads to GC performance issues
 00074874[OCaml]
standard library
majorresolved (gasche)2017-02-20Fatal error: exception Sys_error("Bad file descriptor") Raised by primitive operation at file "pervasives.ml"
 00071283[OCaml]
back end (clambda to assembly)
minoracknowledged2017-02-20ref_table grows without bound
 00069784[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-02-20Unix.create_process fails to call .bat scripts with spaces in path given arguments with spaces
 0007418 [OCaml]
platform support (windows, cross-compilation, etc)
tweakacknowledged2017-02-20Use of the _WIN32_WINNT macro, minimal version of Windows supported by OCaml
 0001771 [OCaml]
standard library
featureresolved (frisch)2017-02-20Add Map.{alter,alter_add}
 00073766[OCaml]
standard library
minoracknowledged2017-02-20Format printf regression (%d in sizes of boxes and breaks)
 0003560 [OCaml]
standard library
featureresolved (frisch)2017-02-20[WISH] Buffer
 00074456[OCaml]
standard library
featureacknowledged2017-02-20requested Stdlib functions ({Array,String,Byte}.{is_empty, sub_equal, bounds, sub_bounds}).
 00032366[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dra)2017-02-20Queue+Threads+Cygwin native causes crash
 00071773[OCaml]
standard library
minorresolved (frisch)2017-02-20stderr is buffered when using some prerr functions
 00069731[OCaml]
standard library
featureacknowledged2017-02-20Provide functionality to set Pervasive's stderr to unbuffered bahaviour (Unix-like behaviour)
 00071244[OCaml]
typing
featureresolved (frisch)2017-02-20Unused modules are not reported
 000470312[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged (xclerc)2017-02-20Debugging embedded Ocaml applications
 00074822[OCaml]
typing
minorresolved (frisch)2017-02-20The "unused" checks are confused with "unlocated" code
 00074385[OCaml]
typing
majorresolved (frisch)2017-02-20warning +34 exposes #row with private types
 00074205[OCaml]
typing
minorresolved2017-02-19Confusing syntax for labelled and optional argument type annotations
 00074361[OCaml]
typing
tweakresolved2017-02-19"with" constraints and "module type of" not stored compactly in cmi files
 00074463[OCaml]
standard library
tweakacknowledged2017-02-19Unix.gettimeofday allocates memory
 00074705[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorassigned (octachron)2017-02-19Ocamldep can miss dependencies
 00074596[OCaml]
otherlibs
minorresolved2017-02-19Systhreads may be not initialized with multi-threaded callbacks
 00074793[OCaml]
back end (clambda to assembly)
minorresolved2017-02-19Compiling with '-pack' and '-a x.ml -o x.cma' succeeds and but the executable segfaults
 000703510[OCaml]
web site
majorresolved (doligez)2017-02-19caml.inria.fr mantis login page is not SSL
 00074884[OCaml]
ocamldoc
minorresolved (octachron)2017-02-19Wrong Latex output for variant types
 00072724[OCaml]
documentation
minorresolved (octachron)2017-02-18ocamldoc for types lacks newlines in html files
 00068134[OCaml]
otherlibs
featureassigned (dim)2017-02-18Provide Thread.set_uncaught_exception_handler
 00044311[OCaml]
otherlibs
featureacknowledged2017-02-18support O_APPEND in Unix.openfile for Win32
 00057362[OCaml]
typing
featureconfirmed (garrigue)2017-02-18Support GADTs in or-patterns
 00073452[OCaml]
back end (clambda to assembly)
minoracknowledged2017-02-18Some GADT matches cause closure allocation with ocamlc -g
 00073436[OCaml]
standard library
textresolved2017-02-18request for clarification about Map.Make.union (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
 00073474[OCaml]
~DO NOT USE (was: OCaml general)
textresolved2017-02-18Toplevel #use with relative paths have different behavior between 4.02.3 and 4.03.0
 00074164[OCaml]
standard library
textresolved2017-02-17organisation of modules in standard library
 0005067 [OCaml]
ocamldoc
textconfirmed2017-02-17ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces
 00058294[OCaml]
standard library
minorresolved2017-02-17int_of_string failure
 00071042[OCaml]
configure and build/install
minorresolved (doligez)2017-02-17Some Cygwin version do not support -lpthread which configures OCaml without native threads
 00064773[OCaml]
ocamldoc
minorresolved (doligez)2017-02-17Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc
 00065061[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2017-02-17-for-pack seems to be broken in some cases
 00061125[OCaml]
~DO NOT USE (was: OCaml general)
tweakresolved2017-02-17Error messages default to "line 1"
 00071745[OCaml]
documentation
minorresolved2017-02-17OCaml bug with out of the box coordinates
 00071943[OCaml]
otherlibs
minorresolved2017-02-17OCaml Graphics bug with Key_pressed and Poll
 00069286[OCaml]
ocamldoc
trivialassigned (guesdon)2017-02-17remove <h1>title</h1> when an -intro is provided
 0006959 [OCaml]
configure and build/install
tweakassigned (shindere)2017-02-17OCaml inappropriately installs binaries in the library directory
 00074862[OCaml]
standard library
crashresolved2017-02-17double free of mutex in caml_finalize_channel
 00074577[OCaml]
runtime system and C interface
crashresolved (xleroy)2017-02-17crash in free() logic due to what appears like pointer error in 4.03.0 & 4.04.0
 00074684[OCaml]
runtime system and C interface
minorresolved (xleroy)2017-02-16GC-safety of caml_alloc_sprintf
 00053615[OCaml]
typing
featureconfirmed2017-02-16Syntax to specify that a custom type is never a float
 00064704[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved2017-02-16ocamlopt -shared fails on cygwin 64bit
 00071926[OCaml]
typing
majorresolved2017-02-16Strange type system bug
 00071585[OCaml]
otherlibs
majorresolved2017-02-16Event.sync forces a full major GC cycle every 5000 calls at most
 00069624[OCaml]
standard library
featureacknowledged2017-02-16bigarray lacks a free-like call.
 00068008[OCaml]
typing
featureconfirmed2017-02-16simplify using gadt with lambda
 00067565[OCaml]
typing
featureacknowledged2017-02-16add support for type expressions on the right-hand side of type substitutions in signatures
 00065681[OCaml]
standard library
featureacknowledged2017-02-16Reveal the type of Unix.inet_addr
 000645217[OCaml]
standard library
featureassigned (dim)2017-02-16custom format
 00064297[OCaml]
standard library
featureconfirmed2017-02-16A format specifier for bytes
 00062387[OCaml]
back end (clambda to assembly)
featureacknowledged (shinwell)2017-02-16please add an option to enable debug symbols only
 00060497[OCaml]
configure and build/install
featureconfirmed (meurer)2017-02-16fix support for OpenBSD/macppc (32-bit powerpc)
 00059427[OCaml]
runtime system and C interface
majorassigned (bvaugon)2017-02-16Weak hash of serialized closures
 00059595[OCaml]
platform support (windows, cross-compilation, etc)
crashresolved (doligez)2017-02-16Crash in Unix.select
 00074742[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2017-02-16flambda fails with internal error when objects have mutable fields of type float
 000739414[OCaml]
documentation
minorresolved2017-02-16Docs dangerously encourage users to catch Failure _
 00073661[OCaml]
otherlibs
minorresolved2017-02-16testsuite/tests/lib-threads/socketsbuf.ml fails sometimes
 00072643[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved2017-02-16Unix.lockf doesn't behave correctly on Windows
 000722720[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2017-02-16Test suite doesn't pass using latest compiler
 00073671[OCaml]
standard library
minorresolved2017-02-16testsuite/tests/lib-threads/pr5325.ml raises exception on Unix.shutdown
 00069039[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-02-14Unix.execvpe doesn't change environment on Cygwin and maybe Windows
 000525623[OCaml]
otherlibs
majorresolved2017-02-13Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets)
 00065975[OCaml]
documentation
minorresolved2017-02-06the new quoted string literal syntax is not documented
 000747310[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved2017-02-06caml_expand_command_line behaves incorrectly
 00074662[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (dim)2017-02-01a couple of Pprintast issues
 00074631[OCaml]
standard library
minorresolved2017-01-28Graphics.sound provides a normal system beep instead of the requested frequency
 00058703[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (frisch)2017-01-28ocamldep does not take included module types into account.
 00074691[OCaml]
runtime system and C interface
minorassigned (dra)2017-01-27Sys.time returns wall-clock elapsed time on Windows not CPU time
 00074623[OCaml]
documentation
minorresolved (dra)2017-01-24Cygwin licence
 00074602[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (gasche)2017-01-14Uncaught Arg.Bad with some commandlines
 00052102[OCaml]
configure and build/install
featureassigned (shindere)2017-01-08Additional options to control link libraries in OCaml's configure script
 00033691[OCaml]
typing
featureacknowledged2017-01-06feature wish : heritage dans les types objets
 00062883[OCaml]
misc
minorassigned (dra)2017-01-06Mantis bugtracker has hundreds of spam-created users making searching by username difficult
 00060794[OCaml]
otherlibs
featureresolved (dim)2017-01-05Lazy initialization of dynlinked plugins
 00054302[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (dim)2017-01-05Enhanced toplevel
 00017998[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (dim)2017-01-05#init in toplevel (was: 3.07 beta 2 test build/run results)
 00071554[OCaml]
standard library
featureacknowledged2017-01-01support for O_DIRECT
 00066239[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2016-12-27Allow extension nodes after "type", e.g. "type%foo"
 00074371[OCaml]
typing
crashresolved (garrigue)2016-12-26typing assert failure with nonrec priv
 00055921[OCaml]
back end (clambda to assembly)
minorresolved2016-12-23inlining does not reduce polymorphism to concrete type to generate optimized code
 00074321[OCaml]
typing
minorresolved (garrigue)2016-12-17Linking modules compiled with -labels and -nolabels is not safe
 00073424[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (protz)2016-12-16Unix.read exhibits two different behaviors on Windows vs Linux
 00051632[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureresolved (gasche)2016-12-14objinfo: dump globals defined in bytecode executables
 00072165[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2016-12-13Too many parens required in first class module syntax
 00065551[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (lpw25)2016-12-12Make #show_type more useful for open variants
 00070113[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureresolved (shinwell)2016-12-12ocamldep: Argument list too long
 00053624[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-12"let _ : t = v;;" is not accepted without camlp4o
 00071392[OCaml]
~DO NOT USE (was: OCaml general)
textresolved (shinwell)2016-12-12Warning message for unused exception uses "extension", which is confusing.
 00074213[OCaml]
typing
minorresolved (garrigue)2016-12-10Soundness bug with GADTs and lazy
 00074241[OCaml]
typing
minorresolved (garrigue)2016-12-10Typechecker diverges on a stupid program
 000675211[OCaml]
typing
tweakresolved (garrigue)2016-12-10Extensible variant types and scope escaping
 00074142[OCaml]
typing
minorresolved (garrigue)2016-12-10Soundness bug with non-generalized type variable and functors
 00070521[OCaml]
misc
featureresolved (gasche)2016-12-09Travis checklist for due process: testsuite/ and Changes change
 00052202[OCaml]
standard library
featureacknowledged2016-12-09Feature request: Hashtbl.adjust
 00057404[OCaml]
standard library
featureresolved (frisch)2016-12-09Set should have a way to access the "middle" element and its left and right nodes.
 00070143[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureresolved (shinwell)2016-12-09Is there any good reason to install both byte and native versions of the ocaml toolchain binaries ?
 00060225[OCaml]
web site
minorresolved (shinwell)2016-12-09Strange tar file for Caml-Light documentation
  00054523[OCaml]
misc
featureassigned (doligez)2016-12-09On the mantis, non developer can't define relationship between bugs
 00069958[OCaml]
standard library
featureresolved (frisch)2016-12-08Add functions related to type ('a, 'b) result
 00070201[OCaml]
back end (clambda to assembly)
featureassigned (chambart)2016-12-08Proposal: refine there primitives %obj_size, %obj_field, %obj_set_field
 00069362[OCaml]
standard library
featureresolved (frisch)2016-12-08The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml)
 0005079 [OCaml]
platform support (windows, cross-compilation, etc)
trivialassigned (dra)2016-12-08msvc: ocaml compilers should call cl.exe with /W3
 00015401[OCaml]
platform support (windows, cross-compilation, etc)
featureassigned (dra)2016-12-08Debug version of ocaml for win32
 0005189 [OCaml]
standard library
featureacknowledged2016-12-08Exceptions raised by Genlex token streams should be more meaningful
 0006666 [OCaml]
typing
featureacknowledged2016-12-08Feature: shorter syntax to include parts from another module
 00053375[OCaml]
typing
featureassigned (garrigue)2016-12-08variance not inferred for package type
 00035741[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-08Linker deux fois le même_module
 00060704[OCaml]
typing
featureacknowledged2016-12-08There should be a warning for repeated variables even in curried arguments
 00040841[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-08FEATURE REQUSET: debug target
 00026671[OCaml]
otherlibs
featureacknowledged2016-12-08dynlink and toplevel
 00072539[OCaml]
standard library
minoracknowledged2016-12-08at_exit functions get called twice if a callback raises and prevents earlier handlers to execute.
 00005763[OCaml]
standard library
featureresolved (frisch)2016-12-08Suggestion: add_new to map
 00050725[OCaml]
typing
featureresolved (frisch)2016-12-08Absolute name for built-in types such as int, bool, ... ?
 00066551[OCaml]
standard library
featureresolved (frisch)2016-12-08Alias built-in types and pre-defined exceptions in Pervasives
 00058075[OCaml]
standard library
featureresolved (frisch)2016-12-08Filename.get_suffix is needed (3.11.2, but 4.0.x does also not contain it)
 00057922[OCaml]
standard library
featureresolved (doligez)2016-12-08request for Weak.set_some function
 00053737[OCaml]
otherlibs
featureacknowledged2016-12-08Caml thread wont yield
 00046651[OCaml]
standard library
featureresolved (weis)2016-12-08Format: printf syntax for tab boxes
 00066894[OCaml]
back end (clambda to assembly)
featureacknowledged2016-12-08Provide primitive to extract debug information from a closure
 00058559[OCaml]
runtime system and C interface
featureassigned (shinwell)2016-12-08Compiling in debug mode should turn on caml_record_backtrace by default
 00069259[OCaml]
runtime system and C interface
minorassigned (dra)2016-12-08Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock
 00056642[OCaml]
runtime system and C interface
featureresolved (shinwell)2016-12-08Wish: caml_unregister_frametable
 00071856[OCaml]
runtime system and C interface
featureassigned (doligez)2016-12-08Is it possible to get rid of the "fatal" out of memory ?
 0006204 [OCaml]
otherlibs
featureacknowledged2016-12-08debug mode for native otherlibs/systhreads
 00055833[OCaml]
runtime system and C interface
featureresolved (doligez)2016-12-08debug info for OCaml runtime
 00051541[OCaml]
runtime system and C interface
featureassigned (doligez)2016-12-08#define Val_some
 00070661[OCaml]
standard library
minorresolved2016-12-08Exceptions raised while flushing channels in Pervasives.flush_all are simply ignored
 00030121[OCaml]
typing
featureconfirmed (garrigue)2016-12-08hiding module type items
 00073404[OCaml]
runtime system and C interface
featurefeedback2016-12-08callbacks from C to ocaml need nested functions where it shouldn't need to
 00072104[OCaml]
runtime system and C interface
featureresolved (shinwell)2016-12-08Finaliser that are really called when a value will be freed.
 00061019[OCaml]
runtime system and C interface
featureassigned (doligez)2016-12-08Avoiding page table using contiguous heap
 00057132[OCaml]
typing
featureresolved (garrigue)2016-12-07Opening GADTs to get more equations on local abstract types introduced by module unpacking
 00048341[OCaml]
otherlibs
featureresolved (octachron)2016-12-07Bigarray layout changes
 00046191[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (octachron)2016-12-07Provide a objinfo library
 000739215[OCaml]
documentation
minorresolved2016-12-07No clearly correct way to handle Failure exceptions from int_of_string and similar functions
 000598034[OCaml]
typing
featureacknowledged (frisch)2016-12-07warning on use of an identifier shadowed by module open -- feature implemented, but refinements still possible
 00032491[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07ocamlmklib and .cmxa
 00037231[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (doligez)2016-12-07Suggestion for built in constructors
 000403415[OCaml]
otherlibs
featureacknowledged2016-12-07Unix.getpid returns wrong result
 00041704[OCaml]
standard library
featureresolved (garrigue)2016-12-07pi constant
 00038811[OCaml]
standard library
featureresolved (frisch)2016-12-07Wish: a module Int
 00041581[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-07Disable warnings on a per-line basis
 0001614 [OCaml]
typing
featureacknowledged2016-12-07typage explicite avec types de foncteurs
 00035204[OCaml]
typing
featureacknowledged2016-12-07mutable fields and interfaces
 00016073[OCaml]
typing
featureacknowledged2016-12-07polymorphic instance variable in object ?
 0003011 [OCaml]
typing
featureacknowledged2016-12-07module types application
 0001634 [OCaml]
typing
featureacknowledged2016-12-07Feature wish: enhanced module constraints
 00017951[OCaml]
documentation
featureacknowledged2016-12-07Wish: refman.info improvement
 00032381[OCaml]
documentation
featureacknowledged2016-12-07documentation Lexing.position
 00049521[OCaml]
standard library
featureresolved (frisch)2016-12-07wish: after functions in ordered types like Map or Set
 00044891[OCaml]
standard library
featureresolved (frisch)2016-12-07Additional feature for module set
 0003437 [OCaml]
typing
featureacknowledged2016-12-07[Feature request] Hide matching method signatures in type errors
 00059382[OCaml]
standard library
featureresolved (frisch)2016-12-07Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib
 00047571[OCaml]
standard library
featureresolved (frisch)2016-12-07Error propagation
 00007841[OCaml]
documentation
featureacknowledged2016-12-07wishes concerning documentation
 00014821[OCaml]
runtime system and C interface
featureacknowledged2016-12-07Memory leak in byterun/startup.c
 00047518[OCaml]
standard library
featureresolved (garrigue)2016-12-07caml_hash_variant not available in standard library
 00052542[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (shinwell)2016-12-07Compilation of generated .c files with g++
 00035791[OCaml]
standard library
featureresolved (frisch)2016-12-07"select" on Pervasives.in_channel
 00030751[OCaml]
standard library
featureresolved (frisch)2016-12-07Feature request: "select" on channels
 00064612[OCaml]
standard library
featureresolved (frisch)2016-12-07Functions in utils/misc.ml should be moved to stdlib
 00066201[OCaml]
typing
featureacknowledged2016-12-07Allow _ in module type constraints
 00041891[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-07Noreturn attribute definition for MSVC
 00037843[OCaml]
otherlibs
featureacknowledged2016-12-07Racy libc calls
 00014851[OCaml]
typing
featureacknowledged2016-12-07Wish: implicit identity coercion in pattern-matching
 0001216 [OCaml]
typing
featureacknowledged2016-12-07feature: warn when inherit does not produce a subtype
 0003778 [OCaml]
otherlibs
featureacknowledged2016-12-07\\2 in global_replace
 00013752[OCaml]
typing
featureassigned (garrigue)2016-12-07Allow declaring classes "final" so self type has no type variables?
 00036212[OCaml]
typing
featureacknowledged2016-12-07Re: [Caml-devel] Cacher constructeurs/etiquettes dans les types private (PR#3620)
 00060398[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-07Syntax improvement for functor type definitions
 00035125[OCaml]
otherlibs
featureacknowledged2016-12-07Adding SO_REUSEPORT to Unix lib
 00048919[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (doligez)2016-12-07provide CAMLreturn macros suitable for callbacks
 00068181[OCaml]
typing
featureacknowledged2016-12-07Recursive signatures
 00051063[OCaml]
otherlibs
minoracknowledged2016-12-07Two channels sharing a file descriptor fail to seek properly due to buffering
 00045541[OCaml]
otherlibs
featureacknowledged2016-12-07Patch implementing inter-thread shared variable without creating a new thread.
 0004414 [OCaml]
back end (clambda to assembly)
featureacknowledged2016-12-07ocamlopt places symbols interior to statically allocated 'value's
 00051572[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-07caml_convert_signal_number/caml_rev_convert_signal_number should not be private in caml/signals.h
 00018171[OCaml]
standard library
featureacknowledged2016-12-07Complex infinity/nan field values
 00052416[OCaml]
typing
featureacknowledged2016-12-07[module type of] does not produce type equalities for representation types
 00039422[OCaml]
standard library
featureacknowledged2016-12-07More detailed specification of the behaviour of Unix.select
 0002262 [OCaml]
standard library
featureacknowledged2016-12-07Feature wishes for int_of_string
 00049071[OCaml]
typing
featureassigned (garrigue)2016-12-07Type manifests do not support type variable substitutions
 00049981[OCaml]
typing
featureacknowledged2016-12-07Feature request: Sub/Supersets of non-polymorphic variants
 000546013[OCaml]
typing
featureassigned (garrigue)2016-12-07Request: Replace/rename/remove module types
 00046153[OCaml]
typing
tweakacknowledged2016-12-07Typing recursive modules, maybe related to 4470?
 0004672 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07toplevels built with ocamlmktop should automatically get -I dirs added to #directory list
 0004250 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged (weis)2016-12-07ocamldep options to match more of those for ocamlc/ocamlopt
 00015652[OCaml]
standard library
featureconfirmed2016-12-07feature wish: support printf "%8.8s"
 00074295[OCaml]
typing
minorresolved (lpw25)2016-12-07Unused value warning on a recursive value that is used
 00038511[OCaml]
otherlibs
featureacknowledged2016-12-07strftime/strptime (followup to 0003849)
 0003190 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07RFE: ocamldep flag to generate dependency on .cmi even when only .ml is present.
 00049561[OCaml]
standard library
featureresolved (frisch)2016-12-07Printf format: %v or %V to print any value
 00051831[OCaml]
standard library
featureresolved (doligez)2016-12-07Array shuffle function in random module
 0005259 [OCaml]
otherlibs
featureacknowledged2016-12-07Support for extended regular expressions
 0004931 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07ocamldep should be able to compute dependencies of *.mllib files
 00051704[OCaml]
standard library
featureresolved2016-12-07Order of evaluation of the Map.merge function is unspecified (right-to-left in practice)
 0005216 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07ocamldep should be aware of .mll and .mly files by default
 00037254[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07Ocamldep should search for .mly & .mll files
 00045351[OCaml]
otherlibs
featureacknowledged2016-12-07please add function to distinguish IPv6 inet_addrs
 00051961[OCaml]
back end (clambda to assembly)
featureacknowledged2016-12-07Combine Ialloc's across if-then-else
 00045193[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07Interior files handled in ocamldep
 0004090 [OCaml]
otherlibs
featureacknowledged2016-12-07A better interface for select
 0005063 [OCaml]
otherlibs
featureacknowledged2016-12-07Unix module does not offer access to tzname
 00040321[OCaml]
otherlibs
featureacknowledged2016-12-07Associating pthread_t with a thread descriptor impossible
 00052731[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-07natdynlink disabled following faulty test in configure script
 00066592[OCaml]
standard library
featureresolved (frisch)2016-12-07implement Stack.fold
 00036221[OCaml]
standard library
featureresolved (frisch)2016-12-07Fold function for Stack
 00048652[OCaml]
standard library
featureresolved (frisch)2016-12-07Making Set.remove_min_elt publicly accessible
 0004104 [OCaml]
otherlibs
featureacknowledged2016-12-07Condition.timedwait missing in threads library
 00040571[OCaml]
otherlibs
featureacknowledged2016-12-07Unix.sleep does not return remaining seconds
 00041032[OCaml]
standard library
featureresolved (frisch)2016-12-07Hashtbl.arbitrary
 00035893[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed (doligez)2016-12-07ocamldebug should see through abstract interfaces
 00050012[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2016-12-07ocamldebug claims that record type is not a record type
 0005249 [OCaml]
otherlibs
featureacknowledged2016-12-07Unified API to grab a file descriptor in unixsupport.h
 00049191[OCaml]
otherlibs
featureacknowledged2016-12-07Missing code_of_unix_error() in C interface of Unix module
 0001198 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07Wish: make 'break at function' work as good as 'break at line'
 00038493[OCaml]
otherlibs
featureacknowledged2016-12-07strftime/strptime and asctime
 00004801[OCaml]
otherlibs
featureacknowledged2016-12-07Feature wish: More Unix
 00045891[OCaml]
otherlibs
featureacknowledged2016-12-07Wish: FFI API for the Unix module
 00037642[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07[wishlist] ocamldep -native should list .o files
 00034552[OCaml]
otherlibs
featureacknowledged2016-12-07Unix st_ino and st_dev overflow (> 30 bits)
 00007971[OCaml]
otherlibs
featureacknowledged2016-12-07Varying semantics of Unix.utimes
 00033781[OCaml]
otherlibs
featureacknowledged2016-12-07Wish: Need netmask support in Unix
 00018361[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07ocaml : Printer in ocamldebug
 00007871[OCaml]
otherlibs
featureacknowledged2016-12-07Feature wish: Event.timeout
 0001949 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07[Cosmetic] labelled arguments for Ocamllex
 0001487 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07camldebug + install_printer
 00037671[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07OCamlDebug Wishlist
 0001910 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07WISH: beginning of line regexp for ocamllex
 00025335[OCaml]
otherlibs
featureassigned (doligez)2016-12-07Feature wish: Unix.fsync, etc.
 00035827[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2016-12-07(1073741824 = -1073741824) is true !
 00052666[OCaml]
otherlibs
featureacknowledged2016-12-07Unix.{system,open_process_{in,out,full}} are not threadsafe
 0003969 [OCaml]
otherlibs
featureacknowledged2016-12-07Regular expressions should support non-capturing groups
 00016301[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (lpw25)2016-12-07Signature mismatch or Unbound module type?
 0004652 [OCaml]
otherlibs
featureacknowledged2016-12-07Big_Int random numbers
 00051951[OCaml]
back end (clambda to assembly)
featurefeedback2016-12-07Apply const int optimizations to const natint
 00036982[OCaml]
ocamldoc
featureacknowledged2016-12-07Improvements to ocamldoc
 0004872 [OCaml]
otherlibs
featureacknowledged2016-12-07Support for look-around in regular expressions
 0004770 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-12-07ocamllex extended to bind to list types for variable bindings with a + or * regexp
 0004553 [OCaml]
otherlibs
featureacknowledged2016-12-07Num.num_of_string should accept decimal numbers
 0004100 [OCaml]
otherlibs
featureacknowledged2016-12-07Str.split is not tail recursive
 00032651[OCaml]
otherlibs
featureacknowledged2016-12-07Unix.open_flag is missing O_BINARY and O_TEXT
 00063392[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2016-12-07Useless indirection to access a known top-level function
 00063541[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2016-12-07[github patch] cmm arithmetic optimizations
 000528312[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (xleroy)2016-12-07patch to pack functors
 00053846[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (xleroy)2016-12-07alloc of let-rec values is expensive (patch)
 000742519[OCaml]
typing
featureacknowledged (gasche)2016-12-07Heterogeneous physical equality for references (was: Type soundness with GADT and heterogeneous physical equality)
 00074154[OCaml]
documentation
textresolved2016-12-06update ocaml documentation
 00040852[OCaml]
documentation
featureresolved (shinwell)2016-12-06Difficulty in sorting through OCaml documentation
 00044542[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2016-12-06Better control over cross-module optimizations
 00036641[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06C optimization level
 00058731[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Feature: control inlining better
 00039383[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Option to automatically open given modules, as is done for Pervasives.
 00049181[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Inlining & direct function application optimisation
 0005952 [OCaml]
standard library
featureacknowledged2016-12-06Hashtbl.keys => giving back list of keys
 00018291[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06accurate floating-point printing
 00012133[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06exporter les macros Is_young, Is_in_heap, etc.
 00041212[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Please export byterun/io.h
 00039784[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Optimization of types
 00016291[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Wish : open type
 00019131[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06inlining
 00014601[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Enrichir Array
 00070335[OCaml]
standard library
featureresolved (frisch)2016-12-06Proposal: add some primitives to allow user detect whether the backend is javascript or native
 00062794[OCaml]
standard library
featureresolved (gasche)2016-12-06Set.map
 00064508[OCaml]
standard library
featureacknowledged2016-12-06Set.disjoint
 00074282[OCaml]
standard library
featureresolved (gasche)2016-12-06heterogeneous physical equality for references
 00072775[OCaml]
standard library
featureresolved (frisch)2016-12-06Variants of Map.find
 00068294[OCaml]
standard library
featureresolved (frisch)2016-12-06Add Gc.value_{word,byte}_size : 'a -> int
 00069754[OCaml]
standard library
featureresolved (frisch)2016-12-06Truncating buffers could come in handy
 00058262[OCaml]
standard library
featureresolved (frisch)2016-12-06List.take function
 00057991[OCaml]
standard library
featureresolved (frisch)2016-12-06Array.findi, Array.exists
 00047214[OCaml]
standard library
featureresolved (doligez)2016-12-06Lazy is not threadsafe
 00055664[OCaml]
standard library
featureresolved (frisch)2016-12-06Duplicate Dynlink.is_native as Sys.is_native
 00072525[OCaml]
standard library
featureacknowledged2016-12-06Provide %-primitives for operations on raw pointers
 00073273[OCaml]
runtime system and C interface
minorresolved2016-12-05Remove -Werror from installed Makefile.config
 00073772[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2016-12-05-std=gnu99 causes annoying warnings
 00073693[OCaml]
otherlibs
majorresolved (doligez)2016-12-04Str.regexp raises "Invalid_argument: index out of bounds"
 00074132[OCaml]
standard library
majorresolved2016-12-03marshaling of extensible variant types does not work
 00074221[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (dra)2016-11-27When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'.
 000741715[OCaml]
back end (clambda to assembly)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
 00072688[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
 00074192[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-23crash of ocaml when I use Graphics
 000660810[OCaml]
typing
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
 00074103[OCaml]
ocamldoc
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
 00072902[OCaml]
ocamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
 00072111[OCaml]
typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
 00067842[OCaml]
typing
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
 000740514[OCaml]
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
 00074007[OCaml]
standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
 00073412[OCaml]
otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
 00074061[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
 00073171[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
 00069425[OCaml]
standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
 00074034[OCaml]
standard library
majorresolved (gasche)2016-11-07Set.map does not work reliably
 0007399 [OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-04Testsuite running on Windows should verify line-endings of source files are correct
 00073952[OCaml]
typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
 000739113[OCaml]
typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
 00073934[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
 00073819[OCaml]
typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
 00072984[OCaml]
typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
 00073906[OCaml]
typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
 00069692[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
 00069514[OCaml]
typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
 00073713[OCaml]
documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
 00073244[OCaml]
typing
crashresolved (garrigue)2016-10-08Assert_failure typing/ctype.ml:1390:10
 00049819[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (xclerc)2016-10-05ocamlbuild/my_std.ml shouldn't call bash
 00073781[OCaml]
typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
 00073743[OCaml]
typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
 000671411[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
 000736012[OCaml]
typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
 000598549[OCaml]
typing
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
 00073541[OCaml]
configure and build/install
minorresolved2016-09-28'flexlink.opt' build failure
 00072637[OCaml]
platform support (windows, cross-compilation, etc)
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
 000719718[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
 00067165[OCaml]
typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
 00073503[OCaml]
ocamldoc
featureresolved (gasche)2016-09-13Generate a meta directive to improve mobile experience
 00045182[OCaml]
ocamldoc
featureacknowledged2016-09-12Better location format for reporting errors in ocamldoc
 00073257[OCaml]
typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
 00040727[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
 00072452[OCaml]
documentation
minorresolved (gasche)2016-09-08documentation for warning 52
 0007274 [OCaml]
ocamldoc
featureacknowledged2016-09-08a testsuite for ocamldoc
 00065091[OCaml]
~DO NOT USE (was: OCaml general)
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
 00073074[OCaml]
back end (clambda to assembly)
crashresolved2016-09-02Crashes in garbage collector
 000648611[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
 000648412[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
 00073394[OCaml]
otherlibs
featureresolved (gasche)2016-09-01Support bigarray with 0 dimension as scalar
 00073332[OCaml]
ocamldoc
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
 00067862[OCaml]
typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
 000520427[OCaml]
back end (clambda to assembly)
featureacknowledged2016-07-12Unboxing parameters and more kinds of local bindings
 00049096[OCaml]
otherlibs
featureacknowledged2016-07-03int31 type for Bigarray
 00070732[OCaml]
standard library
featureacknowledged2016-06-15Test OCaml's PRNG against the new TestU01 testsuite
 00070742[OCaml]
typing
featureassigned (garrigue)2016-06-07There is no easy way to give names to existential variables introduced by GADT pattern-matching
 00065005[OCaml]
standard library
featurefeedback2016-04-21New functions for bytes/strings
 00060681[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2016-04-20Extend .odocl to allow file copy
 00070948[OCaml]
documentation
textresolved (gasche)2016-04-19We need a documentation for compiler warnings and errors
 00042543[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2016-04-19-dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
 00058431[OCaml]
ocamldoc
minorassigned (guesdon)2016-04-18Ocamldoc: "Module or module type ?? not found" when including a functor application
 00067891[OCaml]
documentation
minorresolved2016-04-18Debugging byte code and profiling native code documentation
  00064482[OCaml]
back end (clambda to assembly)
minorresolved (doligez)2016-04-05Strange interaction of classes and modules
 00059016[OCaml]
ocamldoc
featureassigned (guesdon)2016-03-19please provide location info for warnings
 00062946[OCaml]
runtime system and C interface
majorassigned (garrigue)2016-03-07Poor tracking of extra heap resources
 000573790[OCaml]
configure and build/install
featureassigned2016-02-23adapt build system for cross-compilation
 0005889 [OCaml]
typing
textconfirmed2016-01-27polymorphic variant typing error message not meaningful
 00046771[OCaml]
standard library
textconfirmed2016-01-27set_text_size doesn't work
 0006750 [OCaml]
typing
featureacknowledged2016-01-27Make the idents of the predefined type constructors (such as int, char) persistent or global
 00065374[OCaml]
back end (clambda to assembly)
minorfeedback2015-12-11Stack overflow of ocamlopt while linking a pack with name clashes
 000591620[OCaml]
typing
minorresolved2015-12-11Compile time performance of opens
 00066435[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-12-06Warn equality with NaN
 00059757[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (frisch)2015-12-03Pushing the evaluation of default expression for optional arguments is not specified
 00067444[OCaml]
typing
minorassigned (garrigue)2015-12-03Univars can escape through polymorphic variants
 00069175[OCaml]
typing
featureacknowledged2015-12-02can't redefine modules
 00067515[OCaml]
typing
featureresolved2015-12-02Introduce structural constants (literals) into Parsetree/Typedtree
 0007049 [OCaml]
configure and build/install
featureassigned (chambart)2015-12-02implement a Makefile target to measure code coverage of the testsuite
 00067391[OCaml]
documentation
featureconfirmed2015-12-02Adding OCaml-version in docs (header-/footer-line)
 00067032[OCaml]
typing
featureacknowledged2015-12-02Allow to specify the type of defined values with "val" declarations
 00050742[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2015-11-28wrong backtrace printed when mixing modules with and without debug info
 000581313[OCaml]
runtime system and C interface
majorassigned (doligez)2015-11-27Out of memory when using the Marshal module
 0006974 [OCaml]
ocamldoc
featureacknowledged2015-11-27Allow diversions / allow composing of document structure / allow changing of order of sections
 0006971 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2015-11-27ocamldep -sort, make it work on cmo and cmx files
 0006952 [OCaml]
typing
featureacknowledged2015-11-27access to row variables
 00070016[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2015-11-24consider not relying on libbfd
 00064223[OCaml]
typing
featureacknowledged (doligez)2015-11-23Support "exception" under or-patterns
 00058713[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-11-23accept piping typedtree
 00041665[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2015-11-22Incorrect module initialisation order with "external" declarations
 00065383[OCaml]
standard library
featurefeedback2015-10-03Allowing to modify Buffers in place
 00059509[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-07-02relocatable ocaml compiler
 0006877 [OCaml]
otherlibs
featureconfirmed2015-06-15Adding lchown to Unix
 00068336[OCaml]
typing
featureacknowledged2015-06-15Type "while true do ... done" specially
 00068233[OCaml]
typing
featureacknowledged2015-06-15Give multiple interfaces (internal/external) to one compilation unit of a library
 00058498[OCaml]
typing
featurefeedback2015-06-02Add support for absolute module path
 00066536[OCaml]
typing
minorresolved (gasche)2015-05-26GADT and subtyping
 00056133[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (frisch)2015-05-15Flexdll's dll produced from several object files fails to load
 00049865[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-04-08Add efficient functions to create sets from lists or arrays
 00068252[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featurefeedback2015-04-03Feature wish: ocamldebug-breakpoints: break [ @ module ] function
 00068211[OCaml]
typing
featureacknowledged2015-03-30Relax the conditions on generating types in applicative functors
 000601911[OCaml]
back end (clambda to assembly)
tweakresolved2015-03-27Unnecessary calls to caml_modify
 00021871[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (xclerc)2015-03-13Re: wowcamldebug exit issue
  00060416[OCaml]
configure and build/install
featureacknowledged2015-03-11ocamlopt on Cygwin64: caml_program, caml_apply2, caml_apply3 in amd64.S (and, possibly, others) are undefined
 00062862[OCaml]
standard library
featureacknowledged2015-02-09I think isprintf is missing from the Printf module of the stdlib
 00062874[OCaml]
standard library
featureconfirmed2015-01-26FIlename.{Unix,Win32,Cygwin} should be exported
 0003997 [OCaml]
otherlibs
featureacknowledged2015-01-23Allocating a bigarray from C
 00040742[OCaml]
back end (clambda to assembly)
featureacknowledged2015-01-23Patch for in-place compilation of structures
 00059556[OCaml]
typing
featureresolved (gasche)2014-12-20support "let module rec ... in ..."
 0006520 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2014-12-17Printing backtrace of printer failures
 0006519 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2014-12-17Listing installed printers in ocamldebug
 00067071[OCaml]
ocamldoc
featureconfirmed (guesdon)2014-12-12custom tags not handled for some elements
 00061415[OCaml]
documentation
featurefeedback2014-11-24Document Char.unsafe_chr
 00066379[OCaml]
typing
featureacknowledged2014-11-17Type alias or module type alias should not be taken into account for signature inclusion
 00063563[OCaml]
typing
featurefeedback2014-10-30Allowing extra 'type' fields in signature inclusion check
 00066134[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2014-10-16armv5te code generation bug: shift expression expected -- `subs r0,r3,#4294967296'
 00042692[OCaml]
documentation
minorresolved (garrigue)2014-09-25man page for labltk
 00054012[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2014-09-24OCamlbrowser ignores command line arguments on win32/msvc
 00065081[OCaml]
otherlibs
minorresolved2014-09-15Tkvars.version() call gives Fatal error
 00065233[OCaml]
otherlibs
blockresolved (shinwell)2014-08-29caml_ba_get_N treats char elements as signed
 0006066 [OCaml]
typing
featureacknowledged2014-08-21extensible records
 00061075[OCaml]
platform support (windows, cross-compilation, etc)
featureacknowledged2014-08-21Lack of quoting helpers for use with Unix.open_process*
 00059461[OCaml]
otherlibs
minorresolved (doligez)2014-07-30CAMLprim taking (void) as argument
 00059473[OCaml]
otherlibs
minorresolved (doligez)2014-07-30CAMLprim returning void
 0006479 [OCaml]
otherlibs
featureacknowledged2014-07-16type Unix.sockaddr does not express IPv6 addresses with zone info
 00064582[OCaml]
standard library
featurefeedback2014-07-16Cleanup camlinternalFormat
 00063691[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2014-07-16[github patch] shave the yacc: add yacc support to some of Menhir's feature to facilitate migration
 0006338 [OCaml]
standard library
featureacknowledged2014-07-16Generic operation canary
 00063243[OCaml]
typing
featureacknowledged2014-07-16Module aliasing and ability to reference the current and parent modules
 0006313 [OCaml]
typing
featureacknowledged2014-07-16[github patch] warn user when a type variable in a type constraint has been instantiated
 00062972[OCaml]
standard library
featurefeedback2014-07-16new function in Printf : kksprintf
 00063643[OCaml]
back end (clambda to assembly)
crashresolved2014-06-05ocamlopt crashes with "Fatal error: exception Stack_overflow"
 00059256[OCaml]
~DO NOT USE (was: OCaml general)
crashresolved (gasche)2014-06-05Stack overflow in compiler
 0006199 [OCaml]
configure and build/install
featureconfirmed2014-06-04Allow generating bytecode executables without the header
 000587815[OCaml]
typing
featureacknowledged2014-06-04Forward type declarations as an alternative to recursive modules
 0006378 [OCaml]
typing
featureacknowledged2014-06-04Type-checking hooks
 00064265[OCaml]
back end (clambda to assembly)
featureacknowledged (doligez)2014-06-03Improve compilation of common idioms on strings
 00056265[OCaml]
back end (clambda to assembly)
minorresolved2014-05-30Stack overflow in ocamlopt.opt: Comballoc.combine
 00050051[OCaml]
otherlibs
featureacknowledged2014-05-04Lowlevel interface to Digest and Bigarray support
  00058665[OCaml]
typing
featureacknowledged (garrigue)2014-04-30avoiding duplication of shared right hand production while pattern matching a gadt
 000566727[OCaml]
typing
featureacknowledged2014-04-23Autofocusing pattern on record field to simplify matching trees with meta-data
 0006086 [OCaml]
documentation
featureacknowledged2014-04-02ocamlbuild documentation with ocamlfind
 00059344[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2014-03-19undefined integer overflows
  0006254 [OCaml]
ocamldoc
featureassigned (guesdon)2014-02-19Generate links to exception definitions referenced in @raise tags
 00061051[OCaml]
otherlibs
featureconfirmed2014-02-18is_inet6_addr from unix.ml should be exposed in unix.mli
 00061331[OCaml]
runtime system and C interface
featureacknowledged2014-01-20Wish: make max size of custom space runtime-configurable
 00061382[OCaml]
standard library
featureacknowledged2014-01-17Adding a domain function in Map.Make
 00060095[OCaml]
standard library
featureacknowledged2013-12-16Format.{pp_print_opt, pp_print_list, pp_print_text}
 0005733 [OCaml]
documentation
featureconfirmed2013-12-16Feature: Recommend ocamlc as driver for compiling C sources for stublibs
 00061301[OCaml]
typing
featureacknowledged2013-12-12Wish: when inheriting from class types, allow to subtype methods
 000565817[OCaml]
configure and build/install
featureacknowledged2013-12-05ocaml compiler lib asttypes
 00055615[OCaml]
typing
featureconfirmed2013-12-05Option to disable -principal mode
 00049173[OCaml]
otherlibs
featureacknowledged2013-11-05Make Graphics module use modern X fonts instead of X core fonts
 00036681[OCaml]
otherlibs
featureacknowledged2013-11-05Graphics broken pipe
 00036661[OCaml]
otherlibs
featureacknowledged2013-11-05Bug in the Unix.sleep when used after Graphics.synchronize
 0003716 [OCaml]
otherlibs
featureacknowledged2013-11-05Graphics + Threads gives fatal error on Thread.delay
 0003693 [OCaml]
otherlibs
featureacknowledged2013-11-05Multiple mouse buttons for Graphics
 0001711 [OCaml]
otherlibs
featureacknowledged2013-11-05Re: ocaml: module Graphics: type event should include a resize event
 0001710 [OCaml]
otherlibs
featureacknowledged2013-11-05Re: ocaml: module Graphics: foreground and background colors should be changeable
 00032221[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2013-11-05ocamlyacc - line numbers for undefined symbols
 0003195 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2013-11-05ocamllex, FEATURE WISH
 00004852[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2013-11-05ocamlbrowser and load path ...
 00052039[OCaml]
back end (clambda to assembly)
featureacknowledged2013-10-08Faster bigarray access
 00043332[OCaml]
otherlibs
featureacknowledged2013-09-05Bigarray: complex <-> float
 00043477[OCaml]
ocamldoc
featureassigned (guesdon)2013-09-04Seems not possible to comment each case of polymorphic variant types ?
 0004270 [OCaml]
documentation
featureassigned (garrigue)2013-09-04man page for ocamlbrowser
 00019523[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2013-08-30référence et polymorphisme
 00060597[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2013-08-06add -output-obj rules for ocamlbuild
 00061004[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2013-08-01generate a backend for ninja?
 00059001[OCaml]
ocamldoc
featureassigned (guesdon)2013-07-28please add location info to record fields and variant constructors
 00047481[OCaml]
standard library
minorresolved2013-07-19Complex +-0.
 00044306[OCaml]
ocamldoc
featureconfirmed (guesdon)2013-07-12ocamldoc -css-style doesn't seem to work.
 0005857 [OCaml]
ocamldoc
featureassigned (guesdon)2013-07-11OCamldoc could produce nice mathematical symbols
 000507810[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (frisch)2013-07-01<package-type-constraint> does not allow constraints for non-nullary abstract types
 00042093[OCaml]
ocamldoc
featureacknowledged2013-06-29ocamldoc + -pack
 0005863 [OCaml]
typing
featureacknowledged2013-06-28Allow contractibility annotation in abstract types interface
 00057974[OCaml]
typing
featurefeedback2013-06-28Warning on abstract generic comparison/equality
 00059131[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2013-06-17Cleaning up Parsetree: removing prefixes
 00057532[OCaml]
configure and build/install
featureacknowledged2013-06-14compiler-libs/ocamltoplevel.cmxa
 00060271[OCaml]
documentation
minorresolved2013-06-10Undocumented portability of Marshal.to_channel
 00060346[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2013-06-07pattern-matching of arrays in lets should not print warnings
 000601212[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (gasche)2013-05-17object-like notation for module functions
 00054076[OCaml]
ocamldoc
featureassigned (guesdon)2013-05-07Inline submodules, single-page HTML
 00058441[OCaml]
~DO NOT USE (was: OCaml general)
crashresolved (gasche)2013-02-18stack overflow compiling medium size list constants
 00059081[OCaml]
standard library
featureresolved2013-01-28Add a timeout function to the standard library
 00058472[OCaml]
typing
minorresolved (frisch)2012-12-05module T1 = T2 does not result in (module T1) = (module T2) as types
 00054945[OCaml]
standard library
featureresolved2012-11-15Read/write binary representation of int32, int64 and float
 00057492[OCaml]
typing
featureacknowledged2012-10-04Module "includes" not equivalent to rebinding for types using first-class modules
 00057671[OCaml]
otherlibs
featureconfirmed2012-09-29Feature wish: a way to know at runtime which version of the thread library
 00055411[OCaml]
back end (clambda to assembly)
tweakresolved2012-09-24Pervasives.min/max are not inlined
 00051553[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2012-09-19Toplevel doesn't accept the type info it writes itself.
 00048262[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2012-09-17bad error reporting + ocamlbuild/ocamlbuild_where.ml is not created by make -f Makefile.nt world
 00039772[OCaml]
~DO NOT USE (was: OCaml general)
trivialresolved2012-09-11Unsupported link switch used MSVC8
 00016513[OCaml]
documentation
minorresolved2012-09-11incorrect and incomplete camlp4 documentation
 00051261[OCaml]
~DO NOT USE (was: OCaml general)
crashresolved (frisch)2012-09-06ocamlnat crashes if a library is loaded and then an unknown symbol is entered
 00046893[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2012-08-02Error not raised with max_int+1 integer literal
 00018772[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2012-08-02difficulty around @responsefile with msvc
 00049323[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2012-08-02Floating point exception is raised in caml_startup if FE_INEXACT or FE_INVALID are set
 00039861[OCaml]
otherlibs
featureresolved2012-08-02Serialized bigarrays do not preserve sharing
 00054582[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2012-07-16Stdlib should provide a common set of infix operators on numeric data types
 00040062[OCaml]
documentation
featureconfirmed2012-07-12Camlp4's default lexer fails on negative numbers
 00048711[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2012-07-11ocamlyacc and type clash between ml and mli
 00051412[OCaml]
~DO NOT USE (was: OCaml general)
majorresolved2012-07-08IO mutex and threads
 00056288[OCaml]
configure and build/install
featureconfirmed2012-07-07ocaml-4 and findlib issues
 00048681[OCaml]
otherlibs
featureassigned (doligez)2012-06-30Request: make CAML_BA_MAX_MEMORY runtime-configurable
 00056414[OCaml]
configure and build/install
minorresolved2012-06-22.mli of compiler files should be installed too
 0004987 [OCaml]
otherlibs
featureacknowledged2012-06-21caml/bigarray.h should export more
 0004496 [OCaml]
otherlibs
featureacknowledged2012-06-21Request for unsigned in32 support in Bigarray module
 0004464 [OCaml]
otherlibs
featureacknowledged2012-06-21Function for determining mmap status missing
 00021061[OCaml]
otherlibs
featureacknowledged2012-06-21Feature request: bigarray & bignum printers
 00019094[OCaml]
otherlibs
featureacknowledged2012-06-21Unix.read isn't POSIX-confirmant even if the OS is
 0004763 [OCaml]
otherlibs
featureacknowledged2012-06-21Better alpha support
 0005187 [OCaml]
otherlibs
featureacknowledged2012-06-21bool Bigarray
 00056152[OCaml]
standard library
featureresolved (frisch)2012-05-15Being able to (un)marshal to/from compressed files
 00011543[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2012-05-12string_of_float loosing precision
 00048081[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2012-04-08better compilation of min and max
 000550010[OCaml]
back end (clambda to assembly)
minorresolved2012-04-04compilation of "module rec" makes runtime assumptions on closure representation
 00055562[OCaml]
configure and build/install
minorresolved2012-03-29Share more between Unix and Windows makefiles
 00055581[OCaml]
configure and build/install
minorresolved2012-03-29Getting rid of ocamlbuild rules for OCaml itself
 00055591[OCaml]
configure and build/install
minorresolved2012-03-27Build ocamlbuild with Makefiles
 00055571[OCaml]
configure and build/install
minorresolved2012-03-27./configure for mingw and msvc ports
 00047554[OCaml]
platform support (windows, cross-compilation, etc)
featureresolved2012-03-14Graphics.resize_window is not implemented on win32
 00055336[OCaml]
ocamldoc
featureacknowledged2012-03-13Please provide an option for cross-referencing independent libraries
 00055156[OCaml]
typing
featureassigned (garrigue)2012-02-29typing of or-pattern could be more general