MantisBT - All Projects

Word 2000 Word View

Viewing Issues( 1 - 1157 )
  PID # CategorySeverityStatusUpdatedSummary
 00074847[OCaml]
otherlibs
minorconfirmed2017-02-25Cygwin32 in bytecode: problem with Bigarray and Unix.fork
 00073105[OCaml]
-OCaml general
featureacknowledged2017-02-25per-type fragile match warning
 00074951[OCaml]
runtime system
minornew2017-02-25GC not working hard enough on bigarrays
 00074927[OCaml]
runtime system
minoracknowledged2017-02-25Runtime should be hardened against integer overflow
 0007319 [OCaml]
typing
featureacknowledged2017-02-25Provide a way to ignore existentials in GADT pattern matching
 00072752[OCaml]
-OCaml general
featureconfirmed2017-02-24meta-issue on consistency of command-line arguments across tools
 000612513[OCaml]
back end (clambda to assembly)
minoracknowledged2017-02-24Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic
 00058129[OCaml]
-OCaml general
minorresolved (frisch)2017-02-24Adapt emacs mode to generate .annot from .cmt files
 00070808[OCaml]
-OCaml general
featurenew2017-02-24ocamlc/ocamlopt better support for precise builds
 00071232[OCaml]
-OCaml general
featureacknowledged2017-02-24Deliver OCaml Compiler Errors in JSON format (or Sexp)
 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
 0007143 [OCaml]
-OCaml general
featureacknowledged2017-02-24Annotations for cross-platform development
 0007255 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-02-24polymorphic install_printer in ocamdebug
 00073341[OCaml]
typing
minoracknowledged2017-02-24-nolabels behavior doesn't match documentation
 00072964[OCaml]
lexing and parsing
featureacknowledged2017-02-24Cannot use a | at the beginning of an or-pattern
 00047912[OCaml]
typing
minoracknowledged2017-02-24ocamlc -i produces incorrect result
 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
 00060612[OCaml]
lexing and parsing
minoracknowledged2017-02-24Confusing error message when parentheses enclose an invalid expression
 00073311[OCaml]
ocamldoc
majorconfirmed (octachron)2017-02-24Ocamldoc hangs when module references itself
 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
 00056074[OCaml]
documentation
textassigned (octachron)2017-02-24FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations
 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]
-OCaml general
featureresolved (octachron)2017-02-24Make string literal more friendly to utf8
 00072052[OCaml]
documentation
tweakresolved (frisch)2017-02-24List.map length limit
 00042082[OCaml]
otherlibs
minorassigned (shinwell)2017-02-24Dynlink.crc_interfaces n'est pas bien backtrackée
 00039225[OCaml]
-OCaml general
textacknowledged2017-02-24Detecter inclusions multiples de .cmx
 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.
 0006950 [OCaml]
otherlibs
minorassigned (shinwell)2017-02-24Dynlink wrong symbol
 00069573[OCaml]
otherlibs
minorassigned (shinwell)2017-02-24Modules name conflict during dynamic loading
 00064622[OCaml]
otherlibs
minorassigned (shinwell)2017-02-24Dynlinking duplicate module clobbers host program state
 0004229 [OCaml]
documentation
minorassigned (shinwell)2017-02-24Casser le typage avec Dynlink
 00048397[OCaml]
otherlibs
crashassigned (shinwell)2017-02-24natdynlink reproducible segfault
 00062914[OCaml]
lexing and parsing
minorassigned (protz)2017-02-24Add a new warning for suspicious octal constants
 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 ';;'
 00065503[OCaml]
compiler driver
minorconfirmed2017-02-24Making an empty .cmxa fails on MacOS
 000655616[OCaml]
standard library
minorassigned (gasche)2017-02-24Backtraces truncated with 4.02
 00066044[OCaml]
lexing and parsing
minorconfirmed2017-02-24Expressions like 3#0;; are ignored by the toplevel and the compiler
 00066974[OCaml]
lexing and parsing
minoracknowledged2017-02-24Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error
 00067356[OCaml]
runtime system
minoracknowledged2017-02-24ocamlc -custom should not link to curses
 00071646[OCaml]
configure and build/install
minoracknowledged2017-02-24missing -ltinfo when linking bytecode with -custom
 00067462[OCaml]
typing
minorassigned (shinwell)2017-02-24Solutions for the non-printable generated names
 00067553[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved2017-02-24Internal error in OCamlbuild when using non_dependency
 000676510[OCaml]
typing
minoracknowledged2017-02-24Add hint to "Unbound value .{}" error messages
 0006778 [OCaml]
compiler driver
minoracknowledged2017-02-24singly unlinkable cma orders silently allowed
 00068071[OCaml]
dynlink and natdynlink
minoracknowledged2017-02-24Check that loaded dll*.so have matching ABI
 000669613[OCaml]
-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
 00071482[OCaml]
lexing and parsing
minornew2017-02-24Confusing error message when parentheses are added around an expression
 00069614[OCaml]
lexing and parsing
minoracknowledged2017-02-24Parsing of semicolon followed by binary operator is confusing
 00071936[OCaml]
typing
minoracknowledged2017-02-24Terminating semi-colon ignored by -strict-sequence
 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
 00070865[OCaml]
back end (clambda to assembly)
minoracknowledged2017-02-24-for-pack does not implement proper namespace isolation of internal symbols
 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
 00074112[OCaml]
ocamldoc
minorassigned (octachron)2017-02-23HTML output of ocamldoc is strange
 00072008[OCaml]
lexing and parsing
minorfeedback2017-02-23Testing parsing/printing/parsing roundtripping shows problems with Pprintast / -dsource
 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
 0007223 [OCaml]
misc
minoracknowledged2017-02-23Pack, CMI and module aliases
 000724218[OCaml]
middle end (typedtree to clambda)
minoracknowledged2017-02-23something is quadratic in pattern matching size
 00072508[OCaml]
platform support (windows, cross-compilation, etc)
minorconfirmed2017-02-23asmcomp "compile-time constants" do not work on cross-compilers
 00072593[OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-02-23flambda does not collapse pattern matching in some cases
 00072548[OCaml]
documentation
textacknowledged2017-02-23ocamlnat crashes on startup
 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
 00073495[OCaml]
middle end (typedtree to clambda)
minorconfirmed2017-02-23Fatal error: Map.disjoint_union when compiling
 00073611[OCaml]
compiler driver
minoracknowledged2017-02-23ocaml.warning does not work with ocaml.ppwarning
 0007308 [OCaml]
-OCaml general
featureacknowledged2017-02-23Parenthesis surprisingly needed by immediate objects
 00073862[OCaml]
typing
featureacknowledged2017-02-23In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors
 0007402 [OCaml]
typing
minoracknowledged2017-02-23"ocamlc -i ..." can generate mli-file that is not compilable
 00074492[OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-02-23excessive inlining of jump tables
 0007450 [OCaml]
middle end (typedtree to clambda)
minorassigned (chambart)2017-02-23constant blocks are in random order
 00074532[OCaml]
toplevel
minorassigned (dim)2017-02-23Broken toplevel printing for types and modules (rec/nonrec not shown correctly)
 00074581[OCaml]
typing
minorassigned (garrigue)2017-02-23Printing of type aliases in signatures could be improved (with nonrec)
 00049787[OCaml]
standard library
majoracknowledged2017-02-23exceptions lose identity after marshalling
 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)
 00074566[OCaml]
misc
majorassigned (shinwell)2017-02-23Compilation on 4.04.0 takes twice as long as 4.03.0
 00072193[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-02-23ocamlmklib should respect OCAMLPARAM
 00074075[OCaml]
-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.
 000723814[OCaml]
standard library
minoracknowledged2017-02-23Marshal.to_channel does not clean the channel internal buffers when it fails
 00072471[OCaml]
documentation
minorconfirmed (doligez)2017-02-23Compiler internals exported as standard library modules in documentation
 00074782[OCaml]
ocamldoc
minorassigned (octachron)2017-02-23Duplicate module preambles are generated by ocamldoc
 00074892[OCaml]
otherlibs
minorassigned (dra)2017-02-23TZ environment variable on Windows
 000532411[OCaml]
-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
 00070702[OCaml]
typing
featureacknowledged2017-02-22Unexported values can cause non-generalisable variables error
 00074911[OCaml]
-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
 00061485[OCaml]
standard library
minorassigned (doligez)2017-02-22Optimize Buffer operation with unsafe operations (was: Simple improvements to speed of Buffer module)
 0007281 [OCaml]
ocamldoc
minoracknowledged2017-02-22Incorrect .TH macro in Arg(3o)
 00072614[OCaml]
typing
minorassigned (garrigue)2017-02-22constraint ignored on (existential) GADT
 000718014[OCaml]
runtime system
minorassigned (doligez)2017-02-22Change of behavior in Gc.major_slice in 4.03
 00074471[OCaml]
back end (clambda to assembly)
minorassigned (chambart)2017-02-22Incorrect code generation for nested recursive bindings
 0007198 [OCaml]
runtime system
minorassigned (doligez)2017-02-21caml_alloc_custom/caml_alloc_final API easily leads to GC performance issues
 000632914[OCaml]
runtime system
majorassigned (shinwell)2017-02-21File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed.
 00074874[OCaml]
standard library
majorresolved (gasche)2017-02-20Fatal error: exception Sys_error("Bad file descriptor") Raised by primitive operation at file "pervasives.ml"
 00073854[OCaml]
otherlibs
minorassigned (dra)2017-02-20Unix.stat on Windows returns timestamps which depend on the DST setting
 00061216[OCaml]
back end (clambda to assembly)
minorassigned (shinwell)2017-02-20Atomic load primitives
 000377122[OCaml]
platform support (windows, cross-compilation, etc)
majoracknowledged2017-02-20Reading Unicode filenames fails on Windows
 00072511[OCaml]
-Ocaml optimization
featureacknowledged2017-02-20Provide alignment-requiring versions of the string and bigstring data access primitives
 00071283[OCaml]
back end (clambda to assembly)
minoracknowledged2017-02-20ref_table grows without bound
 00058944[OCaml]
back end (clambda to assembly)
featureacknowledged2017-02-20[patch] Avoid boxing float/int32/int64 when doing direct call
 00052086[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged (xclerc)2017-02-20cmo -> cma rule brings too much dependencies in
 00043048[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged (xclerc)2017-02-20ocamlbuild -I does not add directories to the compiler search paths.
 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
 00073093[OCaml]
standard library
featurenew2017-02-20provides a `update` function for map
 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
 00074442[OCaml]
-OCaml general
featureacknowledged2017-02-20module assignment enables use of deprecated values without a warning
 00051011[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20Feature wish: ocamlbuild should track digests of external dependencies
 00049581[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20negative flags
 00049901[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20ocamlbuild should use .bat/.cmd files instead of .lnk on windows
 00049432[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20ocaml_lib is not specific enough with tags, leading to highly confusing error message
 00052272[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20possibility to call ocamlbuild from a sub-directory
 00051074[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20ocamlbuild misses local C #includes
 00052851[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged (xclerc)2017-02-20ocamlbuild: provide a way to run some rules in source directory
 00043036[OCaml]
-OCaml general
featureacknowledged (xclerc)2017-02-20Wish: Support for cross-compilation
 00048702[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged (xclerc)2017-02-20Ocamlbuild is too slow when using the "include" tag on many directories
 00051383[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged (xclerc)2017-02-20option "-j" doesn't parallelize processes on windows
 00052825[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged (xclerc)2017-02-20.cmo files are generated even for native compilation
 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
 00074334[OCaml]
runtime system
minorresolved2017-02-19Minor Gc can takes several minutes to complete
 00074553[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-02-19ocamllex and ocamlyacc should check that there are balanced parentheses in code blocks
 00074543[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-02-19Mishandling of raw string literals by ocamlyacc
 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
 00074837[OCaml]
typing
minoracknowledged2017-02-19Strange behavior for function with polymorphic type
 000703510[OCaml]
web site
majorresolved (doligez)2017-02-19caml.inria.fr mantis login page is not SSL
 000745261[OCaml]
back end (clambda to assembly)
crashassigned (shinwell)2017-02-19Compiler segfault on large generated source code
 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
 00073361[OCaml]
typing
textacknowledged2017-02-18Type errors at the module level are puzzling
 00072581[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved2017-02-18ocamldebug segfault on install_printer using module aliasing
 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
 00072673[OCaml]
-OCaml general
featureacknowledged2017-02-18increase some syntactic flexibility for method label names and record label names
 00073474[OCaml]
-OCaml general
textresolved2017-02-18Toplevel #use with relative paths have different behavior between 4.02.3 and 4.03.0
 00073591[OCaml]
typing
minorassigned (garrigue)2017-02-18With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message
  00074088[OCaml]
-OCaml general
featureacknowledged2017-02-18Compile-time fatal error when we write external definitions with wrong signatures
 00074164[OCaml]
standard library
textresolved2017-02-17organisation of modules in standard library
 00072364[OCaml]
documentation
textacknowledged2017-02-17document how to use Mantis (including for release triaging)
 0006206 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
textacknowledged2017-02-17Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found"
 0005067 [OCaml]
ocamldoc
textconfirmed2017-02-17ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces
 00069552[OCaml]
documentation
textacknowledged2017-02-17"opaque" option is not in OCAMLPARAM nor man pages
 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
 00038291[OCaml]
-OCaml general
tweakacknowledged2017-02-17Nom de module = nom d'exception
 00064773[OCaml]
ocamldoc
minorresolved (doligez)2017-02-17Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc
 00065061[OCaml]
-OCaml general
minorresolved2017-02-17-for-pack seems to be broken in some cases
 00071261[OCaml]
standard library
tweakacknowledged2017-02-17Mark functions in the stdlib that should be inlined
 00061125[OCaml]
-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
 00072159[OCaml]
typing
crashassigned (yallop)2017-02-17Unsoundness with GADTs and let rec
 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
crashresolved (xleroy)2017-02-17crash in free() logic due to what appears like pointer error in 4.03.0 & 4.04.0
 000711316[OCaml]
-OCaml general
featureconfirmed2017-02-17-safe-string should be a global property
 00074853[OCaml]
-Ocaml optimization
featureacknowledged2017-02-17Adding an attribute for abstract types that are not float / lazy
 00074684[OCaml]
runtime system
minorresolved (xleroy)2017-02-16GC-safety of caml_alloc_sprintf
 000705022[OCaml]
-OCaml general
featureresolved (administrator)2017-02-16An "-args <path>" option to pass command-line flags in a file
 00053615[OCaml]
typing
featureconfirmed2017-02-16Syntax to specify that a custom type is never a float
 00066384[OCaml]
documentation
minorfeedback2017-02-16docs should mention that open! also suppresses warning 33
 00071446[OCaml]
typing
minorconfirmed (garrigue)2017-02-16Strange undefined global error on trunk
 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
 000717218[OCaml]
-OCaml general
featureassigned (dra)2017-02-16More information in ocamlc -config
 00069871[OCaml]
typing
minorassigned (garrigue)2017-02-16Strage error message probably caused by universal variable escape (with polymorphic variants)
 00069624[OCaml]
standard library
featureacknowledged2017-02-16bigarray lacks a free-like call.
 00068592[OCaml]
-OCaml general
featureconfirmed2017-02-16Do not require bitness of compiler host and target to match
 00068008[OCaml]
typing
featureconfirmed2017-02-16simplify using gadt with lambda
 00067928[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed (whitequark)2017-02-16Dynlink support for ocamldebug
 00067565[OCaml]
typing
featureacknowledged2017-02-16add support for type expressions on the right-hand side of type substitutions in signatures
 000671114[OCaml]
standard library
minoracknowledged2017-02-16Deprecate Stream and Genlex
 00067047[OCaml]
-OCaml general
featureacknowledged2017-02-16Expose more compiler-libs internals in Toploop
 00066011[OCaml]
documentation
tweakacknowledged2017-02-16advertise caml_strdup in 19.10.2 instead of strcpy
 0006595 [OCaml]
-OCaml general
tweakacknowledged2017-02-16Location.absolute_path is broken by symlinks
 00065792[OCaml]
platform support (windows, cross-compilation, etc)
tweakacknowledged2017-02-16Different behavior of %g format under Windows
 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
 0006373 [OCaml]
back end (clambda to assembly)
tweakconfirmed2017-02-16Warning about trigraph on generated assembly code
 00063067[OCaml]
-OCaml general
tweakconfirmed2017-02-16[style patches] use (@@) to reduce parentheses in typing/predef.ml and asmcomp/cmmgen.ml
 00062387[OCaml]
back end (clambda to assembly)
featureacknowledged (shinwell)2017-02-16please add an option to enable debug symbols only
 00062245[OCaml]
back end (clambda to assembly)
tweakacknowledged2017-02-16introduce cmovcc instruction to speed up certain simple "if" blocks
 00061226[OCaml]
typing
tweakacknowledged2017-02-16A polymorphic variant type is not recognized as a polymorphic variant
 00060497[OCaml]
configure and build/install
featureconfirmed (meurer)2017-02-16fix support for OpenBSD/macppc (32-bit powerpc)
 00060292[OCaml]
-Ocaml optimization
tweakconfirmed2017-02-16lazy should be primitive
 000599910[OCaml]
back end (clambda to assembly)
tweakacknowledged2017-02-16"for" loop not entirely optimal?
 00059036[OCaml]
typing
tweakacknowledged2017-02-16integrate unused-variable (and other unused-*) warnings with ordinary type-error messages
 00058882[OCaml]
typing
tweakacknowledged (garrigue)2017-02-16Better type errors for polymorphic variants and module signatures
 00058744[OCaml]
typing
tweakconfirmed2017-02-16Improve error message for polymorphic variant
 00040701[OCaml]
standard library
tweakacknowledged2017-02-16Small tweak for some numeric functions in Pervasives
 00071291[OCaml]
typing
minoracknowledged2017-02-16constraints and local opens as proper nodes vs extra field
 0007084 [OCaml]
documentation
minoracknowledged2017-02-16ocamldoc parsing error issues incorrect line number
 0007077 [OCaml]
typing
minoracknowledged2017-02-16[OCaml] Typechecking limitation in presence of mutually recursive modules
 00066343[OCaml]
typing
minoracknowledged2017-02-16Type $t is not included in type $t
 00066323[OCaml]
typing
minoracknowledged2017-02-16Inconsistent polymorphic method printing
 00065282[OCaml]
typing
minoracknowledged2017-02-16type constraints alter signatures in unusual ways
 0006504 [OCaml]
documentation
minorconfirmed2017-02-16document CAML_DEBUG_SOCKET
 00064851[OCaml]
typing
minorassigned (garrigue)2017-02-16private lost after rebinding module
 00064783[OCaml]
typing
minorconfirmed (garrigue)2017-02-16approx_type ignores structural types
 00064736[OCaml]
standard library
minorassigned (weis)2017-02-16Leak in fscanf
 00064712[OCaml]
ocamldoc
minorassigned (guesdon)2017-02-16ocamldoc doesn't support module aliases
 00064673[OCaml]
typing
minorassigned (garrigue)2017-02-16include of sub-module in recursively-defined module causes loss of type equality
 00064332[OCaml]
typing
minoracknowledged (garrigue)2017-02-16Wrong module type signature grabbed when using packed libraries
 00064162[OCaml]
typing
minorconfirmed2017-02-16The same string can mean different types in the same error message
 00063801[OCaml]
typing
minorconfirmed2017-02-16-short-paths sometimes does not shorten paths
 00063602[OCaml]
typing
minorconfirmed (garrigue)2017-02-16Relaxing the coherence check for with-constraint re-exports
 00063301[OCaml]
typing
minoracknowledged2017-02-16Wrong location for error with polymorphic variant patterns
 00062253[OCaml]
documentation
minoracknowledged2017-02-16weak variables '_a should be documented in the manual
 00058184[OCaml]
typing
minoracknowledged2017-02-16Function signatures be dropped out from recursive modules within higher order functor
 0005684 [OCaml]
configure and build/install
minorconfirmed2017-02-16no uninstall target in the Makefile
 00050062[OCaml]
typing
minoracknowledged2017-02-16Typing problem with recursive modules
 00040809[OCaml]
-OCaml general
minorconfirmed (frisch)2017-02-16segfault avec ocamlopt -pack
 00039472[OCaml]
ocamldoc
minorassigned (guesdon)2017-02-16Bad link
 00038053[OCaml]
-OCaml general
minoracknowledged2017-02-16misc. camlp4 + doc
 00037892[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-02-16Addition to bug 0003771
 00037861[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-02-16Addition to bug 0003771
 00034681[OCaml]
documentation
minoracknowledged2017-02-16Sys_error documentation
 0007122 [OCaml]
configure and build/install
minoracknowledged2017-02-16[cross-compilation] Use -I otherlibs/$(UNIXLIB) when building systhreads
 0007121 [OCaml]
configure and build/install
minoracknowledged2017-02-16[cross-compilation] Use target's ld as a basis for ${partialld}
 00071175[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorconfirmed2017-02-16ocamldep behaviour regarding extension points is not documented
 0007093 [OCaml]
typing
minoracknowledged2017-02-16Confusing error when accessing a record field that doesn't exist
 00070691[OCaml]
standard library
minoracknowledged2017-02-16Scanf "%F" or "%H" and float_of_string are broken for "nan" on Windows
 000705617[OCaml]
typing
minorassigned (garrigue)2017-02-16"include" with module aliases
 00070482[OCaml]
ocamldoc
minoracknowledged2017-02-16Support for other inputenc than latin1 in ocamldoc -latex
 00069707[OCaml]
typing
minorassigned (garrigue)2017-02-16equality, moregen and unification force expansion of large, non-recursive type constructors
 000696812[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorconfirmed2017-02-16ocamldep -one-line doesn't work with -sort
 00069342[OCaml]
typing
minoracknowledged2017-02-16nonrec misbehaves with GADTs
 00068824[OCaml]
typing
minorassigned (garrigue)2017-02-16Apparently valid program rejected by the typer
 00068612[OCaml]
configure and build/install
minorassigned (doligez)2017-02-16Do not install native-code executables when cross-compiling
 00068603[OCaml]
configure and build/install
minoracknowledged2017-02-16Get rid of #ml from config/Makefile
 00067772[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-02-16ocamldebug fails to use installed printer on types defined in the module being stepped
 00067737[OCaml]
configure and build/install
minoracknowledged2017-02-16Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler
 0006769 [OCaml]
standard library
minoracknowledged2017-02-16Formatting tags are lost on a flush
 00067451[OCaml]
typing
minorassigned (garrigue)2017-02-16`as` ignored on types containing universal variables
 00067326[OCaml]
standard library
minoracknowledged2017-02-16Buffer.add_substitute is not surjective and its documentation is incomplete.
 0006709 [OCaml]
documentation
minorconfirmed2017-02-16Document the associativity of operators declared in Pervasives in Pervasives itself.
 00067003[OCaml]
documentation
minoracknowledged2017-02-16ocamlopt -shared -o creates by-products in a confusing place; documentation clarification welcome
 000667320[OCaml]
typing
minoracknowledged (garrigue)2017-02-16Redundant type annotation on argument causes polymorphic-recursive definition to be rejected
 00066601[OCaml]
typing
minoracknowledged (garrigue)2017-02-16Quirk of the type-checker: a strange disappearance of warning 20 (unused argument)
 0006654 [OCaml]
typing
minorconfirmed2017-02-16Destructive substitution on classes produces unrepresentable module type
 0006603 [OCaml]
documentation
minorassigned (lpw25)2017-02-16Undocumented behavior with extension constructors added to abstract types
 00065482[OCaml]
documentation
minorconfirmed2017-02-16Misleading comment on private type abbreviations
 00061896[OCaml]
documentation
minorfeedback (doligez)2017-02-16some problems in the 4.01 documentation
 00061242[OCaml]
typing
minorassigned (garrigue)2017-02-16Odd behaviour of type expressions in polymorphic variant tag specifications
 00060113[OCaml]
typing
minorconfirmed2017-02-16Signatures with private types can make modules less constrained
 00059872[OCaml]
documentation
minorconfirmed2017-02-16Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr"
 00059273[OCaml]
typing
minoracknowledged (garrigue)2017-02-16Type equality broken for conjunctive polymorphic variant tags
 0005898 [OCaml]
ocamldoc
minorassigned (guesdon)2017-02-16Ocamldoc does not generate links to nested module types
 00058601[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minoracknowledged2017-02-16ocamldebug documentation issues
 00057831[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-02-16Unix.select returns immediately when waiting for the completion of a non-blocking socket connection
 00056937[OCaml]
otherlibs
minorconfirmed2017-02-16Missing '_environ' symbol used in libunix.a
 00055361[OCaml]
ocamldoc
minorfeedback (guesdon)2017-02-16warning for inherited library classes
 00050021[OCaml]
ocamldoc
minorassigned (guesdon)2017-02-16ocamldoc lost "with type" in "include ... with type ..."
 00046861[OCaml]
ocamldoc
minorconfirmed2017-02-16Wrong module signature in generated doc
 00043699[OCaml]
-OCaml general
minorconfirmed2017-02-16The emacs function "Show types at point" does not show the type of methods
 00041484[OCaml]
documentation
minoracknowledged2017-02-16Description de -pack dans le manuel
 00039597[OCaml]
-OCaml general
minorconfirmed2017-02-16no exit on bad #use in ocaml scripts
 00071794[OCaml]
documentation
minoracknowledged2017-02-16Interfacing with C missing documentation and helper macros and functions
 00071784[OCaml]
standard library
minoracknowledged2017-02-16Calling exit in at_exit callback results in infinite loop.
 000713413[OCaml]
typing
minorassigned (garrigue)2017-02-16compiler forcing aliases it shouldn't while reporting type errors
 00071321[OCaml]
runtime system
minorassigned (shinwell)2017-02-16trouble with pthread_atfork on openBSD
 00069901[OCaml]
runtime system
minorassigned (doligez)2017-02-16Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory
 00069225[OCaml]
typing
minorassigned (garrigue)2017-02-16Regression with -principal type inference
 00069004[OCaml]
configure and build/install
minorassigned (shindere)2017-02-16Native code compiler for 32-bit OS X
 00068643[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (doligez)2017-02-16linking with flexlink fails when passing arguments by response file
 000675410[OCaml]
standard library
minoracknowledged2017-02-16topdirs.cmi multiple locations
 00067388[OCaml]
typing
minorassigned (yallop)2017-02-16Check for the well-formedness of let rec earlier, before or at type checking
 00066334[OCaml]
typing
minoracknowledged2017-02-16Error message for module used where a module type is expected is confusing
 0006596 [OCaml]
ocamldoc
minorassigned (guesdon)2017-02-16ocamldoc manpage generator does not preserve formatting in {[ ]}
 00065871[OCaml]
typing
minorconfirmed (garrigue)2017-02-16#show_module prints types incorrectly
 000656713[OCaml]
otherlibs
minoracknowledged2017-02-16Cannot close properly a file with memory mapped blocks (Bigarray.map_file)
 00063053[OCaml]
typing
minorfeedback (garrigue)2017-02-16Namespace pollution when using 'module type of' in an explicit interface for a pack
 00063042[OCaml]
typing
minoracknowledged (garrigue)2017-02-16Explicit interface for a pack, "module type of" and type generativity
 00063011[OCaml]
standard library
minoracknowledged2017-02-16Improve the printing of exceptions (pp registered)
 0006201 [OCaml]
typing
minorassigned (lpw25)2017-02-16printing of types inconsistent with -short-paths
 000551414[OCaml]
typing
minoracknowledged2017-02-16"with module" semantics seem broken
 00054297[OCaml]
otherlibs
minoracknowledged2017-02-16Unix.stat behaves differently on win32 and linux
 00052503[OCaml]
runtime system
minorassigned (dra)2017-02-16ocamlrun 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-02-16use $(INSTALL) instead of 'cp' in Makefiles
 00049577[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2017-02-16ocamlc -where, camlp4 -where, etc. add \r\n on mingw
 00048291[OCaml]
typing
minoracknowledged2017-02-16Recursive modules which do not type
 00041738[OCaml]
otherlibs
minoracknowledged2017-02-16Bad memory cleanup of DLL using Thread module
 00041592[OCaml]
otherlibs
minoracknowledged2017-02-16MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux
 00039572[OCaml]
documentation
minoracknowledged2017-02-16[> {typexpr} as 't ] yields a syntax error with yacc syntax
 00059427[OCaml]
runtime system
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
 00072417[OCaml]
typing
crashacknowledged2017-02-16Pattern matching with mutable and lazy patterns is unsound
 00074742[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2017-02-16flambda fails with internal error when objects have mutable fields of type float
 00071004[OCaml]
otherlibs
majoracknowledged2017-02-16Bigarray's caml_ba_alloc doesn't try GC if malloc fails
 000739414[OCaml]
documentation
minorresolved2017-02-16Docs dangerously encourage users to catch Failure _
 00073656[OCaml]
-OCaml general
featureacknowledged2017-02-16Support on Minix3
 00072464[OCaml]
-Ocaml optimization
featureacknowledged2017-02-16Unboxed version of operations on 64-bit integers for 32-bit ports
 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]
-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)
 00074644[OCaml]
-OCaml general
featurenew2017-02-10lower the usage of quote in the syntax of type variables
 00062714[OCaml]
-OCaml general
featureacknowledged2017-02-09'let open' in class expressions
 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
 00074353[OCaml]
back end (clambda to assembly)
minornew2017-02-05ocamlopt.opt 4.04.0+spacetime crashes while compiling package camlp4.4.04+1
 00074662[OCaml]
-OCaml general
minorresolved (dim)2017-02-01a couple of Pprintast issues
 00074729[OCaml]
-OCaml general
featureacknowledged2017-02-01Please replace cmi files atomically when writing new versions
 000499116[OCaml]
-OCaml general
featureacknowledged2017-01-31ocaml{c,opt} may truncate and recreate a .cmi, leading to (rare) failures of make -j
 00074711[OCaml]
typing
minornew2017-01-31[@@unboxed] triggers warning 4 (fragile pattern matching)
 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.
 00056248[OCaml]
typing
minoracknowledged2017-01-28Some dependencies cannot be detected by ocamldep
 00074691[OCaml]
runtime system
minorassigned (dra)2017-01-27Sys.time returns wall-clock elapsed time on Windows not CPU time
 00074673[OCaml]
typing
featurenew2017-01-26Treat .mli type constraints the same as if they were signatures in the .ml
 00074623[OCaml]
documentation
minorresolved (dra)2017-01-24Cygwin licence
 00074652[OCaml]
typing
minorconfirmed (garrigue)2017-01-24Strange interpretation of a free type variable in a method type in a signature
 00074403[OCaml]
-Ocaml optimization
featureacknowledged2017-01-15comparison operations on abstract types and max/min are not specialized
 00074602[OCaml]
-OCaml general
minorresolved (gasche)2017-01-14Uncaught Arg.Bad with some commandlines
 00074425[OCaml]
-Ocaml optimization
featureacknowledged2017-01-14array operations on abstract types are never specialized aka "Information Hiding Considered Harmful to Performance"
 00074411[OCaml]
-Ocaml optimization
featureacknowledged2017-01-14Array operations not specialization during inlining.
 0007448 [OCaml]
-OCaml general
featurenew2017-01-08Safe-to-marshall annotation
 00072805[OCaml]
standard library
featurenew2017-01-08Add basic unsigned int32 and int64 support
 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
 000613912[OCaml]
otherlibs
minoracknowledged2017-01-05reversing the Unix and Bigarray dependency
 00060794[OCaml]
otherlibs
featureresolved (dim)2017-01-05Lazy initialization of dynlinked plugins
 00046711[OCaml]
-OCaml general
featurefeedback (dim)2017-01-05Patch to add "Rest" option to ocaml toplevel
 00054302[OCaml]
-OCaml general
featureresolved (dim)2017-01-05Enhanced toplevel
 00017998[OCaml]
-OCaml general
featureresolved (dim)2017-01-05#init in toplevel (was: 3.07 beta 2 test build/run results)
 00071456[OCaml]
runtime system
tweakacknowledged2017-01-04caml_alloc_string allocates empty strings
 000666235[OCaml]
-OCaml general
featureacknowledged2017-01-04Add module _ = X syntax
 0004908 [OCaml]
-OCaml general
featureacknowledged2017-01-03Requesting unsigned types
 00072316[OCaml]
typing
crashassigned (yallop)2017-01-02let-rec wellformedness check too permissive with nested recursive bindings
 00071554[OCaml]
standard library
featureacknowledged2017-01-01support for O_DIRECT
 00073736[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majorassigned (dra)2016-12-30Include OCaml lib directory in search path in ocamlmklib
 00074433[OCaml]
typing
tweakresolved (octachron)2016-12-29Doubtful "unused open" warning on module used for record field disambiguation
 00066239[OCaml]
-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
 00074391[OCaml]
-Ocaml optimization
minorresolved (gasche)2016-12-22optimizer always uses jump tables rather than lookup tables
 000743011[OCaml]
-OCaml general
featureacknowledged2016-12-21Warning for different module components with the same name
 00073577[OCaml]
-Ocaml optimization
minorresolved (frisch)2016-12-21significant compilation time increased after minor tweaks
 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
 000195610[OCaml]
runtime system
minoracknowledged (doligez)2016-12-14Name clashes
 00051632[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureresolved (gasche)2016-12-14objinfo: dump globals defined in bytecode executables
 00052326[OCaml]
-OCaml general
featureconfirmed2016-12-13wish: -str option for ocaml
 00073122[OCaml]
configure and build/install
tweakassigned (shindere)2016-12-13Build compiler distribution tools with $(EXE) extension from the start
 00072165[OCaml]
-OCaml general
minorresolved (garrigue)2016-12-13Too many parens required in first class module syntax
 00019191[OCaml]
-OCaml general
featureassigned (shindere)2016-12-132 installation issues: permissions and emacs files
 000731316[OCaml]
typing
minorassigned (garrigue)2016-12-13Typing regression between 4.03 and 4.04 branch with signature coercion.
 00072252[OCaml]
-OCaml general
featureassigned (garrigue)2016-12-13Exclude class method names from the opt-compiled binary
 00065551[OCaml]
-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
 0006839 [OCaml]
-OCaml general
featureassigned (dim)2016-12-12Make Parser.mkoption available
 00053624[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-12"let _ : t = v;;" is not accepted without camlp4o
 00037723[OCaml]
-OCaml general
featureacknowledged2016-12-12That #%$! syntax error two functions down
 00071392[OCaml]
-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 ?
 00058903[OCaml]
-OCaml general
featureacknowledged2016-12-09ocamlc does not fully take into consideration -o parameter
 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
 00039211[OCaml]
-OCaml general
featureacknowledged2016-12-09structural equality for cyclic data structure cannot be interrupted
 00068879[OCaml]
-OCaml general
featureacknowledged2016-12-09get the name of a function from its body, in order to write precise error message
 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
 00072897[OCaml]
back end (clambda to assembly)
minorconfirmed (chambart)2016-12-08Flambda: No unboxing of float in simple local recursive function
 00069362[OCaml]
standard library
featureresolved (frisch)2016-12-08The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml)
 000700010[OCaml]
runtime system
majoracknowledged2016-12-08ocamlrun built with Intel compilers segfaults
 00039173[OCaml]
-OCaml general
featureacknowledged2016-12-08ocaml won't compile correctly with icc 9.0 (many standard library calls with end up ending up in Invalid_argument)
 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
 00066824[OCaml]
-Ocaml optimization
featureacknowledged2016-12-08add compiler annotation to check that a function has no free variables
 00066442[OCaml]
-OCaml general
featureacknowledged2016-12-08Matching against infinity, neg_infinity and nan
 00071845[OCaml]
-OCaml general
featureacknowledged2016-12-08A command-line option to tell the compiler to behave (somehow) as a specific version
 00069862[OCaml]
-OCaml general
featureacknowledged2016-12-08iOS support for OCaml
 00058234[OCaml]
-OCaml general
featureacknowledged2016-12-08wish that ocamlopt compile .cpp files as well as c files
 00053375[OCaml]
typing
featureassigned (garrigue)2016-12-08variance not inferred for package type
 00029153[OCaml]
-OCaml general
featureacknowledged2016-12-08passer l'option -o au compilateur C
 00069604[OCaml]
-OCaml general
featureacknowledged2016-12-08Implicit coercions of literals
 00022713[OCaml]
-OCaml general
featureacknowledged2016-12-08-pack .cma
 00035901[OCaml]
-OCaml general
featureacknowledged2016-12-08ocamlopt -pack et .p.cmi
 00035741[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-08Linker deux fois le même_module
 00016802[OCaml]
-OCaml general
featureacknowledged2016-12-08Patch for compilation in QNX
 00028861[OCaml]
-OCaml general
featureacknowledged2016-12-08Wish: Add default linker options
 00018001[OCaml]
-OCaml general
featureassigned (shinwell)2016-12-08-output-obj and c files
 00069885[OCaml]
standard library
featureresolved (frisch)2016-12-08Format: invert breakable and non-breakable spaces
 00060704[OCaml]
typing
featureacknowledged2016-12-08There should be a warning for repeated variables even in curried arguments
 00040841[OCaml]
-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
featureassigned (shinwell)2016-12-08Compiling in debug mode should turn on caml_record_backtrace by default
 00066312[OCaml]
-OCaml general
featureconfirmed2016-12-08ocaml -e 'Printf.printf "hello\n"'
 00067015[OCaml]
standard library
minoracknowledged2016-12-08string_of_float and float_of_string are locale dependent
 00069259[OCaml]
runtime system
minorassigned (dra)2016-12-08Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock
 00056642[OCaml]
runtime system
featureresolved (shinwell)2016-12-08Wish: caml_unregister_frametable
 00071856[OCaml]
runtime system
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
featureresolved (doligez)2016-12-08debug info for OCaml runtime
 00051541[OCaml]
runtime system
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
 0007044 [OCaml]
typing
featurenew2016-12-08Feature proposal: provide type specialization function for boolean and give an warning when a generic comparison is used
 00073404[OCaml]
runtime system
featurefeedback2016-12-08callbacks from C to ocaml need nested functions where it shouldn't need to
 00072104[OCaml]
runtime system
featureresolved (shinwell)2016-12-08Finaliser that are really called when a value will be freed.
 00049934[OCaml]
-OCaml general
minorassigned (garrigue)2016-12-08A program using recursive modules doesn't compile since 3.10
 00061019[OCaml]
runtime system
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]
-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
 00061739[OCaml]
typing
minorassigned (garrigue)2016-12-07Typing error message is worse that before
 0007221 [OCaml]
typing
featurenew2016-12-07Refine error message for erroneous partial application
 00041082[OCaml]
otherlibs
majorconfirmed2016-12-07Memory-mapping of bigarrays may exhaust address space
 00054884[OCaml]
-OCaml general
featureacknowledged2016-12-07labeled argument in module
 00037231[OCaml]
-OCaml general
featureresolved (doligez)2016-12-07Suggestion for built in constructors
 00023752[OCaml]
-OCaml general
featureacknowledged2016-12-07Feature Wish : cmxa and cma manipulation tool like ar
 00045591[OCaml]
typing
minoracknowledged2016-12-07Object inheritance in recursive modules
 000403415[OCaml]
otherlibs
featureacknowledged2016-12-07Unix.getpid returns wrong result
 0007005 [OCaml]
typing
tweakacknowledged2016-12-07Deprecation warnings for types should not be emitted for the definition itself
 00041704[OCaml]
standard library
featureresolved (garrigue)2016-12-07pi constant
 0003993 [OCaml]
typing
minoracknowledged2016-12-07recursive modules and type constructor scoping
 00038811[OCaml]
standard library
featureresolved (frisch)2016-12-07Wish: a module Int
 00041581[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-07Disable warnings on a per-line basis
 00037474[OCaml]
-OCaml general
featureacknowledged2016-12-07catch_break does not always catch break
 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
 00050614[OCaml]
typing
featureacknowledged2016-12-07mutiple value components in signatures should produce a warning or an error
 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
featureacknowledged2016-12-07Memory leak in byterun/startup.c
 00047742[OCaml]
-OCaml general
featureresolved (dim)2016-12-07Block with a custom comparison function
 00047518[OCaml]
standard library
featureresolved (garrigue)2016-12-07caml_hash_variant not available in standard library
 00052542[OCaml]
-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]
-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
 00045384[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
crashacknowledged2016-12-07Remotely debugging multi-threaded bytecode program causes segmentation fault.
 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]
-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]
-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
 00062426[OCaml]
back end (clambda to assembly)
tweakacknowledged2016-12-07Better compilation of local functions only used for tail calls
 00050582[OCaml]
typing
minoracknowledged2016-12-07improve type checking of applicative functors
 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
 00051433[OCaml]
typing
minorassigned (garrigue)2016-12-07module types and type constraints
 00051572[OCaml]
-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
 0001613 [OCaml]
typing
featureacknowledged2016-12-07printing non-generalized type variables
 00002482[OCaml]
typing
featureacknowledged2016-12-07Re variables de type faibles
 00046153[OCaml]
typing
tweakacknowledged2016-12-07Typing recursive modules, maybe related to 4470?
 00046794[OCaml]
-OCaml general
featureassigned (lpw25)2016-12-07Better module/namespace system
 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
 00041272[OCaml]
otherlibs
majorconfirmed2016-12-07Thread.sigmask not working under pthreads
 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]
-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
 00069916[OCaml]
back end (clambda to assembly)
tweakacknowledged2016-12-07No CSE with string constants
 000715110[OCaml]
typing
featurenew2016-12-07Extended package type subtyping
 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]
-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
 00047093[OCaml]
-OCaml general
minorassigned (garrigue)2016-12-07Typing of recursive modules to permissive
 00016301[OCaml]
-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
 0004737 [OCaml]
standard library
featureacknowledged2016-12-07Queue: to_list and rev_iter
 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
 00063681[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2016-12-07[github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies
 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]
-OCaml general
featureresolved (xleroy)2016-12-07patch to pack functors
 00053846[OCaml]
-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]
-OCaml general
featureresolved (shinwell)2016-12-06C optimization level
 00058731[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06Feature: control inlining better
 00039383[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06Option to automatically open given modules, as is done for Pervasives.
 00049181[OCaml]
-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]
-OCaml general
featureresolved (shinwell)2016-12-06accurate floating-point printing
 00012133[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06exporter les macros Is_young, Is_in_heap, etc.
 00041212[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06Please export byterun/io.h
 00039784[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06Optimization of types
 00016291[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06Wish : open type
 00019131[OCaml]
-OCaml general
featureresolved (shinwell)2016-12-06inlining
 00014601[OCaml]
-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
 00073561[OCaml]
documentation
minoracknowledged2016-12-06flambda changes to finalisability should be documented
 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
minorresolved2016-12-05Remove -Werror from installed Makefile.config
 00073772[OCaml]
-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
 000720610[OCaml]
-OCaml general
featureacknowledged2016-12-03Stack overflow does not have exception backtrace
 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
 00073442[OCaml]
typing
minoracknowledged2016-11-15Inconsistent order when typing constraint patterns
 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
  00074091[OCaml]
typing
minorconfirmed2016-11-12meta-issue on type and path propagation
 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
 00073897[OCaml]
typing
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
 000740514[OCaml]
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
 00073982[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
 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
 0007318 [OCaml]
typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
 00073162[OCaml]
typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
 00073171[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
 00070992[OCaml]
-OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
 00069425[OCaml]
standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
 00063232[OCaml]
typing
minoracknowledged2016-11-08ocamlc -i can generate a wrong signature
 0007404 [OCaml]
standard library
featurenew2016-11-07Expose functions to check invariants in Set/Map/Hashtbl
 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
 00073304[OCaml]
-Incoming
crashresolved (garrigue)2016-11-03Missing exhaustivity check for extensible variant
 00073962[OCaml]
-Ocaml optimization
majorresolved (shinwell)2016-11-03Large flambda-related performance regression between 4.03 and 4.04
 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]
-OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
 00073723[OCaml]
typing
minoracknowledged2016-10-26Bug in type-checker with GADTs and inline records
 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
  0005998 [OCaml]
typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
 00069692[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
 00073845[OCaml]
-Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
 00069514[OCaml]
typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
 0005759114[OCaml]
typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
 00073713[OCaml]
documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
 0007383 [OCaml]
-OCaml general
featurenew2016-10-10provide an explicit flag `-assume-no-mli` for reliable build tools
 00073244[OCaml]
typing
crashresolved (garrigue)2016-10-08Assert_failure typing/ctype.ml:1390:10
 000736312[OCaml]
documentation
minoracknowledged2016-10-05stdlib mli files documentation comments, start headers at level 1
 00049819[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (xclerc)2016-10-05ocamlbuild/my_std.ml shouldn't call bash
 000695616[OCaml]
-OCaml general
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
 00073759[OCaml]
documentation
textacknowledged2016-09-30Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
 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]
-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
 00073531[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc sometimes generates untagged text
 00073522[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should not generate p's white only whitespace in it
 00073511[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should really stop generating br tags
 00073211[OCaml]
typing
minorconfirmed (garrigue)2016-09-27Private type in signature clashes with type definition via functor instantiation
 000719718[OCaml]
-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
 000731411[OCaml]
typing
blockresolved (frisch)2016-09-21In 4.04 branch the unused module warning is unsound
 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
 00073481[OCaml]
typing
minorconfirmed (garrigue)2016-09-10Private row variables can escape their scope
 00073257[OCaml]
typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
 00040727[OCaml]
-OCaml general
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
 00072452[OCaml]
documentation
minorresolved (gasche)2016-09-08documentation for warning 52
 0007240 [OCaml]
typing
minoracknowledged2016-09-08limitation on how the typer fills in missing optional arguments
 0007274 [OCaml]
ocamldoc
featureacknowledged2016-09-08a testsuite for ocamldoc
 0007320 [OCaml]
typing
featurenew2016-09-07Relaxing the value restriction some more
 00065091[OCaml]
-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
 0007338 [OCaml]
typing
textconfirmed2016-08-31meta-issue on confusing type error messages
 00067862[OCaml]
typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
 00073372[OCaml]
typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
 00073232[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
 00068122[OCaml]
typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
 00069985[OCaml]
typing
minorresolved2016-08-20the typer fails reading unnecessary cmis with -no-alias-deps and -w -49
 00073292[OCaml]
-OCaml general
minorresolved (gasche)2016-08-20-dsource output for local open module Patterns
 00072651[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-19Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
 00073002[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-18heap access in blocking section in unix_sleep
 00072992[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-18heap access from blocking section in unix_readlink
 00059845[OCaml]
typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
 00073261[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
 00071525[OCaml]
typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
 00072333[OCaml]
typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
 00073154[OCaml]
typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
 00059171[OCaml]
back end (clambda to assembly)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
 00073059[OCaml]
typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
 00072972[OCaml]
typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
 00056636[OCaml]
typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
 00072927[OCaml]
back end (clambda to assembly)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
 00073014[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-07-31Segfault with flambda -03, perhaps related to lazy values
 00073029[OCaml]
back end (clambda to assembly)
minorresolved (lpw25)2016-07-29regression in conversion typedtree->lambda in 4.03
 00072953[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2016-07-20ocamlbuild foo.inferred.ml does yield a WRONG signature and ocamlc complains...
 00072936[OCaml]
typing
minorresolved (garrigue)2016-07-20Matches with GADTs break the level check for self types
 00063627[OCaml]
-OCaml general
featureresolved (frisch)2016-07-19warning about unused modules
 00070234[OCaml]
-Ocaml optimization
minorresolved (frisch)2016-07-13Using function float arguments prevents unboxing
 000520427[OCaml]
back end (clambda to assembly)
featureacknowledged2016-07-12Unboxing parameters and more kinds of local bindings
 000576426[OCaml]
-OCaml general
featureacknowledged2016-07-11A way to avoid automatic export of declaration in inferred signatures
 00071472[OCaml]
-OCaml general
textresolved (dim)2016-07-11Ppx errors are not pretty
 000714210[OCaml]
-OCaml general
minorresolved (frisch)2016-07-11Change of behavior of demarshalling an empty file
 00071657[OCaml]
-OCaml general
minorresolved (gasche)2016-07-11Lexer raises `Fatal Error` on parsing `#9342101923012312312`
 00072872[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2016-07-08Strange warnings about package tags with -show-tags
 00072854[OCaml]
typing
minorresolved (garrigue)2016-07-07Relaxed value restriction broken with principal
 00072861[OCaml]
otherlibs
minorresolved2016-07-07Out-of-bounds array access in Event.sync
 00070132[OCaml]
otherlibs
minorresolved2016-07-07Condition.wait inside Event is not protected against spurious wakeups
 00072841[OCaml]
typing
majorresolved (garrigue)2016-07-06Bug in mcomp_fields leads to segfault
 00072832[OCaml]
standard library
featurenew2016-07-05List Module Inconsistancy :: "map"+"mapi" "iter"+"iteri" "rev_map"... but no "rev_mapi"
 000650513[OCaml]
typing
crashresolved (garrigue)2016-07-05Missed Type-error leads to a segfault upon record access
 00049096[OCaml]
otherlibs
featureacknowledged2016-07-03int31 type for Bigarray
 00071693[OCaml]
-OCaml general
textresolved (gasche)2016-07-01Wording of non-exhaustivity warning is confusing for beginners
 00072826[OCaml]
-OCaml general
tweakresolved (gasche)2016-07-01Warning 27 shouldn't trigger on optional argument names
 00071893[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (gasche)2016-06-30#show_module and module aliases
 00071531[OCaml]
otherlibs
tweakresolved2016-06-29SOCK_SEQPACKET is unusable
 00072782[OCaml]
typing
majorresolved (frisch)2016-06-27Private inline records can be mutated
 00062177[OCaml]
back end (clambda to assembly)
tweakresolved (gasche)2016-06-26Compilation of record functional modification is costly
 00072033[OCaml]
runtime system
minorresolved (gasche)2016-06-26Allocating double arrays from C in 32 bits
 00072765[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (frisch)2016-06-22Unix.select fast path misses events if the list of fds is greater than FD_SETSIZE (typically 64)
 00072572[OCaml]
runtime system
minorresolved (gasche)2016-06-21regressions in sleep (Unix.sleep 0)
 00070732[OCaml]
standard library
featureacknowledged2016-06-15Test OCaml's PRNG against the new TestU01 testsuite
 00063414[OCaml]
ocamldoc
minorresolved (guesdon)2016-06-15-colorize-code causes unnecessary < br> tags to be added to < pre> blocks
 000647523[OCaml]
-OCaml general
majorresolved (whitequark)2016-06-14-o is ignored for C files
 00072665[OCaml]
back end (clambda to assembly)
minorresolved (gasche)2016-06-14Duplicate symbol errors when running ocamlopt
 00070742[OCaml]
typing
featureassigned (garrigue)2016-06-07There is no easy way to give names to existential variables introduced by GADT pattern-matching
 000722611[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2016-06-04Location.none is broken with the LLVM assembler in 4.03.0+beta2
 00072694[OCaml]
typing
crashresolved (garrigue)2016-06-03Segfault from conjunctive constraints
 00072602[OCaml]
typing
crashresolved (garrigue)2016-06-02GADT + subtyping crash
 00040236[OCaml]
-OCaml general
featureresolved2016-05-14usleep feature
 00072376[OCaml]
-OCaml general
tweakresolved (gasche)2016-05-11change 12-tuples in typing/typeclass.mli into records for readability
 00066566[OCaml]
-OCaml general
featureresolved (garrigue)2016-05-10Support Module.[], .{}, etc. in pattern matches
 00072482[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (gasche)2016-05-06ocamldep: order of -open options
 00071463[OCaml]
documentation
tweakresolved (gasche)2016-05-02Use in-tree ocaml/ocamlc within the manual
 00072395[OCaml]
-OCaml general
textresolved (gasche)2016-04-26Warning 42: a case where a type constraint does not help a disambiguation
 00066514[OCaml]
typing
minorresolved (garrigue)2016-04-25Failing component lookup
 00072302[OCaml]
-OCaml general
minorresolved (garrigue)2016-04-22Scrutinee discarded in match with only refutation cases
 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
 00072341[OCaml]
typing
crashresolved (garrigue)2016-04-20Compatibility check wrong for abstract type constructors
 00069921[OCaml]
typing
minorresolved (garrigue)2016-04-20Segfault from bug in GADT/module typing
 000722017[OCaml]
runtime system
minorresolved (gasche)2016-04-20Memory leak in ocaml runtime with backtraces+threads
 00070948[OCaml]
documentation
textresolved (gasche)2016-04-19We need a documentation for compiler warnings and errors
 00042543[OCaml]
-OCaml general
minorresolved2016-04-19-dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
 000546121[OCaml]
-OCaml general
minorconfirmed (lefessan)2016-04-19Double linking of bytecode modules
 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
 000612019[OCaml]
otherlibs
minorresolved (gasche)2016-04-17Windows links
 00072295[OCaml]
typing
minorresolved (garrigue)2016-04-15type equation conceals polymorphic variants subtyping
 00072222[OCaml]
typing
majorresolved (garrigue)2016-04-15Escaped existential type
 00069212[OCaml]
otherlibs
minorresolved2016-04-15Behaviour of Unix.{gmtime,localtime} on negative timestamps.
 00070929[OCaml]
documentation
majorresolved (frisch)2016-04-14Document new features in 4.03
 00072177[OCaml]
otherlibs
blockresolved (doligez)2016-04-14MinGW: Unix.symlink dose not raise an exception even when Unix.has_symlink () = false
 00066067[OCaml]
-Ocaml optimization
minorresolved2016-04-13Allocating intermediate floats when ignoring floats.
 00071964[OCaml]
-OCaml general
majorresolved (gasche)2016-04-13does not print "let open" correctly in "if"
 0007224 [OCaml]
otherlibs
featurenew2016-04-12Sparse bigarray support
 00072188[OCaml]
standard library
featurenew2016-04-11Float printing and round-trippability
 000468822[OCaml]
-OCaml general
minorresolved (frisch)2016-04-08Special floating-point values aren't converted to strings correctly under Windows
 00062963[OCaml]
documentation
tweakresolved2016-04-08inconsistent behavior of float_of_string (compare to "ints"_of_string)
 00072143[OCaml]
typing
minorresolved (garrigue)2016-04-08Assertion failure in Env.add_gadt_instances
 0006491 [OCaml]
typing
minoracknowledged2016-04-06Recursive modules do not correctly handle class inheritance
 0006492 [OCaml]
typing
minoracknowledged2016-04-06Recursive modules do not correctly handle variance
  00064482[OCaml]
back end (clambda to assembly)
minorresolved (doligez)2016-04-05Strange interaction of classes and modules
 00063952[OCaml]
typing
minorresolved (garrigue)2016-04-05Incorrect exhaustiveness warning with GADTs
 00063813[OCaml]
-OCaml general
featurefeedback2016-04-05Report unbound variables before other errors
 00072098[OCaml]
standard library
minorresolved (dim)2016-04-04Unexpected interference between create-process(fork) and at-exit
 00072071[OCaml]
typing
minorresolved (garrigue)2016-04-02Wrong error message for unbound module in 4.03+beta1
 00072042[OCaml]
typing
featureresolved (lpw25)2016-04-01Module aliases not expanded when comparing abstract module types
 00071994[OCaml]
typing
majorresolved (garrigue)2016-03-30OCaml 4.03.0+beta1 rejects previously accepted cast
 00071814[OCaml]
typing
minorresolved (garrigue)2016-03-30Misleading error message with GADTs and polymorphic variants
 00071352[OCaml]
-OCaml general
minorresolved (garrigue)2016-03-30Surprising "This ground coercion is not principal" warning
 00048501[OCaml]
typing
minoracknowledged2016-03-25Bad interaction between subtyping and recursive modules
 00047993[OCaml]
-OCaml general
minorresolved2016-03-24Printf ignores width on %b %c %a %% (and maybe other)
 00071952[OCaml]
documentation
textresolved (gasche)2016-03-24Typo in the Complex documentation
 00069323[OCaml]
-Ocaml optimization
tweakresolved2016-03-22Superfluous dereferencing when accessing entries in functor arguments
 00071911[OCaml]
-OCaml general
minorresolved (chambart)2016-03-224.03.0+beta1+flambda ocamlopt crashes: "Fatal error: Stubs may not be annotated as [Always_specialise]"
 00071902[OCaml]
-OCaml general
minorresolved (frisch)2016-03-21Inline records error messages could be improved
 00071883[OCaml]
standard library
minorresolved (gasche)2016-03-19float_of_string accepts underscore + whitespace + numerical part
 00071871[OCaml]
ocamldoc
minorresolved (gasche)2016-03-19Line numbers in ocamldoc errors are wrong
 00059016[OCaml]
ocamldoc
featureassigned (guesdon)2016-03-19please provide location info for warnings
 00071822[OCaml]
-OCaml general
minorresolved (garrigue)2016-03-17Assertion failure with recursive modules and externals
 00071121[OCaml]
typing
majorresolved (garrigue)2016-03-16Aliased arguments ignored for equality of module types
 00071701[OCaml]
-OCaml general
majorresolved (frisch)2016-03-14ocamlopt.opt fails with Index out of bounds error when compiling empty external value
 00071714[OCaml]
back end (clambda to assembly)
minorresolved (lpw25)2016-03-13OCaml not well defined?
 00071751[OCaml]
-OCaml general
featurenew2016-03-11Allow external functions and methods for classes
 000474714[OCaml]
standard library
minorresolved (frisch)2016-03-11Hashtbl.resize is not tail recursive
 00071209[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2016-03-08Extra .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)2016-03-08Crashes when ocamlopt-generated code calls into Objective-C code that adds an exception handler
 00062946[OCaml]
runtime system
majorassigned (garrigue)2016-03-07Poor tracking of extra heap resources
 00071602[OCaml]
typing
crashresolved (garrigue)2016-03-03Type synonym definitions can weaken constraints of previously defined types through their manifests
 00071401[OCaml]
typing
minorfeedback2016-02-25module expression in open
 000544111[OCaml]
-OCaml general
minorresolved2016-02-24order of -ccopt and -cclib wrt other arguments
 0005528219[OCaml]
-OCaml general
featureresolved (frisch)2016-02-23Inline records for constructor arguments
 000573790[OCaml]
configure and build/install
featureassigned2016-02-23adapt build system for cross-compilation
 00071544[OCaml]
typing
minorresolved (garrigue)2016-02-21Value restriction is applied on covariant function types, but not if the type definition is hidden
 000712713[OCaml]
-OCaml general
featureacknowledged2016-02-17ocaml REPL does not truncate value of type 'bytes' and 'string'
 00050683[OCaml]
-OCaml general
minoracknowledged2016-02-13ocamlc/camlp4 should give better error messages for syntax errors
 000640241[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2016-02-09move ocamlbuild to its own repository.
 00057563[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
tweakresolved (gasche)2016-02-09ocamlbuild spends a lot of time logging
 0007130 [OCaml]
typing
minoracknowledged2016-02-08Code may fail to type without -strict-sequence
 00071361[OCaml]
standard library
minorresolved (gasche)2016-02-05Buffer.add_channel discards data
 00071071[OCaml]
typing
majorresolved (garrigue)2016-02-04private method can become public by type annotations but without any warning
 00071117[OCaml]
-OCaml general
minorresolved2016-02-03-dsource output of ppx-deriving show has errant "in"
 00070023[OCaml]
-OCaml general
minorresolved2016-02-03Empty let-bindings accepted by Ast_helper / pretty printer
 00069584[OCaml]
standard library
minorresolved2016-02-03Scanf.unescaped fails on "\""
 00069471[OCaml]
otherlibs
minoracknowledged2016-02-03Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC
 0005889 [OCaml]
typing
textconfirmed2016-01-27polymorphic variant typing error message not meaningful
 00046771[OCaml]
standard library
textconfirmed2016-01-27set_text_size doesn't work
 00034882[OCaml]
-OCaml general
textconfirmed2016-01-27-pack and cmx dependancies
 0006750 [OCaml]
typing
featureacknowledged2016-01-27Make the idents of the predefined type constructors (such as int, char) persistent or global
 00069359[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
trivialresolved (gasche)2016-01-09ocamldebug: load_printer raise uncaught exception when passing directory
 00071191[OCaml]
-OCaml general
minorresolved (frisch)2016-01-08ocaml doesn't respect [@@@warning]
 00070782[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (frisch)2016-01-07Do not pass -g to cl on Windows
 00066052[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2016-01-06camlp4 parser paths are hard-coded
 00071153[OCaml]
typing
minorresolved (frisch)2016-01-05Shadowing in a branch of a GADT match breaks unused variable warning
 00070972[OCaml]
-OCaml general
majorresolved (frisch)2016-01-05Strange syntax error message around illegal packaged module signature constraints
 00064494[OCaml]
standard library
featureresolved (frisch)2016-01-04Map.union
 0007114 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featurenew2016-01-04smarter break command in ocamldebug
 00071087[OCaml]
ocamldoc
tweakresolved (gasche)2016-01-02Standard generators override custom generators
 0007110 [OCaml]
standard library
featurenew2015-12-28Missing Printf.ikbprintf
 00065325[OCaml]
runtime system
minoracknowledged2015-12-25ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH
 00071023[OCaml]
typing
featurenew2015-12-21Ability to re-export a variant definition with renamed constructors?
 0007088 [OCaml]
otherlibs
featurenew2015-12-14Unix.system (Win) should report when cmd.exe is not found
 0007090 [OCaml]
otherlibs
featurenew2015-12-13Implement more general file ownership functions
 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]
-OCaml general
featureresolved2015-12-06Warn equality with NaN
 0007072 [OCaml]
configure and build/install
minoracknowledged2015-12-06The testsuite doesn't run in parallel
 00036743[OCaml]
typing
minoracknowledged2015-12-04unterminating type checking for recursive modules
 00059757[OCaml]
-OCaml general
minorresolved (frisch)2015-12-03Pushing the evaluation of default expression for optional arguments is not specified
 00068262[OCaml]
typing
minoracknowledged2015-12-03Improve compile time of opens, esp. for local opens
 00055233[OCaml]
typing
minorassigned (garrigue)2015-12-03Improve "this ground coercion is not principal" warning message
 00067444[OCaml]
typing
minorassigned (garrigue)2015-12-03Univars can escape through polymorphic variants
 00054282[OCaml]
-OCaml general
minorassigned (garrigue)2015-12-03Behaviour of flatten_fields and various functions in presence of object indexes.
 00069175[OCaml]
typing
featureacknowledged2015-12-02can't redefine modules
 0006514 [OCaml]
typing
tweakacknowledged2015-12-02Type-based selection for rebinding constructors of extensible types
 0006200 [OCaml]
configure and build/install
tweakacknowledged2015-12-02Store local configuration in an external file, not in the compilers
 00063677[OCaml]
typing
tweakassigned (garrigue)2015-12-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
 00061621[OCaml]
-OCaml general
textacknowledged2015-12-02Confusing error message when the user name a variable as an existing alphabetic infix operator
 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
 00067822[OCaml]
-OCaml general
featureacknowledged2015-12-02Support "obj # (meth arg1 ... argn)"
 0006997 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-12-02Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory
 00069183[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-12-02Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation?
 00068734[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-12-02Provide a parametrized tags to fix the default warnings "as in version X"
 000595113[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged2015-12-02ocamlbuild is incompatible with -cflags -S
 0005895 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged2015-12-02Sometimes ocamlbuild does not create symlinks
 000575219[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorfeedback2015-12-02missing dependencies at byte-code link with mlpack
 00053715[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorconfirmed2015-12-02questionable reasoning in job control code
 000520111[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
tweakfeedback2015-12-02Performance issue for ocamlbuild on Windows
 000518515[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged2015-12-02creates incomplete cma under some circumstances
 0005015 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged2015-12-02ocamlbuild doesn't compile files in subdirectory even if dependencies are correct
 00045741[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minoracknowledged2015-12-02Profiling
 00066769[OCaml]
documentation
minoracknowledged2015-12-01Chapter 7 of the manual now has 27 sections
 00070651[OCaml]
documentation
textacknowledged2015-11-28Undocumented exception(s) in the Num module
 00070315[OCaml]
-OCaml general
featureconfirmed (gasche)2015-11-28Warn on ambiguous variables used in a when clause
 00050742[OCaml]
-OCaml general
minorresolved2015-11-28wrong backtrace printed when mixing modules with and without debug info
 00061957[OCaml]
configure and build/install
minorconfirmed2015-11-27Use compilerlibs instead of explicit lists of modules from the compiler
 000581313[OCaml]
runtime system
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
 00069491[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-11-27ocamlbuild should support -intf -impl and -intf-suffix
 00070016[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2015-11-24consider not relying on libbfd
 000660035[OCaml]
typing
minorfeedback (garrigue)2015-11-23-short-paths slow :(
 00064223[OCaml]
typing
featureacknowledged (doligez)2015-11-23Support "exception" under or-patterns
 00058713[OCaml]
-OCaml general
featureresolved2015-11-23accept piping typedtree
 00041665[OCaml]
-OCaml general
minorresolved2015-11-22Incorrect module initialisation order with "external" declarations
 00044996[OCaml]
platform support (windows, cross-compilation, etc)
minoracknowledged2015-11-20Changes to the environment are invisible to Sys.getenv
 0007043 [OCaml]
standard library
featurenew2015-11-15atomic_init, compare_and_swap, atomic_add
 00070217[OCaml]
-OCaml general
featureassigned (garrigue)2015-11-15Comparing lazy values
 00070413[OCaml]
-OCaml general
featureacknowledged2015-11-15Feature request: allow to declare a method final.
 00070255[OCaml]
-OCaml general
featurenew2015-10-20Syntax for re-exporting constructors / fields
 00065383[OCaml]
standard library
featurefeedback2015-10-03Allowing to modify Buffers in place
 00061022[OCaml]
-OCaml general
featureacknowledged2015-07-13ocaml{c,opt}: Provide command-line options to stop compilation after any stage
 00059509[OCaml]
-OCaml general
featureresolved2015-07-02relocatable ocaml compiler
 00069018[OCaml]
-OCaml general
featureacknowledged2015-06-25Binding variables in disjunctive patterns
 00069134[OCaml]
-Ocaml optimization
featureassigned (doligez)2015-06-23Customizable number of context rows in pattern matching compilation
 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
 000682244[OCaml]
-OCaml general
featureacknowledged2015-06-15Object-like notation for calling regular functions
 00068153[OCaml]
-OCaml general
featureacknowledged2015-06-15Report errors before warnings
 00068901[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-06-04provide use_ocamlfind as a tag
 00058498[OCaml]
typing
featurefeedback2015-06-02Add support for absolute module path
 00066536[OCaml]
typing
minorresolved (gasche)2015-05-26GADT and subtyping
 000596013[OCaml]
standard library
featureresolved (gasche)2015-05-24List.cons function
 00056133[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (frisch)2015-05-15Flexdll's dll produced from several object files fails to load
 00067981[OCaml]
-OCaml general
featureacknowledged2015-04-21Make ocamlc -c recognize .cpp files
 00049865[OCaml]
-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]
-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
 00067207[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned (gasche)2015-02-28Pass -g to ocamlc compiling C files when tagged with "debug"
 00038194[OCaml]
-OCaml general
featureacknowledged2015-02-18Feature Request: Error message for 'Illegal permutation of structure fields'
 000587925[OCaml]
-OCaml general
featureacknowledged2015-02-16Static exception handlers (i.e. well-disciplined gotos!)
 00062862[OCaml]
standard library
featureacknowledged2015-02-09I think isprintf is missing from the Printf module of the stdlib
 00064232[OCaml]
-OCaml general
featureacknowledged2015-02-06lazy exception patterns
 00062874[OCaml]
standard library
featureconfirmed2015-01-26FIlename.{Unix,Win32,Cygwin} should be exported
 00060672[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2015-01-23Targets that spit out the files needed to install a .mllib
 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
 00067104[OCaml]
-Ocaml optimization
featureacknowledged2015-01-19Better compilation of functors
 00067283[OCaml]
-OCaml general
featureacknowledged2015-01-09Enable -g and OCAMLRUNPARAM=b by default
 00066985[OCaml]
-OCaml general
featurefeedback2015-01-08allow @@ocaml.deprecated on structure items?
 000668526[OCaml]
-OCaml general
featureacknowledged2015-01-08Allow "if let" syntax
 00061375[OCaml]
typing
featureacknowledged (garrigue)2015-01-05Allowing soften locally abstract types
 00067315[OCaml]
-OCaml general
featureacknowledged2014-12-23Do not display warning 40 in a non-ambiguous match
 00067187[OCaml]
-OCaml general
featureconfirmed2014-12-22Specify the filename to use for locations
 00059556[OCaml]
typing
featureresolved (gasche)2014-12-20support "let module rec ... in ..."
 00066181[OCaml]
-OCaml general
featureconfirmed2014-12-18It would be nice to have octal escape sequences for characters and strings
 00065891[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-12-17Parameterized tag for manually specifying dependencies between modules
 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
 000534812[OCaml]
-OCaml general
featurefeedback2014-12-07no more identifiers with accented characters
 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]
-OCaml general
featureresolved2014-10-16armv5te code generation bug: shift expression expected -- `subs r0,r3,#4294967296'
 000613515[OCaml]
documentation
minorassigned (whitequark)2014-10-07Please document -ppx option
 00042692[OCaml]
documentation
minorresolved (garrigue)2014-09-25man page for labltk
 00054012[OCaml]
-OCaml general
minorresolved (garrigue)2014-09-24OCamlbrowser ignores command line arguments on win32/msvc
 000620212[OCaml]
-OCaml general
featureassigned (frisch)2014-09-15Controlling warnings locally
 00065081[OCaml]
otherlibs
minorresolved2014-09-15Tkvars.version() call gives Fatal error
 0006518 [OCaml]
-OCaml general
featureacknowledged2014-09-04Consider supporting GNU-style error messages
 00065111[OCaml]
-Ocaml optimization
featureacknowledged2014-09-04avoid loading global variables more than necessary
 000609414[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featurefeedback2014-09-04Reading META files
 00059431[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-09-04ocamlmklib always adds -L (absolute) directories also the run-time linker path.
 00057545[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-09-04Not optimal parallel build of dependencies
 00065233[OCaml]
otherlibs
blockresolved (shinwell)2014-08-29caml_ba_get_N treats char elements as signed
 0006095 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21Interactive init of default project files
 00050443[OCaml]
-OCaml general
featureacknowledged2014-08-21Emacs doesn't recognize the backtrace error location format
 00052126[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-08-21ocamlbuild does not warn for bad input
 00052431[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned (gasche)2014-08-21Improve the API documentation
 00055483[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned (gasche)2014-08-21ocamlbuild's ocamlfind integration doesn't support syntax extensions
 0005869 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21ocamlbuild should expose common interface as a library
 0006066 [OCaml]
typing
featureacknowledged2014-08-21extensible records
 00060972[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21Allow user to add new commandline options in the plugin.
 00060983[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21Global predicates
 0006099 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21Add ocamlbuild tags mirroring command line options
 0006103 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-08-21Add ocamlbuild support for ocamlfind's -ppopt option
 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
 00064805[OCaml]
-OCaml general
featureacknowledged2014-07-17Support short-cut extension nodes for field access
 00061973[OCaml]
-OCaml general
featureassigned (hongboz)2014-07-16Explicit support compiling *.camlast(i)
 00062363[OCaml]
-OCaml general
featureacknowledged2014-07-16No warning for partly evaluated functions at toplevel
 0006218 [OCaml]
-OCaml general
featureconfirmed2014-07-16avoid overwriting files when mistakenly setting -o to a source or intermediate filename
 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
 0006335 [OCaml]
-OCaml general
featureacknowledged2014-07-16Provide an option to ocamlmktop to continue after top-level exception
 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
 00062653[OCaml]
-OCaml general
featurefeedback2014-07-16Toplevel auto-correct should know about the standard library
 000554732[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-07-16Enable the "-use-ocamlfind" option by default
 0005852 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-06-23Ocamlbuild does not pass .ml files to ocamldoc when there is an .mli file present
 00063643[OCaml]
back end (clambda to assembly)
crashresolved2014-06-05ocamlopt crashes with "Fatal error: exception Stack_overflow"
 00059256[OCaml]
-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
 0006191 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2014-06-04Missing argument for ocamldep to tell it where output binaries will be placed
 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
 00057483[OCaml]
typing
minorassigned (garrigue)2014-06-01anonymous functions with optional arguments
 00056265[OCaml]
back end (clambda to assembly)
minorresolved2014-05-30Stack overflow in ocamlopt.opt: Comballoc.combine
 00064091[OCaml]
-OCaml general
featureacknowledged2014-05-17`ocamlc -linkall -c test.ml` should activate force-linking in `test.cmo`
 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
 00061451[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2014-04-02camlidl support in ocamlbuild
 00060891[OCaml]
documentation
featureacknowledged2014-04-02improve ocamlbuild documentation
 0006086 [OCaml]
documentation
featureacknowledged2014-04-02ocamlbuild documentation with ocamlfind
 00059344[OCaml]
-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
 00063144[OCaml]
-OCaml general
featureassigned (garrigue)2014-02-04Allow "functional record update" for objects
 000565217[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-01-21Add support for camlp4 native plugin
 00055494[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-01-21add tags for all build-related ocamlbuild command-line options
 00060531[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-01-21less verbose flags for ocamlbuild
 0005897 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned2014-01-21Inheritance of rules
 00061331[OCaml]
runtime system
featureacknowledged2014-01-20Wish: make max size of custom space runtime-configurable
 00061382[OCaml]
standard library
featureacknowledged2014-01-17Adding a domain function in Map.Make
 00061102[OCaml]
-OCaml general
featureconfirmed2014-01-17-impl-suffix missing in the compiler.
 00060608[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featurefeedback2014-01-17ocamlbuild rules for -principal, -strict-sequence and -short-paths
 00060095[OCaml]
standard library
featureacknowledged2013-12-16Format.{pp_print_opt, pp_print_list, pp_print_text}
 00060023[OCaml]
-OCaml general
featureacknowledged2013-12-16An easier way to avoid elided printing of values
 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
 00056996[OCaml]
-OCaml general
featureconfirmed2013-12-05It would be nice to be able to set up OCAMLINIT root directory
 000568018[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureconfirmed2013-12-05myocamlbuild.ml should be splittable into several files/plugins
 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 ...
 00052862[OCaml]
-OCaml general
featureacknowledged2013-10-08recursive modules fail to compile recursive compilation units
 00052039[OCaml]
back end (clambda to assembly)
featureacknowledged2013-10-08Faster bigarray access
 00051932[OCaml]
otherlibs
minoracknowledged2013-10-07Make unix.{localtime,gmtime} use non reentrant c calls
 00061602[OCaml]
-OCaml general
featureconfirmed2013-09-26disable shadowing warning for deprecated identifiers?
 00061613[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2013-09-06add "context" flag in _tags for multi-directories projects
 0005099 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned (gasche)2013-09-05Dependencies at byte-code link with mlpack
 00050217[OCaml]
-OCaml general
featureacknowledged2013-09-05Big_int.float_of_big_int is slightly unportable (was: Int64.to_float is slightly unportable)
 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
 0004060 [OCaml]
-OCaml general
featureacknowledged2013-09-03Error message Cannot_open_dll should contain list of searched files
 00026602[OCaml]
-OCaml general
featureacknowledged2013-08-30Recursive modules need qualified names?
 00026293[OCaml]
-OCaml general
featureacknowledged2013-08-30Recursive modules - awkward dynamic semantics
 00022721[OCaml]
-OCaml general
featureacknowledged2013-08-30extract_unit
 00019523[OCaml]
-OCaml general
featureresolved2013-08-30référence et polymorphisme
 00061342[OCaml]
-OCaml general
featureacknowledged2013-08-26emacs mode doesn't support cmt[i] files
 00060597[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2013-08-06add -output-obj rules for ocamlbuild
 00059375[OCaml]
-OCaml general
featureacknowledged2013-08-06Support for passing more parameters from external files
 0004471 [OCaml]
-OCaml general
featureacknowledged2013-08-04Wishlist: Support for constant values in recursive modules
 00061004[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved2013-08-01generate a backend for ninja?
 000527015[OCaml]
-OCaml general
featureacknowledged2013-07-29Ocaml parser error are not meaningfull most of the time
 00052933[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2013-07-29improve error message on circular build error
 0005956 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2013-07-28Need option to override camlp4o command
 00059001[OCaml]
ocamldoc
featureassigned (guesdon)2013-07-28please add location info to record fields and variant constructors
 00046223[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureassigned (gasche)2013-07-28Ocamlbuild needs support for generating documentation from implementation files
 00060659[OCaml]
standard library
minoracknowledged2013-07-19Array.init of a float array needlessly initialize array with (f 0)
 00047481[OCaml]
standard library
minorresolved2013-07-19Complex +-0.
 00055406[OCaml]
-OCaml general
featureacknowledged2013-07-12Installing more modules + separate Dynlink from Toplevellib
 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]
-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
 00060146[OCaml]
typing
tweakconfirmed (garrigue)2013-06-28Existentials not allowed with 'let and'
 0005963 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2013-06-19Include support for rpath and static linking flags in ocamlbuild
 00059791[OCaml]
-OCaml general
featureacknowledged2013-06-19New warning for never used optional argument
 0005990 [OCaml]
-OCaml general
featureacknowledged2013-06-19Calling a method from a super class on a modified version of self
 00059131[OCaml]
-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]
-OCaml general
featureresolved2013-06-07pattern-matching of arrays in lets should not print warnings
 000601212[OCaml]
-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]
-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
 00057814[OCaml]
standard library
featureresolved2012-10-15min and max do not conform to IEEE 754 recommendations
 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]
-OCaml general
minorresolved (garrigue)2012-09-19Toplevel doesn't accept the type info it writes itself.
 00048262[OCaml]
-OCaml general
minorresolved2012-09-17bad error reporting + ocamlbuild/ocamlbuild_where.ml is not created by make -f Makefile.nt world
 0004134 [OCaml]
typing
minoracknowledged2012-09-14A tiny bug in type checking recursive modules
 00039772[OCaml]
-OCaml general
trivialresolved2012-09-11Unsupported link switch used MSVC8
 0003935 [OCaml]
typing
minoracknowledged2012-09-11Structural types forming non-regular trees can be defined through recursive modules.
 00016513[OCaml]
documentation
minorresolved2012-09-11incorrect and incomplete camlp4 documentation
 00051261[OCaml]
-OCaml general
crashresolved (frisch)2012-09-06ocamlnat crashes if a library is loaded and then an unknown symbol is entered
 00046893[OCaml]
-OCaml general
minorresolved2012-08-02Error not raised with max_int+1 integer literal
 00018772[OCaml]
-OCaml general
minorresolved2012-08-02difficulty around @responsefile with msvc
 00049323[OCaml]
-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]
-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]
-OCaml general
minorresolved2012-07-11ocamlyacc and type clash between ml and mli
 00051412[OCaml]
-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
 0005656 [OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureconfirmed2012-06-27verbose tag
 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]
-OCaml general
featureresolved2012-05-12string_of_float loosing precision
 00048081[OCaml]
-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
 00055502[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureacknowledged2012-03-20Cache results from `ocamlfind query` in _build/
 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