MantisBT - All Projects

Word 2000 Word View

Viewing Issues( 1 - 1542 )
  PID # CategorySeverityStatusUpdatedSummary
 00073733[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majornew2016-09-27Include OCaml lib directory in search path in ocamlmklib
 00072637[OCaml]
OCaml windows
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
 00073622[OCaml]
OCaml documentation
minornew2016-09-27Review install of mli and cmti files
 00073762[OCaml]
OCaml standard library
minorfeedback2016-09-27Format printf regression
 00073755[OCaml]
OCaml general
minornew2016-09-27Backtrace changes when referring to a nullary exception constructor using the 'as' keyword
 00073473[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorconfirmed2016-09-27Toplevel #use with relative paths have different behavior between 4.02.3 and 4.03.0
 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
 00073494[OCaml]
OCaml backend (code generation)
minorassigned (shinwell)2016-09-27Fatal error: Map.disjoint_union when compiling
 00073352[OCaml]
OCaml general
minoracknowledged2016-09-2732bit compiler can't compile binaries over 16 megabytes
 00073211[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-09-27Private type in signature clashes with type definition via functor instantiation
 0007319 [OCaml]
OCaml typing
minoracknowledged2016-09-27Provide a way to ignore existentials in GADT pattern matching
 00072672[OCaml]
OCaml general
minoracknowledged2016-09-27increase some syntactic flexibility for method label names and record label names
 0007262 [OCaml]
OCaml runtime system
minoracknowledged2016-09-27backtraces are concatenated when flambda turned on
 00073711[OCaml]
OCaml documentation
majoracknowledged2016-09-27Reference manual: 19.6 A complete example no longer works in 4.03.0
 00073692[OCaml]
OCaml otherlibs
majorassigned (doligez)2016-09-27Str.regexp raises "Invalid_argument: index out of bounds"
 0007346 [OCaml]
OCaml backend (code generation)
majorconfirmed2016-09-27order of evaluation vs the ! operator
 00072641[OCaml]
OCaml windows
majoracknowledged2016-09-27Unix.lockf doesn't behave correctly on Windows
 00073403[OCaml]
OCaml runtime system
featurenew2016-09-27callbacks from C to ocaml need nested functions where it shouldn't need to
 00048918[OCaml]
OCaml general
featureassigned (doligez)2016-09-27provide CAMLreturn macros suitable for callbacks
 000719718[OCaml]
OCaml general
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
 00073721[OCaml]
OCaml typing
minornew2016-09-26Bug in type-checker with GADTs and inline records
 0007374 [OCaml]
OCaml typing
minornew2016-09-26Contractiveness check unsound with constraints
 00067165[OCaml]
OCaml typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
 0007370 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minornew2016-09-24ocamldep 4.04.0+beta2+flambda segfault when building base
 00072446[OCaml]
OCaml backend (code generation)
minorassigned (chambart)2016-09-23Ocamlopt + flambda requires a lot of memory to compile large array literal expressions
 00073681[OCaml]
OCaml runtime system
minornew2016-09-23Manual major GC fails to compact the heap
 0007367 [OCaml]
OCaml standard library
minornew2016-09-23testsuite/tests/lib-threads/pr5325.ml raises exception on Unix.shutdown
 0007366 [OCaml]
OCaml runtime system
minornew2016-09-23testsuite/tests/lib-threads/socketsbuf.ml fails sometimes
 0007365 [OCaml]
OCaml general
minornew2016-09-23Support on Minix3
 00073641[OCaml]
OCaml general
minorconfirmed2016-09-22Inflexibility of unboxed types in recursive declarations
 000731411[OCaml]
OCaml typing
blockresolved (frisch)2016-09-21In 4.04 branch the unused module warning is unsound
 000736012[OCaml]
OCaml typing
minornew2016-09-20When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
 0007363 [OCaml]
OCaml documentation
minornew2016-09-20stdlib mli files documentation comments, start headers at level 1
 0007356 [OCaml]
OCaml documentation
minornew2016-09-19flambda changes to finalisability should be documented
 0007355 [OCaml]
OCaml documentation
minornew2016-09-19Gc.finalise and lazy values
 00072805[OCaml]
OCaml standard library
featurenew2016-09-19Add basic unsigned int32 and int64 support
 00073611[OCaml]
OCaml general
minornew2016-09-17ocaml.warning does not work with ocaml.ppwarning
 0007359 [OCaml]
OCaml typing
minornew2016-09-16With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message
 00071376[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-09-16Make -open support module paths
 0007358 [OCaml]
OCaml general
minornew2016-09-15Precedence of user-defined |... and &... counter-intuitive in some cases
 00073571[OCaml]
Misc
minornew2016-09-14significant compilation time increased after minor tweaks
 00072162[OCaml]
OCaml general
minoracknowledged2016-09-14Too many parens required in first class module syntax
 00069286[OCaml]
OCamldoc
trivialassigned (guesdon)2016-09-13remove <h1>title</h1> when an -intro is provided
 00072942[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorassigned (chambart)2016-09-13ocamlobjinfo : printing of "approximations" broken with flambda
 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
 0007354 [OCaml]
OCaml internal build/install (Makefiles, configure)
minornew2016-09-11'flexlink.opt' build failure
 00073481[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-09-10Private row variables can escape their scope
 00073257[OCaml]
OCaml typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
 0007345 [OCaml]
OCaml backend (code generation)
minoracknowledged2016-09-08Inline record matches cause closure allocation
 00061361[OCaml]
OCaml documentation
minorconfirmed2016-09-08Function call evaluation order varies more than manual allows
 00040727[OCaml]
OCaml general
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
 00073111[OCaml]
OCaml documentation
textacknowledged2016-09-08Document ocaml_compiler_internal_params
 000722717[OCaml]
OCaml backend (code generation)
minoracknowledged2016-09-08Test suite doesn't pass using latest compiler
 00072452[OCaml]
OCaml documentation
minorresolved (gasche)2016-09-08documentation for warning 52
 00072713[OCaml]
OCaml general
majoracknowledged2016-09-08Undocumented ocamlc and ocamlopt behaviour difference
 00072535[OCaml]
OCaml runtime system
minoracknowledged2016-09-08at_exit functions get called twice if a callback raises and prevents earlier handlers to execute.
 00071455[OCaml]
OCaml runtime system
tweakacknowledged2016-09-08caml_alloc_string allocates empty strings
 0007275 [OCaml]
OCaml general
featurenew2016-09-08meta-issue on consistency of command-line arguments across tools
 0007240 [OCaml]
OCaml typing
minoracknowledged2016-09-08limitation on how the typer fills in missing optional arguments
 0007274 [OCaml]
OCamldoc
featureacknowledged2016-09-08a testsuite for ocamldoc
 00072522[OCaml]
OCaml standard library
minornew2016-09-08Provide %-primitives for operations on raw pointers
 000724217[OCaml]
OCaml general
minoracknowledged2016-09-08something is quadratic in pattern matching size
 00072723[OCaml]
OCaml documentation
minorconfirmed (doligez)2016-09-08ocamldoc for types lacks newlines in html files
 00073423[OCaml]
OCaml windows
minornew2016-09-07Unix.read exhibits two different behaviors on Windows vs Linux
 0007258 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minornew2016-09-07ocamldebug segfault on install_printer using module aliasing
 00072613[OCaml]
OCaml typing
minornew2016-09-07constraint ignored on (existential) GADT
 0007281 [OCaml]
OCamldoc
minornew2016-09-07Incorrect .TH macro in Arg(3o)
 0007332 [OCaml]
OCamldoc
minornew2016-09-07Ocamldoc does not recognize included module
 0007331 [OCaml]
OCamldoc
minornew2016-09-07Ocamldoc hangs when module references itself
 0007341 [OCaml]
OCaml otherlibs
tweaknew2016-09-07num library should use custom blocks with compare function
 0007334 [OCaml]
OCaml typing
minornew2016-09-07-nolabels behavior doesn't match documentation
 00072774[OCaml]
OCaml standard library
featurenew2016-09-07Variants of Map.find
 0007308 [OCaml]
Misc
featurenew2016-09-07Parenthesis surprisingly needed by immediate objects
 0007317 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
tweaknew2016-09-07Intermixed output of Ocaml toplevel
 00072548[OCaml]
OCaml general
textacknowledged2016-09-07ocamlnat crashes on startup
 00073105[OCaml]
OCaml general
featurenew2016-09-07per-type fragile match warning
 00072963[OCaml]
OCaml general
featureacknowledged2016-09-07Cannot use a | at the beginning of an or-pattern
 00073161[OCaml]
OCaml typing
tweaknew2016-09-07information in the typing error message could be made more precise
 0007318 [OCaml]
OCaml typing
tweaknew2016-09-07information in the typing error message could be made more precise
 0007255 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurenew2016-09-07polymorphic install_printer in ocamdebug
 0007251 [OCaml]
Ocaml optimization
featurenew2016-09-07Provide alignment-requiring versions of the string and bigstring data access primitives
 00072983[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-09-07GADT matching allows dummy method to escape
 00072897[OCaml]
OCaml backend (code generation)
minorconfirmed (chambart)2016-09-07Flamba: No unboxing of float in simple local recursive function
 0007320 [OCaml]
OCaml typing
featurenew2016-09-07Relaxing the value restriction some more
 00073361[OCaml]
OCaml typing
minornew2016-09-07Type errors at the module level are puzzling
 00073281[OCaml]
Ocaml optimization
minorassigned (chambart)2016-09-07Flambda optimizes away code that raises Division_by_zero
 00057361[OCaml]
OCaml typing
featureconfirmed (garrigue)2016-09-07Support GADTs in or-patterns
 00072593[OCaml]
Ocaml optimization
minorassigned (chambart)2016-09-07flambda does not collapse pattern matching in some cases
 00073432[OCaml]
OCaml standard library
minornew2016-09-07request for clarification about Map.Make.union (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
 0007344 [OCaml]
OCaml typing
minornew2016-09-07Inconsistent order when typing constraint patterns
 00072913[OCaml]
Ocaml optimization
crashassigned (shinwell)2016-09-07fatal error during flambda pass
 00065091[OCaml]
OCaml general
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
 000718013[OCaml]
OCaml runtime system
majorassigned (doligez)2016-09-02Change of behavior in Gc.major_slice in 4.03
 00073074[OCaml]
OCaml backend (code generation)
crashresolved2016-09-02Crashes in garbage collector
 000648611[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
 000648412[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
 000705020[OCaml]
OCaml general
featureassigned (gasche)2016-09-02An "-args <path>" option to pass command-line flags in a file
 00073394[OCaml]
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]
OCaml typing
textconfirmed2016-08-31meta-issue on confusing type error messages
 000731314[OCaml]
OCaml typing
minorassigned (garrigue)2016-08-30Typing regression between 4.03 and 4.04 branch with signature coercion.
 00072463[OCaml]
Ocaml optimization
minoracknowledged2016-08-30Unboxed version of operations on 64-bit integers for 32-bit ports
 000727914[OCaml]
OCaml general
majoracknowledged2016-08-30Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy)
 00067862[OCaml]
OCaml typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
 00073372[OCaml]
OCaml typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
 000551414[OCaml]
OCaml typing
minoracknowledged2016-08-30"with module" semantics seem broken
 00061739[OCaml]
OCaml general
minorassigned (garrigue)2016-08-30Typing error message is worse that before
 00058882[OCaml]
OCaml typing
tweakacknowledged (garrigue)2016-08-30Better type errors for polymorphic variants and module signatures
 00073232[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
 000713413[OCaml]
OCaml typing
minorassigned (garrigue)2016-08-23compiler forcing aliases it shouldn't while reporting type errors
 00068122[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
 00069753[OCaml]
OCaml standard library
featureconfirmed2016-08-22Truncating buffers could come in handy
 00073302[OCaml]
Incoming
crashresolved (garrigue)2016-08-22Missing exhaustivity check for extensible variant
 00069985[OCaml]
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]
OCaml windows
minorresolved (dim)2016-08-19Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
 00073002[OCaml]
OCaml windows
minorresolved (dim)2016-08-18heap access in blocking section in unix_sleep
 00072992[OCaml]
OCaml windows
minorresolved (dim)2016-08-18heap access from blocking section in unix_readlink
 00073244[OCaml]
OCaml typing
crashresolved (garrigue)2016-08-18Assert_failure typing/ctype.ml:1390:10
 00073032[OCaml]
OCaml runtime system
featurenew2016-08-16[GC] Change the goal of the marking phase.
 00073272[OCaml]
OCaml runtime system
minornew2016-08-16Remove -Werror from installed Makefile.config
 00059845[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
 00073261[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
 00071525[OCaml]
OCaml typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
 00072333[OCaml]
OCaml typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
 00073154[OCaml]
OCaml typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
 00059171[OCaml]
OCaml backend (code generation)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
 00073059[OCaml]
OCaml typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
 00072972[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
 00067529[OCaml]
OCaml typing
tweakresolved (garrigue)2016-08-03Extensible variant types and scope escaping
 00056636[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
 0007312 [OCaml]
OCaml internal build/install (Makefiles, configure)
tweaknew2016-08-01Build compiler distribution tools with $(EXE) extension from the start
 00072927[OCaml]
OCaml backend (code generation)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
 00070071[OCaml]
OCaml documentation
minoracknowledged2016-08-01OCAMLPARAM is not documented
 00073092[OCaml]
OCaml general
featurenew2016-08-01provides a `update` function for map
 00073014[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-07-31Segfault with flambda -03, perhaps related to lazy values
 00070098[OCaml]
OCamlbuild (the tool)
minorconfirmed2016-07-30ocamlbuild -clean says directory is not empty
 00072902[OCaml]
OCamldoc
minorresolved (gasche)2016-07-29ocamldoc does not support inline records
 00073029[OCaml]
OCaml backend (code generation)
minorresolved (lpw25)2016-07-29regression in conversion typedtree->lambda in 4.03
 0007306 [OCaml]
OCaml general
featurenew2016-07-26consistent mutable field in record
 000403415[OCaml]
OCaml general
featureacknowledged2016-07-25Unix.getpid returns wrong result
 00047516[OCaml]
OCaml general
featureassigned (garrigue)2016-07-22caml_hash_variant not available in standard library
 00072953[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-07-20ocamlbuild foo.inferred.ml does yield a WRONG signature and ocamlc complains...
 00072936[OCaml]
OCaml typing
minorresolved (garrigue)2016-07-20Matches with GADTs break the level check for self types
 00072416[OCaml]
OCaml typing
crashacknowledged2016-07-19Pattern matching with mutable and lazy patterns is unsound
 00063627[OCaml]
OCaml general
featureresolved (frisch)2016-07-19warning about unused modules
 0004904 [OCaml]
OCaml general
featureassigned (garrigue)2016-07-18Warn about repeated function arguments especially for optional arguments
 000659411[OCaml]
OCaml backend (code generation)
majoracknowledged2016-07-13options -nodynlink and -fno-PIC together produce assembler errors for MSVC64
 000711313[OCaml]
OCaml general
featureconfirmed2016-07-13-safe-string should be a global property
 000669613[OCaml]
OCaml general
minoracknowledged2016-07-13Allow dynlinking code into ocamlc/opt
 00072683[OCaml]
OCaml windows
majorresolved (frisch)2016-07-13ocamlc.opt on cygwin32/64 can not link to unix library
 00064703[OCaml]
OCaml windows
majorconfirmed2016-07-13ocamlopt -shared fails on cygwin 64bit
 00071665[OCaml]
OCaml general
majoracknowledged2016-07-13ocamlopt.opt stack overflow
 00070234[OCaml]
Ocaml optimization
minorresolved (frisch)2016-07-13Using function float arguments prevents unboxing
 000520427[OCaml]
OCaml backend (code generation)
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
 00072159[OCaml]
OCaml typing
crashconfirmed2016-07-11Unsoundness with GADTs and let rec
 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]
OCamlbuild (the tool)
minorresolved (gasche)2016-07-08Strange warnings about package tags with -show-tags
 00071784[OCaml]
OCaml standard library
minoracknowledged2016-07-07Calling exit in at_exit callback results in infinite loop.
 00072854[OCaml]
OCaml typing
minorresolved (garrigue)2016-07-07Relaxed value restriction broken with principal
 00072861[OCaml]
OCaml otherlibs
minorresolved2016-07-07Out-of-bounds array access in Event.sync
 00070132[OCaml]
OCaml otherlibs
minorresolved2016-07-07Condition.wait inside Event is not protected against spurious wakeups
 000593622[OCaml]
OCaml general
minorconfirmed2016-07-06Weird syntax accepted by OCaml
 00072841[OCaml]
OCaml typing
majorresolved (garrigue)2016-07-06Bug in mcomp_fields leads to segfault
 00072832[OCaml]
OCaml standard library
featurenew2016-07-05List Module Inconsistancy :: "map"+"mapi" "iter"+"iteri" "rev_map"... but no "rev_mapi"
 000650513[OCaml]
OCaml typing
crashresolved (garrigue)2016-07-05Missed Type-error leads to a segfault upon record access
 00049096[OCaml]
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
 000525622[OCaml]
OCaml general
majorfeedback2016-06-30Processes opened using Unix.open_process* inherit all opened file descriptors (including sockets)
 000717213[OCaml]
OCaml general
minoracknowledged2016-06-30More information in ocamlc -config
 00071893[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2016-06-30#show_module and module aliases
 00071531[OCaml]
OCaml otherlibs
tweakresolved2016-06-29SOCK_SEQPACKET is unusable
 00071552[OCaml]
OCaml standard library
featureacknowledged2016-06-29support for O_DIRECT
 00035441[OCaml]
OCaml general
featureresolved (gasche)2016-06-27immutable strings
 000723813[OCaml]
OCaml standard library
minoracknowledged2016-06-27Marshal.to_channel does not clean the channel internal buffers when it fails
 00072782[OCaml]
OCaml typing
majorresolved (frisch)2016-06-27Private inline records can be mutated
 00062177[OCaml]
OCaml backend (code generation)
tweakresolved (gasche)2016-06-26Compilation of record functional modification is costly
 00072033[OCaml]
OCaml runtime system
minorresolved (gasche)2016-06-26Allocating double arrays from C in 32 bits
 00072765[OCaml]
OCaml windows
majorresolved (frisch)2016-06-22Unix.select fast path misses events if the list of fds is greater than FD_SETSIZE (typically 64)
 00072572[OCaml]
OCaml runtime system
minorresolved (gasche)2016-06-21regressions in sleep (Unix.sleep 0)
 00070732[OCaml]
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]
OCaml backend (code generation)
minorresolved (gasche)2016-06-14Duplicate symbol errors when running ocamlopt
 00062387[OCaml]
OCaml backend (code generation)
featureacknowledged (shinwell)2016-06-09please add an option to enable debug symbols only
 00044311[OCaml]
OCaml general
featureassigned2016-06-07support O_APPEND in Unix.openfile for Win32
 00070742[OCaml]
OCaml typing
featureassigned (garrigue)2016-06-07There is no easy way to give names to existential variables introduced by GADT pattern-matching
 000722611[OCaml]
OCaml backend (code generation)
majorresolved (gasche)2016-06-04Location.none is broken with the LLVM assembler in 4.03.0+beta2
  0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-06-03GADT typing and exhaustiveness bugs
 00072694[OCaml]
OCaml typing
crashresolved (garrigue)2016-06-03Segfault from conjunctive constraints
 000675410[OCaml]
OCaml standard library
minoracknowledged2016-06-03topdirs.cmi multiple locations
 00071645[OCaml]
OCaml general
minornew2016-06-02missing -ltinfo when linking bytecode with -custom
 00072602[OCaml]
OCaml typing
crashresolved (garrigue)2016-06-02GADT + subtyping crash
 00067565[OCaml]
OCaml typing
minoracknowledged2016-05-19add support for type expressions on the right-hand side of type substitutions in signatures
 00070356[OCaml]
Caml web site
majorassigned (doligez)2016-05-17caml.inria.fr mantis login page is not SSL
 00072006[OCaml]
OCaml general
minoracknowledged2016-05-17Testing parsing/printing/parsing roundtripping shows problems with Pprintast / -dsource
 00040236[OCaml]
OCaml general
featureresolved2016-05-14usleep feature
 00069225[OCaml]
OCaml typing
minorassigned (garrigue)2016-05-12Regression with -principal type inference
 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
 00072508[OCaml]
OCaml general
minorconfirmed2016-05-10asmcomp "compile-time constants" do not work on cross-compilers
 00072482[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2016-05-06ocamldep: order of -open options
 00068643[OCaml]
OCaml windows
minorassigned (doligez)2016-05-03linking with flexlink fails when passing arguments by response file
 00072471[OCaml]
OCaml documentation
minorconfirmed (doligez)2016-05-03Compiler internals exported as standard library modules in documentation
 00071463[OCaml]
OCaml documentation
tweakresolved (gasche)2016-05-02Use in-tree ocaml/ocamlc within the manual
 00072103[OCaml]
OCaml runtime system
featureacknowledged2016-05-02Finaliser that are really called when a value will be freed.
 00072395[OCaml]
OCaml general
textresolved (gasche)2016-04-26Warning 42: a case where a type constraint does not help a disambiguation
 00068294[OCaml]
OCaml standard library
featureacknowledged2016-04-25Add Gc.value_{word,byte}_size : 'a -> int
 00071925[OCaml]
OCaml typing
majorconfirmed2016-04-25Strange type system bug
 00066514[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-25Failing component lookup
 00067387[OCaml]
OCaml typing
minorconfirmed2016-04-25Check for the well-formedness of let rec earlier, before or at type checking
 00072315[OCaml]
OCaml general
crashconfirmed2016-04-25let-rec wellformedness check too permissive with nested recursive bindings
 00072302[OCaml]
OCaml general
minorresolved (garrigue)2016-04-22Scrutinee discarded in match with only refutation cases
 00072364[OCaml]
OCaml documentation
textacknowledged2016-04-21document how to use Mantis (including for release triaging)
 00064297[OCaml]
OCaml standard library
featureconfirmed2016-04-21A format specifier for bytes
 00065005[OCaml]
OCaml standard library
featurefeedback2016-04-21New functions for bytes/strings
 00050703[OCaml]
OCaml general
minorassigned (doligez)2016-04-21Error location output not supported by emacs
 00069004[OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-21Native code compiler for 32-bit OS X
 000656713[OCaml]
OCaml otherlibs
minoracknowledged2016-04-21Cannot close properly a file with memory mapped blocks (Bigarray.map_file)
 0007235 [OCaml]
OCaml standard library
minoracknowledged2016-04-21Format only flushes std_formatter by at_exit.
 00060681[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2016-04-20Extend .odocl to allow file copy
 00041738[OCaml]
OCaml otherlibs
minoracknowledged2016-04-20Bad memory cleanup of DLL using Thread module
 00072341[OCaml]
OCaml typing
crashresolved (garrigue)2016-04-20Compatibility check wrong for abstract type constructors
 00069921[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-20Segfault from bug in GADT/module typing
 000722017[OCaml]
OCaml runtime system
minorresolved (gasche)2016-04-20Memory leak in ocaml runtime with backtraces+threads
 00070948[OCaml]
OCaml documentation
textresolved (gasche)2016-04-19We need a documentation for compiler warnings and errors
 000645217[OCaml]
OCaml standard library
featureassigned (dim)2016-04-19custom format
 00042543[OCaml]
OCaml general
minorresolved2016-04-19-dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
 00046861[OCaml]
OCamldoc
minorconfirmed2016-04-19Wrong module signature in generated doc
 00049577[OCaml]
OCaml general
minoracknowledged2016-04-19ocamlc -where, camlp4 -where, etc. add \r\n on mingw
 00050021[OCaml]
OCamldoc
minorassigned (guesdon)2016-04-19ocamldoc lost "with type" in "include ... with type ..."
 00052192[OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-19use $(INSTALL) instead of 'cp' in Makefiles
 00043699[OCaml]
OCaml general
minorconfirmed2016-04-19The emacs function "Show types at point" does not show the type of methods
 00052503[OCaml]
OCaml general
minoracknowledged2016-04-19ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path
 00052541[OCaml]
OCaml general
minorfeedback2016-04-19Compilation of generated .c files with g++
 000546121[OCaml]
OCaml general
minorconfirmed (lefessan)2016-04-19Double linking of bytecode modules
 00054731[OCaml]
OCaml general
minorconfirmed2016-04-19Double linking of native modules (with -pack)
 00056937[OCaml]
OCaml otherlibs
minorconfirmed2016-04-19Missing '_environ' symbol used in libunix.a
 00057831[OCaml]
OCaml windows
minoracknowledged2016-04-19Unix.select returns immediately when waiting for the completion of a non-blocking socket connection
 00041484[OCaml]
OCaml documentation
minoracknowledged2016-04-18Description de -pack dans le manuel
 0007223 [OCaml]
OCaml backend (code generation)
minoracknowledged2016-04-18Pack, CMI and module aliases
 00068008[OCaml]
OCaml typing
featureconfirmed2016-04-18simplify using gadt with lambda
 00065681[OCaml]
OCaml standard library
featureacknowledged2016-04-18Reveal the type of Unix.inet_addr
 00062794[OCaml]
OCaml standard library
featureacknowledged2016-04-18Set.map
 00067046[OCaml]
OCaml general
featureacknowledged2016-04-18Expose more compiler-libs internals in Toploop
 00055361[OCaml]
OCamldoc
minorfeedback (guesdon)2016-04-18warning for inherited library classes
 00068592[OCaml]
OCaml general
featureconfirmed2016-04-18Do not require bitness of compiler host and target to match
 00039597[OCaml]
OCaml general
minorconfirmed2016-04-18no exit on bad #use in ocaml scripts
 0005067 [OCaml]
OCamldoc
textconfirmed2016-04-18ocamldoc doesn't preserve type contraints and `_`, producing unreadable interfaces
 00039572[OCaml]
OCaml general
minoracknowledged2016-04-18[> {typexpr} as 't ] yields a syntax error with yacc syntax
 00071391[OCaml]
OCaml general
textacknowledged2016-04-18Warning message for unused exception uses "extension", which is confusing.
 00060497[OCaml]
OCaml internal build/install (Makefiles, configure)
featureconfirmed (meurer)2016-04-18fix support for OpenBSD/macppc (32-bit powerpc)
 00058126[OCaml]
OCaml general
minoracknowledged2016-04-18Adapt emacs mode to generate .annot from .cmt files
 00058431[OCaml]
OCamldoc
minorassigned (guesdon)2016-04-18Ocamldoc: "Module or module type ?? not found" when including a functor application
 00058601[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-04-18ocamldebug documentation issues
 0005898 [OCaml]
OCamldoc
minorassigned (guesdon)2016-04-18Ocamldoc does not generate links to nested module types
 00061212[OCaml]
OCaml backend (code generation)
minorassigned (shinwell)2016-04-18Atomic load primitives
 00061896[OCaml]
OCaml documentation
minorfeedback (doligez)2016-04-18some problems in the 4.01 documentation
 00059273[OCaml]
OCaml typing
minoracknowledged (garrigue)2016-04-18Type equality broken for conjunctive polymorphic variant tags
 00059872[OCaml]
OCaml documentation
minorconfirmed2016-04-18Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr"
 00060113[OCaml]
OCaml typing
minorconfirmed2016-04-18Signatures with private types can make modules less constrained
 00060134[OCaml]
OCaml general
minorconfirmed2016-04-18duplicate locations cause 'unused warnings' to be lost
 0006080 [OCaml]
OCaml general
minorconfirmed2016-04-18Some error and warning messages are not in the standard format.
 00061242[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-18Odd behaviour of type expressions in polymorphic variant tag specifications
 0006201 [OCaml]
OCaml general
minoracknowledged2016-04-18printing of types inconsistent with -short-paths
 00065482[OCaml]
OCaml documentation
minorconfirmed2016-04-18Misleading comment on private type abbreviations
 0006603 [OCaml]
OCaml documentation
minorassigned (lpw25)2016-04-18Undocumented behavior with extension constructors added to abstract types
 0006654 [OCaml]
OCaml typing
minorconfirmed2016-04-18Destructive substitution on classes produces unrepresentable module type
 00066601[OCaml]
OCaml typing
minoracknowledged (garrigue)2016-04-18Quirk of the type-checker: a strange disappearance of warning 20 (unused argument)
 000667320[OCaml]
OCaml typing
minoracknowledged (garrigue)2016-04-18Redundant type annotation on argument causes polymorphic-recursive definition to be rejected
 00066974[OCaml]
OCaml general
minoracknowledged2016-04-18Turn warning on using non-US-ASCII ISO-8859-1 characters in identifiers into error
 00067003[OCaml]
OCaml documentation
minoracknowledged2016-04-18ocamlopt -shared -o creates by-products in a confusing place; documentation clarification welcome
 0006709 [OCaml]
OCaml documentation
minorconfirmed2016-04-18Document the associativity of operators declared in Pervasives in Pervasives itself.
 00067303[OCaml]
OCaml general
minoracknowledged2016-04-18Wish: -dsource/-dparsetree for ocamldep
 00067326[OCaml]
OCaml standard library
minoracknowledged2016-04-18Buffer.add_substitute is not surjective and its documentation is incomplete.
 00067451[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-18`as` ignored on types containing universal variables
 00067611[OCaml]
OCaml documentation
minoracknowledged2016-04-18add Table with filename-extensions
 0006769 [OCaml]
OCaml standard library
minoracknowledged2016-04-18Formatting tags are lost on a flush
 00067737[OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-18Separate the build of ocamlbuild, ocamldoc, ocamldebug (non-mandatory tools) from the build of the compiler
 00067772[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-04-18ocamldebug fails to use installed printer on types defined in the module being stepped
 00067891[OCaml]
OCaml documentation
minorresolved2016-04-18Debugging byte code and profiling native code documentation
 0006807 [OCaml]
OCaml general
minoracknowledged2016-04-18Check that loaded dll*.so have matching ABI
 00068132[OCaml]
OCaml otherlibs
minorassigned (dim)2016-04-18Uncaught exceptions inside threads don't trigger handler set via Printexc.set_uncaught_exception_handler
 00068603[OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-18Get rid of #ml from config/Makefile
 00068612[OCaml]
OCaml internal build/install (Makefiles, configure)
minorassigned (doligez)2016-04-18Do not install native-code executables when cross-compiling
 000688110[OCaml]
OCaml general
minoracknowledged2016-04-18no warning when ignoring a partially applied function in a match with expression
 00068824[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-18Apparently valid program rejected by the typer
 00069342[OCaml]
OCaml typing
minoracknowledged2016-04-18nonrec misbehaves with GADTs
 00067928[OCaml]
OCaml general
featureconfirmed (whitequark)2016-04-17Dynlink support for ocamldebug
 000612019[OCaml]
OCaml otherlibs
minorresolved (gasche)2016-04-17Windows links
 00070691[OCaml]
OCaml standard library
minoracknowledged2016-04-17Scanf "%F" or "%H" and float_of_string are broken for "nan" on Windows
 00072295[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-15type equation conceals polymorphic variants subtyping
 00072222[OCaml]
OCaml typing
majorresolved (garrigue)2016-04-15Escaped existential type
 00069901[OCaml]
OCaml runtime system
minorconfirmed2016-04-15Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory
 00069166[OCaml]
OCaml general
minorfeedback2016-04-15warning 50 (documentation comments) too strict
 00069212[OCaml]
OCaml otherlibs
minorresolved2016-04-15Behaviour of Unix.{gmtime,localtime} on negative timestamps.
 000696812[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorconfirmed2016-04-15ocamldep -one-line doesn't work with -sort
 00069707[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-15equality, moregen and unification force expansion of large, non-recursive type constructors
 00069783[OCaml]
OCaml windows
minoracknowledged2016-04-15Unix.create_process fails to call programs with spaces in path given arguments with spaces
 00070482[OCaml]
OCamldoc
minoracknowledged2016-04-15Support for other inputenc than latin1 in ocamldoc -latex
 000705617[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-15"include" with module aliases
 0007093 [OCaml]
OCaml typing
minoracknowledged2016-04-15Confusing error when accessing a record field that doesn't exist
 00071041[OCaml]
OCaml internal build/install (Makefiles, configure)
minorassigned (doligez)2016-04-15Some Cygwin version do not support -lpthread which configures OCaml without native threads
 00070929[OCaml]
OCaml documentation
majorresolved (frisch)2016-04-14Document new features in 4.03
 00069552[OCaml]
OCaml documentation
textacknowledged2016-04-14"opaque" option is not in OCAMLPARAM nor man pages
 00067413[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
textacknowledged2016-04-14ocamldebug: document the .ocamldebug startup file
 00071175[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorconfirmed2016-04-14ocamldep behaviour regarding extension points is not documented
 0007121 [OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-14[cross-compilation] Use target's ld as a basis for ${partialld}
 0007122 [OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-14[cross-compilation] Use -I otherlibs/$(UNIXLIB) when building systhreads
 00071251[OCaml]
CamlIDL
minoracknowledged2016-04-14camlidl doesn't work with topfind
 0007126 [OCaml]
OCaml standard library
minoracknowledged2016-04-14Mark functions in the stdlib that should be inlined
 00071794[OCaml]
OCaml general
minoracknowledged2016-04-14Interfacing with C missing documentation and helper macros and functions
 00072193[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-04-14ocamlmklib should respect OCAMLPARAM
 0003829 [OCaml]
OCaml general
tweakacknowledged2016-04-14Nom de module = nom d'exception
 00040701[OCaml]
OCaml general
tweakacknowledged2016-04-14Small tweak for some numeric functions in Pervasives
 00058744[OCaml]
OCaml typing
tweakconfirmed2016-04-14Improve error message for polymorphic variant
 00059036[OCaml]
OCaml typing
tweakacknowledged2016-04-14integrate unused-variable (and other unused-*) warnings with ordinary type-error messages
 000599910[OCaml]
OCaml backend (code generation)
tweakacknowledged2016-04-14"for" loop not entirely optimal?
 00060292[OCaml]
Ocaml optimization
tweakconfirmed2016-04-14lazy should be primitive
 00061123[OCaml]
OCaml general
tweakconfirmed2016-04-14Error messages default to "line 1"
 00061226[OCaml]
OCaml typing
tweakacknowledged2016-04-14A polymorphic variant type is not recognized as a polymorphic variant
 00062245[OCaml]
OCaml backend (code generation)
tweakacknowledged2016-04-14introduce cmovcc instruction to speed up certain simple "if" blocks
 00066011[OCaml]
OCaml documentation
tweakacknowledged2016-04-14advertise caml_strdup in 19.10.2 instead of strcpy
 00056073[OCaml]
Caml web site
textacknowledged (gasche)2016-04-14FAQ suggestion: explain the interaction between (relaxed) value restriction and variance annotations
 000632911[OCaml]
OCaml runtime system
majorfeedback (shinwell)2016-04-14File "camlinternalMod.ml", line 63, characters 6-12: Assertion failed.
 00072177[OCaml]
OCaml otherlibs
blockresolved (doligez)2016-04-14MinGW: Unix.symlink dose not raise an exception even when Unix.has_symlink () = false
 00071445[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-04-13Strange undefined global error on trunk
 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"
 0007225 [OCaml]
OCaml general
featurenew2016-04-13Exclude class method names from the opt-compiled binary
 00066323[OCaml]
OCaml typing
minoracknowledged2016-04-12Inconsistent polymorphic method printing
 00066334[OCaml]
OCaml general
minoracknowledged2016-04-12Error message for module used where a module type is expected is confusing
 00066343[OCaml]
OCaml typing
minoracknowledged2016-04-12Type $t is not included in type $t
 00066383[OCaml]
OCaml documentation
minorfeedback2016-04-12docs should mention that open! also suppresses warning 33
 00065503[OCaml]
OCaml general
minoracknowledged2016-04-12Making an empty .cmxa fails on MacOS
 00066043[OCaml]
OCaml general
minorconfirmed2016-04-12Expressions like 3#0;; are ignored by the toplevel and the compiler
 00066082[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-12Lax typing for functional record updates
 000655616[OCaml]
OCaml backend (code generation)
minoracknowledged2016-04-12Backtraces truncated with 4.02
 00065871[OCaml]
OCaml general
minorconfirmed (garrigue)2016-04-12#show_module prints types incorrectly
 0006596 [OCaml]
OCaml general
minorassigned (guesdon)2016-04-12ocamldoc manpage generator does not preserve formatting in {[ ]}
 00065973[OCaml]
OCaml documentation
minoracknowledged2016-04-12the new quoted string literal syntax is not documented
 0007224 [OCaml]
OCaml otherlibs
featurenew2016-04-12Sparse bigarray support
 0007221 [OCaml]
OCaml general
featurenew2016-04-12Refine error message for erroneous partial application
 00072188[OCaml]
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
 00071867[OCaml]
OCaml general
minoracknowledged2016-04-08infinity literal
 00062963[OCaml]
OCaml documentation
tweakresolved2016-04-08inconsistent behavior of float_of_string (compare to "ints"_of_string)
 00067015[OCaml]
OCaml runtime system
minoracknowledged2016-04-08string_of_float and float_of_string are locale dependent
 00064673[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-08include of sub-module in recursively-defined module causes loss of type equality
 00072143[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-08Assertion failure in Env.add_gadt_instances
 00064783[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-04-06approx_type ignores structural types
 00064772[OCaml]
OCamldoc
minorassigned (doligez)2016-04-06Makefile.nt: odoc_info.cma and cmxa contain objects outside of ocamldoc
 00064851[OCaml]
OCaml typing
minorassigned (garrigue)2016-04-06private lost after rebinding module
 0006491 [OCaml]
OCaml typing
minoracknowledged2016-04-06Recursive modules do not correctly handle class inheritance
 0006492 [OCaml]
OCaml typing
minoracknowledged2016-04-06Recursive modules do not correctly handle variance
 00064991[OCaml]
OCaml general
minoracknowledged2016-04-06Parsetree.row_field.Rtag should have constructor location
 0006504 [OCaml]
OCaml documentation
minorconfirmed2016-04-06document CAML_DEBUG_SOCKET
 0006506 [OCaml]
OCaml general
minoracknowledged2016-04-06-for-pack seems to be broken in some cases
 00065282[OCaml]
OCaml typing
minoracknowledged2016-04-06type constraints alter signatures in unusual ways
 0007198 [OCaml]
OCaml runtime system
minoracknowledged2016-04-06caml_alloc_custom/caml_alloc_final API easily leads to GC performance issues
 00071584[OCaml]
OCaml otherlibs
majorconfirmed2016-04-06Event.sync forces a full major GC cycle every 5000 calls at most
 0007213 [OCaml]
OCaml general
minoracknowledged2016-04-05Polymorphic variant pattern syntax is too permissive
 00072021[OCaml]
OCaml general
minorconfirmed2016-04-05ocaml script mode, some errors are reported on stdout and do not lead to non-zero exit
 0007211 [OCaml]
OCaml typing
minoracknowledged2016-04-05Strange behavior of exhaustive record copy with disambiguation
 0007212 [OCaml]
OCaml typing
minoracknowledged2016-04-05Covariance propagation across functors
 00072051[OCaml]
OCaml documentation
tweakacknowledged2016-04-05List.map length limit
 0007201 [OCaml]
Ocaml optimization
minorconfirmed2016-04-05Wrong optimization of 0 / e
 00062253[OCaml]
OCaml documentation
minoracknowledged2016-04-05weak variables '_a should be documented in the manual
 00063011[OCaml]
OCaml runtime system
minoracknowledged2016-04-05Improve the printing of exceptions (pp registered)
  00064482[OCaml]
OCaml backend (code generation)
minorresolved (doligez)2016-04-05Strange interaction of classes and modules
 00064712[OCaml]
OCamldoc
minorassigned (guesdon)2016-04-05ocamldoc doesn't support module aliases
 00064721[OCaml]
OCaml general
minorconfirmed2016-04-05tokens ignored in top level command line after ';;'
 00064736[OCaml]
OCaml standard library
minorassigned (weis)2016-04-05Leak in fscanf
 00063042[OCaml]
OCaml general
minoracknowledged (garrigue)2016-04-05Explicit interface for a pack, "module type of" and type generativity
 00063052[OCaml]
OCaml general
minorfeedback (garrigue)2016-04-05Namespace pollution when using 'module type of' in an explicit interface for a pack
 00063301[OCaml]
OCaml typing
minoracknowledged2016-04-05Wrong location for error with polymorphic variant patterns
 00063952[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-05Incorrect exhaustiveness warning with GADTs
 00063602[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-04-05Relaxing the coherence check for with-constraint re-exports
 00063801[OCaml]
OCaml typing
minorconfirmed2016-04-05-short-paths sometimes does not shorten paths
 00063813[OCaml]
OCaml general
featurefeedback2016-04-05Report unbound variables before other errors
 00064332[OCaml]
OCaml typing
minoracknowledged (garrigue)2016-04-05Wrong module type signature grabbed when using packed libraries
 00064162[OCaml]
OCaml typing
minorconfirmed2016-04-05The same string can mean different types in the same error message
 00072098[OCaml]
OCaml standard library
minorresolved (dim)2016-04-04Unexpected interference between create-process(fork) and at-exit
 00072071[OCaml]
OCaml typing
minorresolved (garrigue)2016-04-02Wrong error message for unbound module in 4.03+beta1
 00072068[OCaml]
OCaml general
featurenew2016-04-01Stack overflow does not have exception backtrace
 00072042[OCaml]
OCaml typing
featureresolved (lpw25)2016-04-01Module aliases not expanded when comparing abstract module types
 00071994[OCaml]
OCaml typing
majorresolved (garrigue)2016-03-30OCaml 4.03.0+beta1 rejects previously accepted cast
 00071814[OCaml]
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
 00063232[OCaml]
OCaml typing
minoracknowledged2016-03-25ocamlc -i can generate a wrong signature
 00048501[OCaml]
OCaml typing
minoracknowledged2016-03-25Bad interaction between subtyping and recursive modules
 0005684 [OCaml]
OCaml internal build/install (Makefiles, configure)
minorconfirmed2016-03-25no uninstall target in the Makefile
 00042082[OCaml]
OCaml general
minoracknowledged2016-03-25Dynlink.crc_interfaces n'est pas bien backtrackée
 00050062[OCaml]
OCaml typing
minoracknowledged2016-03-25Typing problem with recursive modules
 00058184[OCaml]
OCaml typing
minoracknowledged2016-03-25Function signatures be dropped out from recursive modules within higher order functor
 00071767[OCaml]
OCaml general
featurenew2016-03-25external functions can't be specified with a type that is a function
 000717344[OCaml]
OCaml general
featureacknowledged2016-03-25add caml_weak_get(), caml_weak_set() and caml_weak_check() to caml/*.h
 00071942[OCaml]
OCaml otherlibs
minoracknowledged2016-03-25OCaml Graphics bug with Key_pressed and Poll
 00071936[OCaml]
OCaml typing
minoracknowledged2016-03-25Terminating semi-colon ignored by -strict-sequence
 00062914[OCaml]
OCaml general
minorassigned (protz)2016-03-24Add a new warning for suspicious octal constants
 00071773[OCaml]
OCaml standard library
minorconfirmed2016-03-24stderr is buffered when using some prerr functions
 00071744[OCaml]
OCaml documentation
minoracknowledged2016-03-24OCaml bug with out of the box coordinates
 00071672[OCaml]
OCaml general
minoracknowledged (shinwell)2016-03-24ocamlopt.opt fails with `Fatal error: Cmmgen.transl_prim_1`
 00032364[OCaml]
OCaml general
minoracknowledged2016-03-24Queue+Threads+Cygwin native causes crash
 00047993[OCaml]
OCaml general
minorresolved2016-03-24Printf ignores width on %b %c %a %% (and maybe other)
 00038053[OCaml]
OCaml general
minoracknowledged2016-03-24misc. camlp4 + doc
 00041592[OCaml]
OCaml general
minoracknowledged2016-03-24MinGW: Unix.stat works on "directory" but not on "directory/", works on Linux
 00040809[OCaml]
OCaml general
minorconfirmed (frisch)2016-03-24segfault avec ocamlopt -pack
 00071952[OCaml]
OCaml documentation
textresolved (gasche)2016-03-24Typo in the Complex documentation
 0004230 [OCaml]
OCaml general
minoracknowledged (doligez)2016-03-24value name conflict
 00054297[OCaml]
OCaml general
minoracknowledged2016-03-24Unix.stat behaves differently on win32 and linux
 00058293[OCaml]
OCaml standard library
minorconfirmed2016-03-24int_of_string failure
 00034681[OCaml]
OCaml documentation
minoracknowledged2016-03-23Sys_error documentation
 00039472[OCaml]
OCamldoc
minorassigned (guesdon)2016-03-23Bad link
 0004164 [OCaml]
OCaml general
minoracknowledged (doligez)2016-03-23caml C headers may clash with other C libraries
 00048291[OCaml]
OCaml general
minoracknowledged2016-03-23Recursive modules which do not type
 00058903[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2016-03-23ocamlc does not fully take into consideration -o parameter
 00063061[OCaml]
OCaml general
tweakconfirmed2016-03-23[style patches] use (@@) to reduce parentheses in typing/predef.ml and asmcomp/cmmgen.ml
 0006373 [OCaml]
OCaml backend (code generation)
tweakconfirmed2016-03-23Warning about trigraph on generated assembly code
 00065792[OCaml]
OCaml windows
tweakacknowledged2016-03-23Different behavior of %g format under Windows
 0006595 [OCaml]
OCaml general
tweakacknowledged2016-03-23Location.absolute_path is broken by symlinks
 00069323[OCaml]
Ocaml optimization
tweakresolved2016-03-22Superfluous dereferencing when accessing entries in functor arguments
 00071591[OCaml]
OCaml typing
tweakacknowledged (garrigue)2016-03-22Better type propagation within object literals
 00057126[OCaml]
OCaml documentation
textconfirmed2016-03-22some documentation problems
 0006206 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
textacknowledged2016-03-22Spurious (?) ocamldoc warning: "Module or module type BatSet.StringSet not found"
 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
 00047912[OCaml]
OCaml general
minoracknowledged2016-03-21ocamlc -i produces incorrect result
 00071883[OCaml]
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
 0007084 [OCaml]
OCaml documentation
minoracknowledged2016-03-19ocamldoc parsing error issues incorrect line number
 00071855[OCaml]
OCaml runtime system
featurenew2016-03-18Is it possible to get rid of the "fatal" out of memory ?
 00071844[OCaml]
OCaml general
featurenew2016-03-17A command-line option to tell the compiler to behave (somehow) as a specific version
 00071822[OCaml]
OCaml general
minorresolved (garrigue)2016-03-17Assertion failure with recursive modules and externals
 00070142[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurenew2016-03-17Is there any good reason to install both byte and native versions of the ocaml toolchain binaries ?
 00071121[OCaml]
OCaml typing
majorresolved (garrigue)2016-03-16Aliased arguments ignored for equality of module types
 00066776[OCaml]
OCaml general
minoracknowledged2016-03-14Toplevel let should take attributes.
 00071701[OCaml]
OCaml general
majorresolved (frisch)2016-03-14ocamlopt.opt fails with Index out of bounds error when compiling empty external value
 00071714[OCaml]
OCaml backend (code generation)
minorresolved (lpw25)2016-03-13OCaml not well defined?
 00071751[OCaml]
OCaml general
featurenew2016-03-11Allow external functions and methods for classes
 000474714[OCaml]
OCaml standard library
minorresolved (frisch)2016-03-11Hashtbl.resize is not tail recursive
 00069613[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-03-08Parsing of semicolon followed by binary operator is confusing
 00071209[OCaml]
OCaml backend (code generation)
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]
OCaml backend (code generation)
majorresolved (gasche)2016-03-08Crashes when ocamlopt-generated code calls into Objective-C code that adds an exception handler
 00062946[OCaml]
OCaml runtime system
majorassigned (garrigue)2016-03-07Poor tracking of extra heap resources
 00071632[OCaml]
OCaml runtime system
featureconfirmed2016-03-04Backtrace-friendly finalizers
 00019565[OCaml]
OCaml general
minoracknowledged (doligez)2016-03-03Name clashes
 00071602[OCaml]
OCaml typing
crashresolved (garrigue)2016-03-03Type synonym definitions can weaken constraints of previously defined types through their manifests
 0007156 [OCaml]
OCaml general
minoracknowledged2016-03-01Custom exception printers ignored by ocaml toplevel
 00071502[OCaml]
OCaml general
minoracknowledged2016-02-25ocamlopt reorders linker options
 00071401[OCaml]
OCaml typing
minorfeedback2016-02-25module expression in open
 00071411[OCaml]
OCaml general
minoracknowledged2016-02-25non informative link time error when the c compiler couldn't run
 0007148 [OCaml]
OCaml general
minorconfirmed2016-02-24Confusing error message when parentheses are added around an expression
 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]
OCaml internal build/install (Makefiles, configure)
featureassigned2016-02-23adapt build system for cross-compilation
 000715110[OCaml]
OCaml typing
featurenew2016-02-23Extended package type subtyping
 00071544[OCaml]
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'
 00071499[OCaml]
OCaml general
featureresolved (gasche)2016-02-15Incoherent syntax between types and functions
 00070175[OCaml]
Ocaml optimization
minornew2016-02-14Allow unboxing across "static fail"
 0007143 [OCaml]
OCaml general
featurenew2016-02-14Annotations for cross-platform development
 00050683[OCaml]
OCaml general
minoracknowledged2016-02-13ocamlc/camlp4 should give better error messages for syntax errors
 00070911[OCaml]
OCaml typing
minoracknowledged2016-02-09Improve GADT typing with or-clauses
 000640241[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2016-02-09move ocamlbuild to its own repository.
 00057563[OCaml]
OCamlbuild (the tool)
tweakresolved (gasche)2016-02-09ocamlbuild spends a lot of time logging
 00071381[OCaml]
OCaml general
minorconfirmed2016-02-09Warning 50 triggers on "empty" files
 00037892[OCaml]
OCaml windows
minoracknowledged2016-02-08Addition to bug 0003771
 00037861[OCaml]
OCaml windows
minoracknowledged2016-02-08Addition to bug 0003771
 000377121[OCaml]
OCaml windows
majoracknowledged2016-02-08Reading Unicode filenames fails on Windows
 00070631[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved2016-02-08error report cites line-number which is not anywhere close to the actual error.
 00070461[OCaml]
OCamlbuild (the tool)
textconfirmed2016-02-08outdated ocamlbuild man page
 0004356 [OCaml]
OCamlbuild (the tool)
textacknowledged2016-02-08Ocamlbuild manual lacks examples
 0006959 [OCaml]
OCaml internal build/install (Makefiles, configure)
tweakacknowledged2016-02-08OCaml inappropriately installs binaries in the library directory
 00071291[OCaml]
OCaml typing
minoracknowledged2016-02-08constraints and local opens as proper nodes vs extra field
 0007130 [OCaml]
OCaml typing
minoracknowledged2016-02-08Code may fail to type without -strict-sequence
 00071311[OCaml]
OCaml general
minorfeedback2016-02-08OCaml's compilers should never die with Misc.Fatal_error except when there is a bug
 0007132 [OCaml]
OCaml runtime system
minoracknowledged2016-02-08trouble with pthread_atfork on openBSD
 00071361[OCaml]
OCaml standard library
minorresolved (gasche)2016-02-05Buffer.add_channel discards data
 00071071[OCaml]
OCaml typing
majorresolved (garrigue)2016-02-04private method can become public by type annotations but without any warning
 000702817[OCaml]
OCaml typing
minoracknowledged2016-02-03GADT pattern exhaustiveness checking and abstract types
 00070864[OCaml]
OCaml general
minoracknowledged2016-02-03-for-pack does not implement proper namespace isolation of internal symbols
 0007077 [OCaml]
OCaml typing
minoracknowledged2016-02-03[OCaml] Typechecking limitation in presence of mutually recursive modules
 0007070 [OCaml]
OCaml typing
minoracknowledged2016-02-03Unexported values can cause non-generalisable variables error
 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
 00069871[OCaml]
OCaml typing
minorassigned (garrigue)2016-02-03Strage error message probably caused by universal variable escape (with polymorphic variants)
 00069664[OCaml]
OCamldoc
minoracknowledged2016-02-03Cannot attach documentation to polymorphic variants
 00069624[OCaml]
OCaml standard library
minoracknowledged2016-02-03bigarray lacks a free-like call.
 00069584[OCaml]
OCaml standard library
minorresolved2016-02-03Scanf.unescaped fails on "\""
 00069573[OCaml]
OCaml runtime system
minoracknowledged2016-02-03Modules name conflict during dynamic loading
 00064622[OCaml]
OCaml runtime system
minoracknowledged2016-02-03Dynlinking duplicate module clobbers host program state
 0004229 [OCaml]
OCaml documentation
minoracknowledged2016-02-03Casser le typage avec Dynlink
 0006950 [OCaml]
OCaml otherlibs
minoracknowledged2016-02-03Dynlink wrong symbol
 00048397[OCaml]
OCaml general
crashacknowledged2016-02-03natdynlink reproducible segfault
 00069471[OCaml]
OCaml otherlibs
minoracknowledged2016-02-03Missing support for SOCK_NONBLOCK and SOCK_CLOEXEC
 0007128 [OCaml]
OCaml runtime system
minoracknowledged2016-02-03ref_table grows without bound
 00070005[OCaml]
OCaml runtime system
majornew2016-02-02ocamlrun built with Intel compilers segfaults
 0005889 [OCaml]
OCaml typing
textconfirmed2016-01-27polymorphic variant typing error message not meaningful
 00046771[OCaml]
OCaml standard library
textconfirmed2016-01-27set_text_size doesn't work
 00034882[OCaml]
OCaml general
textconfirmed2016-01-27-pack and cmx dependancies
 00052665[OCaml]
OCaml general
featureacknowledged2016-01-27Unix.{system,open_process_{in,out,full}} are not threadsafe
 0006750 [OCaml]
OCaml typing
featureacknowledged2016-01-27Make the idents of the predefined type constructors (such as int, char) persistent or global
 00071002[OCaml]
OCaml otherlibs
majornew2016-01-23Bigarray's caml_ba_alloc doesn't try GC if malloc fails
 00069038[OCaml]
OCaml windows
minorconfirmed2016-01-22Unix.execvpe doesn't change environment on Cygwin and maybe Windows
 000532410[OCaml]
OCaml general
featureresolved2016-01-20Linear Scan Register Allocator for ocamlopt and ocamlnat
 0007123 [OCaml]
OCaml general
featurenew2016-01-13Deliver OCaml Compiler Errors in JSON format (or Sexp)
 00071243[OCaml]
OCaml typing
featureassigned (frisch)2016-01-13Unused modules are not reported
 00069359[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
trivialresolved (gasche)2016-01-09ocamldebug: load_printer raise uncaught exception when passing directory
 00058944[OCaml]
OCaml backend (code generation)
featureacknowledged2016-01-08[patch] Avoid boxing float/int32/int64 when doing direct call
 00071191[OCaml]
OCaml general
minorresolved (frisch)2016-01-08ocaml doesn't respect [@@@warning]
 00070782[OCaml]
OCaml windows
minorresolved (frisch)2016-01-07Do not pass -g to cl on Windows
 00066052[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-01-06camlp4 parser paths are hard-coded
 00071161[OCaml]
OCaml internal build/install (Makefiles, configure)
featurenew2016-01-05Allow easy retrieval of Makefile.config's values
 00071153[OCaml]
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]
OCaml standard library
featureresolved (frisch)2016-01-04Map.union
 0007114 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurenew2016-01-04smarter break command in ocamldebug
 00071087[OCaml]
OCamldoc
tweakresolved (gasche)2016-01-02Standard generators override custom generators
 00062581[OCaml]
OCaml general
minorresolved (dim)2015-12-30Insert debug info for %revapply and %apply primitives
 00053672[OCaml]
OCaml general
featurefeedback2015-12-29OCaml lacks conversion between string and char list.
 00071096[OCaml]
OCaml documentation
minorresolved (gasche)2015-12-29Bigarray 'type kind' documentation bad layout since 4.02
 0007110 [OCaml]
OCaml standard library
featurenew2015-12-28Missing Printf.ikbprintf
 00061135[OCaml]
OCaml general
featureresolved (gasche)2015-12-25listing the available toplevel directives with #help
 00065325[OCaml]
OCaml runtime system
minoracknowledged2015-12-25ocamlrun should check compatibility of stublibs in CAML_LD_LIBRARY_PATH
 000613911[OCaml]
OCaml otherlibs
minoracknowledged2015-12-24reversing the Unix and Bigarray dependency
 00071052[OCaml]
OCaml documentation
minorresolved (gasche)2015-12-24Missing content from manual section 1.8
 00071033[OCaml]
OCaml typing
minorresolved (garrigue)2015-12-22Type a is not compatible with type 'a
 00071023[OCaml]
OCaml typing
featurenew2015-12-21Ability to re-export a variant definition with renamed constructors?
 00071011[OCaml]
OCaml general
minorresolved (frisch)2015-12-18The toplevel does not close in_channel for libraries specified on its command line.
 00070992[OCaml]
OCaml general
trivialnew2015-12-17The "ocaml" toplevel should accept "-verbose"
 00070982[OCaml]
OCaml general
minorresolved (frisch)2015-12-17Loss of ppx context in toplevel after an exception
 0006996 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (dim)2015-12-17ocamldep should detect ppx rewriter errors reported via [%%ocaml.error]
 00067957[OCaml]
OCaml general
minorresolved (dim)2015-12-17ocamldep should error out if a rewriter returns an error
 00070961[OCaml]
OCaml documentation
minorresolved (gasche)2015-12-17HTML docs render incorrectly superscripted text
 00046651[OCaml]
OCaml standard library
featureassigned (weis)2015-12-16Format: printf syntax for tab boxes
 00070601[OCaml]
OCaml general
featureacknowledged2015-12-15Toplevel: toplevel swallows exception in installed custom printers
 0007088 [OCaml]
OCaml otherlibs
featurenew2015-12-14Unix.system (Win) should report when cmd.exe is not found
 00070824[OCaml]
OCaml typing
crashresolved (garrigue)2015-12-14Object type in recursive module's `with` annotation raises Ctype.Unify(_)
 0007089 [OCaml]
OCaml otherlibs
featurenew2015-12-13Implement `nice` on Windows
 0007090 [OCaml]
OCaml otherlibs
featurenew2015-12-13Implement more general file ownership functions
 000703718[OCaml]
OCaml backend (code generation)
minorresolved2015-12-13Binaries are not reproducible (temporary filenames are in the object files)
 00070871[OCaml]
OCaml documentation
textresolved (gasche)2015-12-12Ocamldoc garbles scanf and pervasives modules documentation in ocaml manual
 00070834[OCaml]
OCaml typing
crashresolved (frisch)2015-12-12Typing crash when pattern matching with polymorphic variants + exception cases
 00070852[OCaml]
OCaml typing
majorresolved (garrigue)2015-12-12Erroneous refutation warning 56 with GADTs
 00039224[OCaml]
OCaml general
textacknowledged2015-12-11Detecter inclusions multiples de .cmx
 00063211[OCaml]
OCaml standard library
minorresolved2015-12-11Infinity vs. NaN in hypot
 000671114[OCaml]
OCaml standard library
minoracknowledged2015-12-11Deprecate Stream and Genlex
 00069258[OCaml]
OCaml runtime system
minorfeedback2015-12-11Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock
 00070621[OCaml]
OCaml documentation
majorresolved (frisch)2015-12-11Document the command-line options of `ocamldep`
 00065374[OCaml]
OCaml backend (code generation)
minorfeedback2015-12-11Stack overflow of ocamlopt while linking a pack with name clashes
 000591620[OCaml]
OCaml typing
minorresolved2015-12-11Compile time performance of opens
 00059954[OCaml]
OCaml general
minorresolved (frisch)2015-12-11Uncaught exceptions & packing
 000679713[OCaml]
OCaml general
minorresolved (doligez)2015-12-11-output-obj should support autolink
 00070814[OCaml]
OCaml general
minorresolved (dim)2015-12-10ocaml.ppwarning ignored in the toplevel
 00070597[OCaml]
OCaml general
minorresolved (frisch)2015-12-09Warning 8 suppresses warning 25
 000677113[OCaml]
OCaml windows
minorresolved (xleroy)2015-12-09Thread lock up
 000668127[OCaml]
OCaml general
minorresolved (frisch)2015-12-09Signatures as ppx payload
 00070801[OCaml]
OCaml general
featurenew2015-12-09ocamlc/ocamlopt better support for precise builds
 00030195[OCaml]
OCaml documentation
textresolved (frisch)2015-12-09Document "noalloc" annotation on primitive declarations
 000532514[OCaml]
OCaml general
majorresolved2015-12-09Blocked Unix.recv in one thread blocks Unix.send in another thread under Windows
 000693911[OCaml]
OCaml general
crashresolved2015-12-09Segfault with improper use of let-rec
 00070683[OCaml]
OCaml general
majorresolved2015-12-09Wrong Lazy assumption
 00044669[OCaml]
OCaml windows
minorresolved2015-12-09Unix.select on Windows not handling reads and writes to same socket
 00059425[OCaml]
OCaml runtime system
majorconfirmed2015-12-09Weak hash of serialized closures
 00056248[OCaml]
OCaml typing
minoracknowledged2015-12-09Some dependencies cannot be detected by ocamldep
 000654219[OCaml]
OCaml general
majorresolved (garrigue)2015-12-08Class compilation shows non-linear runtime behaviour.
 000706731[OCaml]
OCaml general
majorresolved (frisch)2015-12-07Performance regression in the compiler between 4.02.3 and 4.01.0
 00068181[OCaml]
OCaml general
featureacknowledged2015-12-07Recursive signatures
 00070262[OCaml]
Ocaml optimization
minorresolved (gasche)2015-12-06Polymorphic variant with no arguments aren't treated as immediate in record field assignment
 00049503[OCaml]
OCaml general
textresolved2015-12-06Array.init raises the wrong exception for invalid argument
 00065751[OCaml]
OCaml standard library
minorresolved (frisch)2015-12-06Array.init evaluates callback although it should not do so
 00068541[OCaml]
OCaml documentation
minorresolved2015-12-06Manual example does not initialize compare_ext field
 00068581[OCaml]
OCaml windows
minorresolved2015-12-06Compile Warnings with MSVC
 00062896[OCaml]
OCaml standard library
minorresolved2015-12-06Unix.utimes with 0.0
 00066435[OCaml]
OCaml general
featureresolved2015-12-06Warn equality with NaN
 00062902[OCaml]
OCaml otherlibs
minorresolved2015-12-06Unable to get mentioned in documentation Num elements infinity and undefined
 00066576[OCaml]
OCaml otherlibs
minorresolved2015-12-06Unix.in_channel_of_descr causes the underlying Unix FD to be closed when the channel is GC'd
 00069691[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureconfirmed2015-12-06ocamldep option to not include the current directory in the searched directories
 00067805[OCaml]
OCaml general
minorresolved2015-12-06The -ffpu ocamlopt option does not actually work
 00070717[OCaml]
OCaml windows
minorresolved2015-12-06Ocaml files define the 'inline' macro
 000610813[OCaml]
OCaml general
minorresolved2015-12-06Crash toplevel by using compiler-libs
 00068023[OCaml]
OCaml runtime system
minorresolved2015-12-06unix and nums can not be Dynlinked together (Assert_failure in bytecomp/dll.ml)
 00069894[OCaml]
OCaml otherlibs
minorresolved2015-12-06Silent max number of 32 capturing groups in Str regexps
 0007072 [OCaml]
OCaml internal build/install (Makefiles, configure)
minoracknowledged2015-12-06The testsuite doesn't run in parallel
 00036743[OCaml]
OCaml typing
minoracknowledged2015-12-04unterminating type checking for recursive modules
 00051333[OCaml]
OCaml backend (code generation)
featureresolved (frisch)2015-12-04Improve float allocation
 000578049[OCaml]
OCaml typing
textresolved (garrigue)2015-12-04Strange type variable names in error messages (GADTs)
 00070642[OCaml]
OCaml typing
minorresolved (frisch)2015-12-03deprecated attribute not properly interpreted on modules
 00063961[OCaml]
OCaml typing
minorresolved (frisch)2015-12-03Warnings-as-errors not properly flushed in the toplevel
 00059757[OCaml]
OCaml general
minorresolved (frisch)2015-12-03Pushing the evaluation of default expression for optional arguments is not specified
 000612510[OCaml]
Ocaml optimization
minoracknowledged2015-12-03Slow LEA on Sandy Bridge hurts(?) OCaml's integer arithmetic
 00064004[OCaml]
OCaml general
minorresolved (frisch)2015-12-03Error message for _ in expression is incomprehensible
 00068321[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (frisch)2015-12-03utils/config.mlbuild is not used anymore?
 00068262[OCaml]
OCaml typing
minoracknowledged2015-12-03Improve compile time of opens, esp. for local opens
 0006778 [OCaml]
OCaml general
minoracknowledged2015-12-03singly unlinkable cma orders silently allowed
 00067352[OCaml]
OCaml general
minoracknowledged2015-12-03ocamlc -custom should not link to curses
 00067251[OCaml]
OCaml standard library
minoracknowledged2015-12-03Reduce dependencies of Dynlink
 0006894 [OCaml]
OCaml documentation
minorresolved (frisch)2015-12-03Refman 7.22.1: struct [@@warning "+9"] .. end is wrong
 00069361[OCaml]
OCaml standard library
minoracknowledged2015-12-03The default ast mapper should explicitly specify the mapping order. (ast_mapper.ml)
 000602311[OCaml]
OCaml typing
minorassigned (garrigue)2015-12-03Type-based selection of GADT constructors
 00055233[OCaml]
OCaml typing
minorassigned (garrigue)2015-12-03Improve "this ground coercion is not principal" warning message
 00051063[OCaml]
OCaml general
minoracknowledged2015-12-03Two channels sharing a file descriptor fail to seek properly due to buffering
 00067462[OCaml]
OCaml general
minoracknowledged2015-12-03Solutions for the non-printable generated names
 00067444[OCaml]
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.
 000635018[OCaml]
OCaml typing
minorresolved (garrigue)2015-12-03The compilation really takes time in some cases with ocaml trunk (4.02)
 000686512[OCaml]
OCaml backend (code generation)
minorresolved (frisch)2015-12-03Incorrect parsing of toplevel "let%foo _ = expr"
 00064648[OCaml]
OCaml general
minorresolved (frisch)2015-12-03-dsource prints uninterpreted syntax extensions incorrectly
 00063425[OCaml]
OCaml typing
minorresolved (frisch)2015-12-03compiler wrongly reports "The types for field x are not equal."
 00069175[OCaml]
OCaml typing
featureacknowledged2015-12-02can't redefine modules
 000684518[OCaml]
OCaml general
minorresolved (doligez)2015-12-02New mode where ocamlc doesn't check list of primitives
 0006514 [OCaml]
OCaml typing
tweakacknowledged2015-12-02Type-based selection for rebinding constructors of extensible types
 0006200 [OCaml]
OCaml internal build/install (Makefiles, configure)
tweakacknowledged2015-12-02Store local configuration in an external file, not in the compilers
 00063677[OCaml]
OCaml typing
tweakassigned (garrigue)2015-12-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
 00068032[OCaml]
OCaml general
tweakresolved (frisch)2015-12-02Code in the distribution relies on the ordering of let bindings
 00061621[OCaml]
OCaml general
textacknowledged2015-12-02Confusing error message when the user name a variable as an existing alphabetic infix operator
 00068855[OCaml]
OCaml documentation
textacknowledged2015-12-02We should document the fact that bigarray-access syntax needs "open Bigarray" in 4.03
 00067515[OCaml]
OCaml typing
featureresolved2015-12-02Introduce structural constants (literals) into Parsetree/Typedtree
 0005079 [OCaml]
OCaml general
trivialacknowledged2015-12-02msvc: ocaml compilers should call cl.exe with /W3
 0007049 [OCaml]
OCaml internal build/install (Makefiles, configure)
featureassigned (chambart)2015-12-02implement a Makefile target to measure code coverage of the testsuite
 00067842[OCaml]
OCaml typing
featureacknowledged2015-12-02Use all constructors listed in a pattern matching to resolve ambiguity
 00064012[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureresolved (frisch)2015-12-02[patch] use proper error reporting for toplevel's environment initialization
 00065126[OCaml]
Ocaml optimization
featureresolved (frisch)2015-12-02intermediate float boxing with inlined functions that contain a branch
 00067391[OCaml]
OCaml documentation
featureconfirmed2015-12-02Adding OCaml-version in docs (header-/footer-line)
 00067032[OCaml]
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)"
 000680617[OCaml]
OCaml general
featureresolved (dim)2015-12-02Syntax shortcut for putting a type annotation on a record field
 00069996[OCaml]
OCamlbuild (the tool)
minorconfirmed2015-12-02ocamlbuild does not observe OCAMLPARAM
 0006997 [OCaml]
OCamlbuild (the tool)
featureacknowledged2015-12-02Options to tell ocamlbuild to look for myocamlbuild.ml and _tags in another directory
 00069292[OCaml]
OCamlbuild (the tool)
minorassigned (whitequark)2015-12-02incomplete fix of PR6797; ocamlbuild not taken into account
 000692711[OCaml]
OCamlbuild (the tool)
minorassigned (whitequark)2015-12-02Patch from PR6733 does not work on OS X
 00069183[OCaml]
OCamlbuild (the tool)
featureacknowledged2015-12-02Using ocamlbuild to generate dynamic libraries (*.so/*.dll) with a C-API and an OCaml implementation?
 00068734[OCaml]
OCamlbuild (the tool)
featureacknowledged2015-12-02Provide a parametrized tags to fix the default warnings "as in version X"
 00067552[OCaml]
OCamlbuild (the tool)
minorconfirmed2015-12-02Internal error in OCamlbuild when using non_dependency
 00062921[OCaml]
OCamlbuild (the tool)
minorfeedback2015-12-02ocamlbuild -I does not understand paths that aren't relative descendants
 00062342[OCaml]
OCamlbuild (the tool)
minoracknowledged (gasche)2015-12-02surprising warn tag application order
 00061864[OCaml]
OCamlbuild (the tool)
minorconfirmed (gasche)2015-12-02parameterized tags and non-parameterized tags haven't the same behavior when tagging inside rules
 0006144 [OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02Ocamlbuild try to rebuild plugin which is just built
 0006085 [OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02Error reporting for .mlypack
 00059965[OCaml]
OCamlbuild (the tool)
minorconfirmed2015-12-02ocamlbuild -build-dir dangerous behaviour
 000595113[OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02ocamlbuild is incompatible with -cflags -S
 0005895 [OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02Sometimes ocamlbuild does not create symlinks
 000575219[OCaml]
OCamlbuild (the tool)
minorfeedback2015-12-02missing dependencies at byte-code link with mlpack
 00053715[OCaml]
OCamlbuild (the tool)
minorconfirmed2015-12-02questionable reasoning in job control code
 00052824[OCaml]
OCamlbuild (the tool)
minorassigned (xclerc)2015-12-02.cmo files are generated even for native compilation
 000520111[OCaml]
OCamlbuild (the tool)
tweakfeedback2015-12-02Performance issue for ocamlbuild on Windows
 000518515[OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02creates incomplete cma under some circumstances
 00051382[OCaml]
OCamlbuild (the tool)
minorassigned (xclerc)2015-12-02option "-j" doesn't parallelize processes on windows
 0005015 [OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02ocamlbuild doesn't compile files in subdirectory even if dependencies are correct
 00048701[OCaml]
OCamlbuild (the tool)
minorassigned (xclerc)2015-12-02Ocamlbuild is too slow when using the "include" tag on many directories
 00045741[OCaml]
OCamlbuild (the tool)
minoracknowledged2015-12-02Profiling
 00043046[OCaml]
OCamlbuild (the tool)
minorassigned (xclerc)2015-12-02ocamlbuild -I does not add directories to the compiler search paths.
 00070112[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurenew2015-12-02ocamldep: Argument list too long
 00059594[OCaml]
OCaml windows
crashassigned (doligez)2015-12-01Crash in Unix.select
 0006092 [OCaml]
OCamlbuild (the tool)
majoracknowledged2015-12-01Broken logic of finding tools on PATH in ocamlbuild
 00066769[OCaml]
OCaml documentation
minoracknowledged2015-12-01Chapter 7 of the manual now has 27 sections
 00067624[OCaml]
OCaml general
minorresolved (frisch)2015-12-01warning 45 doesn't play well with re-exported type definitions
 00064354[OCaml]
OCaml backend (code generation)
crashresolved (garrigue)2015-11-30segfault with shadowing/include
 00069206[OCaml]
OCaml general
minorresolved (dim)2015-11-30Use of @@ seems to trip backtrace line reports
 0007066 [OCaml]
OCaml runtime system
minornew2015-11-30Exceptions raised while flushing channels in Pervasives.flush_all are simply ignored
 00069462[OCaml]
OCaml typing
tweakresolved (garrigue)2015-11-30Uncaught exception with wrong type for "%ignore"
 00070063[OCaml]
OCaml general
minorresolved (garrigue)2015-11-30Error in .mli generation for nonrec types
 00057032[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-30Class members hidden by recursive modules
 00070552[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-30the typer checks but doesn't infer variance in the presence of type constraints
 00069812[OCaml]
OCaml typing
crashresolved (garrigue)2015-11-30Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type.
 00065133[OCaml]
OCaml typing
majorresolved (garrigue)2015-11-30Fatal error: exception Ctype.Unify(_)
 00069802[OCaml]
OCaml typing
crashresolved (garrigue)2015-11-30Assert failure from polymorphic variants and existentials
 00068805[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-30wrong type error with -no-alias-deps when a cmi is missing
 00070651[OCaml]
OCaml documentation
textacknowledged2015-11-28Undocumented exception(s) in the Num module
 00069097[OCaml]
OCaml general
featureresolved2015-11-28Add support for hexadecimal floating-point literals
 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
 00063278[OCaml]
OCaml general
minoracknowledged2015-11-28Puzzling infinite loop with oddly accepted program
 00069105[OCaml]
OCaml standard library
minorresolved2015-11-28Improving marshaling of big values on 64 bit platforms.
 00069768[OCaml]
OCaml runtime system
featureacknowledged2015-11-28make ocamlrun versioned, make ocaml bytecode executable (non -custom) find runtime on PATH
 00069404[OCaml]
OCaml backend (code generation)
minorresolved2015-11-28Compilation failure related to unboxing Int64 on 32-bit machines
 00061957[OCaml]
OCaml internal build/install (Makefiles, configure)
minorconfirmed2015-11-27Use compilerlibs instead of explicit lists of modules from the compiler
 00062426[OCaml]
OCaml general
tweakacknowledged2015-11-27Better compilation of local functions only used for tail calls
 000676510[OCaml]
OCaml general
minoracknowledged2015-11-27Add hint to "Unbound value .{}" error messages
 00053464[OCaml]
OCaml general
tweakfeedback2015-11-27Improve Cmm code generator for "for" loops.
 00041082[OCaml]
OCaml general
majorconfirmed2015-11-27Memory-mapping of bigarrays may exhaust address space
 00049787[OCaml]
OCaml general
majoracknowledged2015-11-27exceptions lose identity after marshalling
 000581313[OCaml]
OCaml runtime system
majorassigned (doligez)2015-11-27Out of memory when using the Marshal module
 00065582[OCaml]
OCaml general
minoracknowledged2015-11-27ext_attributes should be available toplevel open and module
 00070616[OCaml]
Ocaml optimization
minorresolved2015-11-27Optimize test for empty string
 0006974 [OCaml]
OCamldoc
featureacknowledged2015-11-27Allow diversions / allow composing of document structure / allow changing of order of sections
 00069731[OCaml]
OCaml standard library
featureacknowledged2015-11-27Provide functionality to set Pervasive's stderr to unbuffered bahaviour (Unix-like behaviour)
 0006971 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2015-11-27ocamldep -sort, make it work on cmo and cmx files
 0006952 [OCaml]
OCaml typing
featureacknowledged2015-11-27access to row variables
 00069491[OCaml]
OCamlbuild (the tool)
featureacknowledged2015-11-27ocamlbuild should support -intf -impl and -intf-suffix
 00070382[OCaml]
OCaml otherlibs
minorresolved2015-11-27Segmentation faults of thread library when memory is limited
 00070582[OCaml]
OCaml general
minorresolved2015-11-27ocaml does not understand array.tst.ml
 00070245[OCaml]
OCaml otherlibs
minorresolved2015-11-26Str library: $ inconsistency
 000643771[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-26GADT exhaustiveness check incompleteness
 00069841[OCaml]
OCaml typing
minorresolved2015-11-24Extensible constructor with the same name but different types are not exported correctly
 00069533[OCaml]
OCaml typing
minorresolved2015-11-24Type constraints using module types not general enough
 00070016[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2015-11-24consider not relying on libbfd
 00069916[OCaml]
OCaml general
tweakacknowledged2015-11-23No CSE with string constants
 000660035[OCaml]
OCaml typing
minorfeedback (garrigue)2015-11-23-short-paths slow :(
 000656511[OCaml]
OCaml typing
majorresolved (garrigue)2015-11-23compilation fails with Env.Error(_)
 00064223[OCaml]
OCaml typing
featureacknowledged (doligez)2015-11-23Support "exception" under or-patterns
 00061693[OCaml]
Caml web site
minorresolved (doligez)2015-11-23Enable checkout view in ViewVC
 00061883[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved2015-11-23make: Fatal error: Command failed for target `utils/config.ml'
 00061926[OCaml]
OCaml otherlibs
minorresolved2015-11-23Builtin pathname for Graphics library wrong
 00069055[OCaml]
OCaml internal build/install (Makefiles, configure)
featureresolved2015-11-23Ocaml does not build/support ppc64le architecture
 00069433[OCaml]
OCaml backend (code generation)
featureresolved (xleroy)2015-11-23ocamlopt support for PPC64 little-endian
 00058713[OCaml]
OCaml general
featureresolved2015-11-23accept piping typedtree
 000677918[OCaml]
OCaml general
minorresolved (doligez)2015-11-23Cross-compilers cannot link bytecode executables using custom primitives
 00041665[OCaml]
OCaml general
minorresolved2015-11-22Incorrect module initialisation order with "external" declarations
 000695616[OCaml]
OCaml general
minorresolved (garrigue)2015-11-22Module initialization not performed for extern-only lib (? segfault)
 00069417[OCaml]
OCaml general
minorresolved2015-11-22Surprising behavior of weak hashtables and hash-consing
 00070272[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved2015-11-22Can't compile lexer example with refill handler from the manual.
 00070102[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (shinwell)2015-11-22Fix undefined left shift of negative value.
 00068834[OCaml]
OCaml typing
majorresolved2015-11-21Performance bottleneck in parmatch.ml
 00070547[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (xleroy)2015-11-20Cannot finish building "make bootstrap"
 00044996[OCaml]
OCaml windows
minoracknowledged2015-11-20Changes to the environment are invisible to Sys.getenv
 00069482[OCaml]
OCaml otherlibs
minorresolved2015-11-20Impossible to Unix.dup2 to a specific number or to inherit Unix_file_descr by number on startup
 00069862[OCaml]
OCaml backend (code generation)
featureacknowledged2015-11-20iOS support for OCaml
 0007052 [OCaml]
Caml web site
featureacknowledged2015-11-20Travis checklist for due process: testsuite/ and Changes change
 000689511[OCaml]
OCaml documentation
minorresolved (gasche)2015-11-19Allow OCaml manual to be built independently
 00070422[OCaml]
OCaml backend (code generation)
majorresolved (xleroy)2015-11-19CSE optimization confuses -0.0 with 0.0
 00070459[OCaml]
OCaml standard library
minorresolved (frisch)2015-11-17List.sort_uniq does not specify which element is kept
 000701616[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-17GADT typing regression in latest trunk vs. 4.02.3
 0007044 [OCaml]
OCaml runtime system
featurenew2015-11-16Feature proposal: provide type specialization function for boolean and give an warning when a generic comparison is used
 0007043 [OCaml]
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.
 00064424[OCaml]
OCaml backend (code generation)
majorresolved2015-11-15Incorrect propagation of -0.
 000694511[OCaml]
OCaml standard library
majorresolved2015-11-15null bytes truncate filenames given to Sys and Unix
 00070222[OCaml]
Ocaml optimization
minorresolved (frisch)2015-11-12Unboxing should be done earlier, avoiding a second pass
 00070391[OCaml]
OCaml otherlibs
minorresolved2015-11-11Unix.getsockname and unnamed PF_UNIX sockets
 00065511[OCaml]
Ocaml optimization
minorresolved (dim)2015-11-05Make Int64.bits_of_float and Int64.float_of_bits %-primitives
 00070361[OCaml]
OCaml typing
minorresolved (garrigue)2015-11-05Module alias is not taken into account when checking module type compatibility (in a class type)
 00070334[OCaml]
OCaml standard library
featurenew2015-11-04Proposal: add some primitives to allow user detect whether the backend is javascript or native
 00069728[OCaml]
OCaml general
minorresolved (lpw25)2015-11-03ocamldoc comments no longer in the cmt_comments field of .cmt files
 000601738[OCaml]
OCaml standard library
featureresolved (gasche)2015-10-31A new format implementation based on GADTs
 00070341[OCaml]
OCaml standard library
featureresolved (gasche)2015-10-31More efficient ifprintf implementation
 00070304[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved2015-10-27libasmrun_shared.so fails to build
 000693811[OCaml]
OCaml standard library
minorresolved2015-10-27wrong Printf.printf output for integers with '0' flag
 000677610[OCaml]
OCaml runtime system
crashresolved2015-10-27The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime
 00070293[OCaml]
OCaml general
featurenew2015-10-23Proposal: flag duplicate parameters as error
 00068012[OCaml]
OCaml typing
minorresolved (garrigue)2015-10-23Exhaustiveness messages for GADTs suggest patterns that will not type check
 00065986[OCaml]
OCaml general
featureresolved (garrigue)2015-10-23lack of syntax for pattern-matching with no branches
 00064039[OCaml]
OCaml typing
minorresolved (garrigue)2015-10-23another broken GADT exhaustiveness check
 00070255[OCaml]
OCaml general
featurenew2015-10-20Syntax for re-exporting constructors / fields
 00070125[OCaml]
OCaml general
minorresolved (garrigue)2015-10-18Confusing error message when mixing polymorphic variant and type variable name starting with a capital letter
 00069071[OCaml]
OCaml typing
minorresolved (garrigue)2015-10-16compiler fails with Stack overflow
 00069541[OCaml]
OCaml typing
majorresolved (garrigue)2015-10-16Infinite loop in type checker with module aliases
 0007020 [OCaml]
OCaml runtime system
featurenew2015-10-16Proposal: refine there primitives %obj_size, %obj_field, %obj_set_field
 00070192[OCaml]
OCaml typing
minorresolved2015-10-16Compiler accepts multiple +/- signs between numbers
 00069933[OCaml]
OCaml typing
minorresolved (garrigue)2015-10-16Segfault from recursive modules violating exhaustiveness assumptions
 000480014[OCaml]
OCaml general
featureresolved (frisch)2015-10-15native compilation optimization of tuple assignment
 00070183[OCaml]
OCaml backend (code generation)
minorresolved (frisch)2015-10-15Missing renaming during inlining?
 0007005 [OCaml]
OCaml general
featurenew2015-10-05Deprecation warnings for types should not be emitted for the definition itself
  00070044[OCaml]
OCaml typing
featureresolved (lpw25)2015-10-05GADT variance
 00065383[OCaml]
OCaml standard library
featurefeedback2015-10-03Allowing to modify Buffers in place
 00068436[OCaml]
OCaml general
minorresolved (gasche)2015-09-24Weak dependencies should be recorded even if not present
 00069954[OCaml]
OCaml standard library
featurenew2015-09-22Add functions related to type ('a, 'b) result
 00035892[OCaml]
OCaml general
featureconfirmed (doligez)2015-09-17ocamldebug should see through abstract interfaces
 00069885[OCaml]
OCaml standard library
featureacknowledged2015-09-14Format: invert breakable and non-breakable spaces
 00069798[OCaml]
Ocaml optimization
minorresolved (frisch)2015-09-10Weird performance on numerical code on x86
 00069851[OCaml]
OCaml general
minorresolved (garrigue)2015-09-10`module type of struct include Bar end` exposes %s#row when Bar contains private row types
 00069301[OCaml]
OCaml typing
minorresolved (garrigue)2015-09-09Aliased result type of GADT constructor results in assertion failure
 00039842[OCaml]
OCaml general
minorresolved (garrigue)2015-09-09Compiler ignores types in .cmi file [problems with #trace]
 00069312[OCaml]
OCaml typing
minorresolved (garrigue)2015-09-09Incorrect error message
 00069441[OCaml]
OCaml typing
minorresolved (garrigue)2015-09-09let module X = Path in … is not typed as a module alias
 00069822[OCaml]
OCaml typing
minorresolved (garrigue)2015-09-09unexpected type error when packing a module alias
 00069674[OCaml]
OCaml standard library
minorresolved (gasche)2015-08-24Genlex fails to parse (e.g.) the string "42e"
 00069651[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved (gasche)2015-08-20Quoted string extension does not work with the camlp4o preprocessor
 00069602[OCaml]
OCaml general
featureacknowledged2015-08-19Implicit coercions of literals
 00068282[OCaml]
OCaml general
minorresolved2015-08-18Final semi-colon in module does not lead to parse error.
 00036127[OCaml]
OCaml otherlibs
majorresolved (gasche)2015-08-16memory leak in bigarray read from file
 00069514[OCaml]
OCaml typing
featureacknowledged2015-08-16Meta-issue on ambiguity warnings
 0005759114[OCaml]
OCaml typing
minorresolved (garrigue)2015-08-04Using well-disciplined type-propagation to disambiguate label and constructor names
 000598033[OCaml]
OCaml general
featureresolved (frisch)2015-08-04Maybe a new warning for M.() notation ?
 00069425[OCaml]
OCaml standard library
featurenew2015-07-31Printf.printf and related functions do not take precision argument for strings
 00069243[OCaml]
Ocaml optimization
tweakresolved (gasche)2015-07-27Tiny optim to avoid some spilling of floats in x87
 00068664[OCaml]
Ocaml optimization
minorresolved (frisch)2015-07-27Simple missing case of float unboxing
 00069371[OCaml]
OCaml general
trivialresolved (frisch)2015-07-27Incorrect command line option's name
 00068962[OCaml]
OCaml documentation
minorresolved2015-07-24Num.float_of_num depends on Arith_status.set_floating_precision
 000690228[OCaml]
OCaml runtime system
majorresolved (frisch)2015-07-24What to do with when finalizing channels?
 00067221[OCaml]
OCaml backend (code generation)
featureresolved2015-07-24support for the x32 architecture
 00063166[OCaml]
OCaml standard library
minorresolved (gasche)2015-07-24Scanf cannot parse large unsigned int64s
 00067336[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2015-07-22Teach ocamlbuild to create shared libraries using -output-obj
 00069332[OCaml]
OCaml standard library
featureresolved2015-07-22Export Bytes.unsafe_blit_string
 00067948[OCaml]
OCamlbuild (the tool)
minorresolved (dim)2015-07-17ocamlbuild should pass -package flags when building C files
 00068095[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2015-07-17ocamlbuild pass too many (or not enough) arguments to ocamlfind for compiling C sources
 00061022[OCaml]
OCaml general
featureacknowledged2015-07-13ocaml{c,opt}: Provide command-line options to stop compilation after any stage
 00069234[OCaml]
OCaml general
minorresolved (garrigue)2015-07-08Link failure with module alias to module without implementation
 00059509[OCaml]
OCaml general
featureresolved2015-07-02relocatable ocaml compiler
 00068998[OCaml]
OCaml typing
minorresolved (garrigue)2015-06-29optional parameters and non generalizable type variables
 000688610[OCaml]
OCaml typing
crashresolved (garrigue)2015-06-28-no-alias-deps allows to build self-referential compilation units
 00069145[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (doligez)2015-06-25ocamldep does not behave the same if files start with an uppercase letter or not
 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
 000669334[OCaml]
OCaml runtime system
minorresolved (gasche)2015-06-20RFE: build libasmrun_shared too
 00069114[OCaml]
OCaml typing
minorresolved (gasche)2015-06-20Ignoring principal-type and hints in let-rec bindings
 00059585[OCaml]
OCaml runtime system
featureresolved (chambart)2015-06-18Generalized polymorphic #install_printer
 00068976[OCaml]
OCaml typing
minorresolved (garrigue)2015-06-17Bad error message for some pattern matching on extensible variants
 0006877 [OCaml]
OCaml otherlibs
featureconfirmed2015-06-15Adding lchown to Unix
 0006839 [OCaml]
OCaml general
featureconfirmed2015-06-15Make Parser.mkoption available
 00068336[OCaml]
OCaml typing
featureacknowledged2015-06-15Type "while true do ... done" specially
 00068233[OCaml]
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
 00048637[OCaml]
OCaml general
minorresolved (doligez)2015-06-11Bad architecture detection on Mac OS X 64bit
 000687811[OCaml]
OCaml backend (code generation)
minorresolved (shinwell)2015-06-10aarch64 backend generates invalid asm: conditional branch out of range
 00068878[OCaml]
OCaml standard library
featureacknowledged2015-06-07get the name of a function from its body, in order to write precise error message
 00068911[OCaml]
OCaml general
minorresolved (gasche)2015-06-05#help directive (at the REPL)
 00068901[OCaml]
OCamlbuild (the tool)
featureacknowledged2015-06-04provide use_ocamlfind as a tag
 000588730[OCaml]
OCaml runtime system
minorresolved (gasche)2015-06-03Name clash with memory.h header file with the Android NDK
 00058498[OCaml]
OCaml typing
featurefeedback2015-06-02Add support for absolute module path
 00068796[OCaml]
OCaml backend (code generation)
majorresolved (shinwell)2015-05-27wrong optimization of 1 mod n
 00067496[OCaml]
Ocaml optimization
minorresolved (shinwell)2015-05-27ocamlopt returns n for (n mod 1) instead of 0
 00066536[OCaml]
OCaml typing
minorresolved (gasche)2015-05-26GADT and subtyping
 00065241[OCaml]
OCaml standard library
featureresolved (doligez)2015-05-25Add optional perms argument to Filename.open_temp_file.
 00068715[OCaml]
OCaml standard library
minorresolved (gasche)2015-05-24result type too generic in pervasives (OCaml 4.03)
 00066591[OCaml]
OCaml standard library
featureacknowledged2015-05-24implement Stack.fold
 000596013[OCaml]
OCaml standard library
featureresolved (gasche)2015-05-24List.cons function
 00066365[OCaml]
OCaml general
minorresolved (gasche)2015-05-24Add -v and/or --version options as an alias to -version
 00068762[OCaml]
OCaml typing
minorresolved (gasche)2015-05-24Warning doesn't say which labels were omitted
 00061509[OCaml]
OCaml typing
majorresolved (garrigue)2015-05-21Wrong error: "The type constructor X.t would escape its scope"
 00068741[OCaml]
Ocaml optimization
minorresolved (garrigue)2015-05-21Inefficient code generated for module function arguments
 00067875[OCaml]
OCaml typing
majorresolved (garrigue)2015-05-19soundness bug with polymorphic variants
 00066305[OCaml]
OCaml general
majorresolved (shinwell)2015-05-19Failure of tests/prim-bigstring/{big,}string.ml on big-endian architectures
 00068691[OCaml]
OCaml standard library
majorresolved (shinwell)2015-05-19Explanation of total of Hashtbl.hash_param is not right.
 00068704[OCaml]
OCaml typing
minorresolved (garrigue)2015-05-18Unsoundness when -rectypes fails to detect non-contractive type
 00053432[OCaml]
OCaml general
minorresolved (garrigue)2015-05-17ocaml -rectypes is unsound wrt module subtyping
 00068722[OCaml]
OCaml typing
minorresolved (garrigue)2015-05-17Type-directed propagation fails to disambiguate variants that are also exception constructors
 00056133[OCaml]
OCaml windows
minorassigned (frisch)2015-05-15Flexdll's dll produced from several object files fails to load
 00068682[OCaml]
OCaml runtime system
majorresolved (garrigue)2015-05-14Applying std-lib function "sin" to values near pi leads to wild output when evaluating with the ocaml interpreter
 00068672[OCaml]
OCaml internal build/install (Makefiles, configure)
majorresolved (gasche)2015-05-13configure script is not accepting compiler flags
 00068632[OCaml]
OCaml general
majorresolved (dim)2015-05-124.02.0+trunk & camlp4 block
 00068621[OCaml]
OCaml typing
minorresolved (garrigue)2015-05-11Exhaustiveness check wrong for class constructor arguments
 00063172[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureresolved (gasche)2015-05-11ocamldebug should be able to work with Dynlink code
 00053123[OCaml]
OCaml general
minorresolved (gasche)2015-05-11windows, @responsefile and warnings-as-errors
 00068103[OCaml]
OCaml documentation
trivialresolved (shinwell)2015-05-06Improve documentation of Bigarray.Genarray.map_file
 00068341[OCaml]
OCaml standard library
tweakresolved (shinwell)2015-05-06Expose a Obj.last_variant_tag constant
 00064902[OCaml]
OCaml backend (code generation)
minorresolved (shinwell)2015-05-06Stack traces in arm64 code are not displayed in gdb
 00068371[OCaml]
Ocaml optimization
minorresolved (shinwell)2015-05-06Libraries with profiling information are not built on FreeBSD amd64
 00067722[OCaml]
OCaml internal build/install (Makefiles, configure)
majorresolved (shinwell)2015-05-06Fail to compile 'asmrun/signals_asm.c'.
 00068142[OCaml]
OCaml typing
majorresolved (garrigue)2015-05-06Assertion fires when compiling with -rectypes
 00068494[OCaml]
OCaml typing
minorresolved (garrigue)2015-05-06Inverted pattern unification error
 00068571[OCaml]
OCaml general
minorresolved (garrigue)2015-05-06__MODULE__ doesn't give the current module with -o
 00067535[OCaml]
OCaml otherlibs
majorresolved2015-05-06Num.mod_num behaves differently depending on its internal representation
 00066671[OCaml]
OCaml general
minorresolved2015-05-06Failure of tests/prim-bswap/bswap.ml on arm64
 00065272[OCaml]
OCaml typing
minorresolved (lpw25)2015-05-05constraints dropped on included signature
 000646831[OCaml]
OCaml general
featureresolved (whitequark)2015-05-05Backtraces in toplevel
 00066286[OCaml]
Misc
minorresolved (doligez)2015-05-03Configure script reject legitimate arguments
 00068551[OCaml]
OCaml documentation
minorresolved (gasche)2015-05-02ocamlopt generates zero-length .annot file; ocamlc generates full file
 000658812[OCaml]
OCaml general
majorresolved (shinwell)2015-05-02Unable to build Android cross-compiler with OCaml 4.02.0
 00066791[OCaml]
OCaml general
minorresolved (frisch)2015-05-02pprintast bug around constraint in 4.02.1
 00067633[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (garrigue)2015-05-02Toplevel with -short-paths doesn't select shortest type paths
 000658353[OCaml]
OCaml general
minorresolved (frisch)2015-05-02Support for custom #... symbols (processed by ppx rewriters)
 000607810[OCaml]
OCaml runtime system
minorresolved (dim)2015-05-02Release the runtime system when calling caml_dlopen
 00066457[OCaml]
OCaml standard library
tweakresolved (frisch)2015-05-02Guarantee that Set.add doesn't allocate and returns the original set if the added element is already in the set
 00066167[OCaml]
OCaml general
minorresolved (whitequark)2015-05-02-use-runtime is broken without -custom
 000499116[OCaml]
OCaml general
featureacknowledged2015-05-01ocaml{c,opt} may truncate and recreate a .cmi, leading to (rare) failures of make -j
 00068501[OCaml]
Misc
minorresolved2015-04-27Cannot use Custom Documentation Generator with OASIS
 00068482[OCaml]
OCaml documentation
textresolved (gasche)2015-04-26French word "disparition" in English documentation
 00047146[OCaml]
OCaml general
featureresolved (gasche)2015-04-26please add List.cons
 00068461[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (gasche)2015-04-26Build fails with prefixed tools
 00068443[OCaml]
OCaml documentation
majorresolved (gasche)2015-04-26Refman tells fun can take a guard.
 00068403[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (gasche)2015-04-26utils/edit_distance test fails if ocaml.opt is not built
 00068242[OCaml]
OCaml standard library
minorresolved (gasche)2015-04-26Weird behavior with partial application of Format.asprintf.
 00068477[OCaml]
OCaml typing
minorresolved (gasche)2015-04-26Generalization with function-constructors
 00066867[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2015-04-24subst_boxed_number sometimes fails to record that a boxed value is needed
 00068421[OCaml]
OCaml general
trivialresolved (garrigue)2015-04-23Typemod.modtype_of_package should be exported so that it is usable via compiler-libs
 00063443[OCaml]
OCaml backend (code generation)
minorresolved (gildor)2015-04-22asmcomp/arch.cmi and asmcomp/mach.cmi make inconsistent assumptions over interface Arch on RPi only
 000631117[OCaml]
OCaml typing
tweakresolved (frisch)2015-04-21Improve signature mismatch error messages
 00058234[OCaml]
OCaml backend (code generation)
featureacknowledged2015-04-21wish that ocamlopt compile .cpp files as well as c files
 00067981[OCaml]
OCaml general
featureacknowledged2015-04-21Make ocamlc -c recognize .cpp files
 00066722[OCaml]
OCaml general
minorresolved (garrigue)2015-04-20Unused variance specification allowed on destructive type substitution
 00068419[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorresolved (garrigue)2015-04-20Module aliases break debugging with ocamldebug
 00060155[OCaml]
OCaml documentation
minorresolved2015-04-19Negative integer and float literals
 000627011[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (xclerc)2015-04-16[PATCH] Remove need for -I directives to ocamldebug in common case
 000683610[OCaml]
OCaml typing
minorresolved (garrigue)2015-04-13Assertion failure in typing/printtyp.ml line 583-ish
 00067198[OCaml]
OCaml standard library
featureresolved (gasche)2015-04-12Buffer.add_channel is unusable
 00068161[OCaml]
OCaml general
minorresolved (gasche)2015-04-12the lexer should not allow consecutive literal numbers
 00066353[OCaml]
OCaml general
minorresolved (yallop)2015-04-12Support local open syntax for empty delimiters M.[], M.() etc.
 00067741[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2015-04-11ocamlbuild feature request: new flags only_tokens and external_tokens(Foo)
 00067934[OCaml]
OCamlbuild (the tool)
majorresolved (gasche)2015-04-11ocamlbuild infer tag breaks mezzo
 00068353[OCaml]
OCaml standard library
minorresolved2015-04-08Exponential function **
 00049865[OCaml]
OCaml general
featureresolved2015-04-08Add efficient functions to create sets from lists or arrays
 00068192[OCaml]
Caml web site
minoracknowledged2015-04-07The OCaml wiki is down
 00065803[OCaml]
OCaml general
minorresolved (garrigue)2015-04-07Confusing errors / lack of errors with labelled arguments
 00068301[OCaml]
OCaml runtime system
minorresolved (gasche)2015-04-04sys/ucontext.h present in current Android NDK
 00066176[OCaml]
OCaml general
minorresolved (gasche)2015-04-04Since revision 10c, Android NDK includes proper struct ucontext_t
 00068252[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurefeedback2015-04-03Feature wish: ocamldebug-breakpoints: break [ @ module ] function
 00050582[OCaml]
OCaml general
minoracknowledged2015-03-30improve type checking of applicative functors
 00068211[OCaml]
OCaml typing
featureacknowledged2015-03-30Relax the conditions on generating types in applicative functors
 000601911[OCaml]
OCaml backend (code generation)
tweakresolved2015-03-27Unnecessary calls to caml_modify
 000554510[OCaml]
OCaml typing
tweakresolved (garrigue)2015-03-27Type annotations on methods cannot control the choice of abbreviation
 00068174[OCaml]
OCaml typing
minorresolved (garrigue)2015-03-26GADT exhaustiveness breakage with modules
 000666232[OCaml]
OCaml general
featureacknowledged2015-03-24Add module _ = X syntax
 000590513[OCaml]
OCaml typing
featureresolved (garrigue)2015-03-24Allow to define explicit "impure" (i.e. generative) functors
 000661213[OCaml]
OCaml general
minorresolved (frisch)2015-03-18In core_type, [@attr] should bind less tightly than *
 00067364[OCaml]
OCaml general
minorresolved2015-03-13-intf flag not respected when type checking implementations against interface files
 00021871[OCaml]
OCaml general
minorresolved (xclerc)2015-03-13Re: wowcamldebug exit issue
 000601659[OCaml]
OCaml typing
featureresolved (dim)2015-03-13non-recursive type declarations
 00065416[OCaml]
OCaml standard library
minorresolved2015-03-11String.blit should be [@@ocaml.deprecated]
  00060416[OCaml]
OCaml internal build/install (Makefiles, configure)
featureacknowledged2015-03-11ocamlopt on Cygwin64: caml_program, caml_apply2, caml_apply3 in amd64.S (and, possibly, others) are undefined
 00067671[OCaml]
OCamldoc
minorresolved (frisch)2015-03-11Invalid_argument("index out of bounds") from ocamldoc on trunk
 00062854[OCaml]
OCaml standard library
featureresolved (dim)2015-03-11Unix st_mtime has only second-level resolution
 00068042[OCaml]
OCaml backend (code generation)
crashresolved (frisch)2015-03-11Match specialisation broken
 00067912[OCaml]
OCaml standard library
minorresolved (gasche)2015-03-07regression in scanf
 00066254[OCaml]
OCamlbuild (the tool)
minorresolved (whitequark)2015-03-06ocamlbuild should pass -linkpkg together with -output-obj
 00045961[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureacknowledged (hongboz)2015-03-05pa_macro does not work for patterns
 00067207[OCaml]
OCamlbuild (the tool)
featureassigned (gasche)2015-02-28Pass -g to ocamlc compiling C files when tagged with "debug"
 00052712[OCaml]
OCaml general
minorresolved (doligez)2015-02-26parsing/Location.prerr_warning is hard-coded to use Format.err_formatter
 00059612[OCaml]
OCaml typing
minorresolved (frisch)2015-02-25Unused type warnings seem to does not work with the ghost location
 000598549[OCaml]
OCaml typing
featureconfirmed (garrigue)2015-02-25Unexpected interaction between variance and GADTs
 00062371[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2015-02-25optional "--infer" in menhir command line
 00067881[OCaml]
OCaml typing
minorresolved (yallop)2015-02-19seemingly inconsistent type checker behavior
 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!)
 00067751[OCaml]
OCaml standard library
minorresolved (gasche)2015-02-15Digest.file leaks fds on error
 00066245[OCaml]
OCaml general
minorresolved (gasche)2015-02-15Allow Android builds with systhreads
 00062862[OCaml]
OCaml standard library
featureacknowledged2015-02-09I think isprintf is missing from the Printf module of the stdlib
 00067605[OCaml]
OCaml runtime system
majorresolved (whitequark)2015-02-08Closure marshalling in toplevel is broken since at least 4.00
 000664212[OCaml]
OCaml general
featureresolved (whitequark)2015-02-08Add rpath-like $ORIGIN support to compiler flags embedded in cma/cmxa
 00064232[OCaml]
OCaml general
featureacknowledged2015-02-06lazy exception patterns
 00064655[OCaml]
OCaml typing
minorresolved (garrigue)2015-02-06Incremental weakening of module aliases is not allowed
 00067681[OCaml]
OCaml typing
minorresolved (garrigue)2015-02-05Typechecker overflow the stack on cyclic type annotation after matching on a GADT
 00062874[OCaml]
OCaml standard library
featureconfirmed2015-01-26FIlename.{Unix,Win32,Cygwin} should be exported
 00061678[OCaml]
OCaml backend (code generation)
featureresolved (gasche)2015-01-24OCAMLPARAM Support for Disabling Position-Independent Code (PIC) Generation
 00060672[OCaml]
OCamlbuild (the tool)
featureacknowledged2015-01-23Targets that spit out the files needed to install a .mllib
 00041753[OCaml]
OCaml general
minorresolved (gasche)2015-01-23runtime header file io.h conflicts with a system header file
 0003997 [OCaml]
OCaml otherlibs
featureacknowledged2015-01-23Allocating a bigarray from C
 00040742[OCaml]
OCaml backend (code generation)
featureacknowledged2015-01-23Patch for in-place compilation of structures
 0004671 [OCaml]
OCaml general
featureacknowledged2015-01-23Patch to add "Rest" option to ocaml toplevel
 00056641[OCaml]
OCaml runtime system
featureacknowledged2015-01-23Wish: caml_unregister_frametable
 00067104[OCaml]
Ocaml optimization
featureacknowledged2015-01-19Better compilation of functors
 000609318[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2015-01-18Loading rules from ocamlfind package
 00061713[OCaml]
OCaml typing
minorresolved (garrigue)2015-01-17Error message confusing for the beginner when a type escapes its scope.
 00067433[OCaml]
OCaml typing
tweakresolved (garrigue)2015-01-16Slightly odd polymorphic variant types
  00067421[OCaml]
OCaml typing
minorresolved (garrigue)2015-01-16Question: virtual_flag in typedtree is duplicated.
 00067483[OCaml]
OCaml general
crashresolved (frisch)2015-01-15Functional values in cmt files
 00059914[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved2015-01-15Syntax error in tools/Makefile.shared
 000604214[OCaml]
OCaml backend (code generation)
tweakresolved2015-01-13Integer division by constants
 00067283[OCaml]
OCaml general
featureacknowledged2015-01-09Enable -g and OCAMLRUNPARAM=b by default
 00048853[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved (hongboz)2015-01-09Incorrect/unwanted behavior on invalid string inputs
 00066985[OCaml]
OCaml general
featurefeedback2015-01-08allow @@ocaml.deprecated on structure items?
 000668526[OCaml]
OCaml general
featureacknowledged2015-01-08Allow "if let" syntax
 0006666 [OCaml]
OCaml general
featureacknowledged2015-01-07Feature: shorter syntax to include parts from another module
 00067372[OCaml]
OCaml typing
minorresolved (frisch)2015-01-06The fun x -> body expression in Typedtree receives the attrbitutes of the body
 00050724[OCaml]
OCaml typing
featureacknowledged2015-01-06Absolute name for built-in types such as int, bool, ... ?
 0006740 [OCaml]
OCaml general
featureacknowledged2015-01-05allow M.begin end to mean local open
 00061375[OCaml]
OCaml typing
featureacknowledged (garrigue)2015-01-05Allowing soften locally abstract types
 00067299[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved (whitequark)2014-12-27Remove race conditions in parallel builds
 00066418[OCaml]
OCaml general
minorresolved (whitequark)2014-12-27ocamlmklib should support more options (-g, &c)
 000671411[OCaml]
OCaml general
minorresolved (whitequark)2014-12-27Also recognize [@@ocaml.warning]
 00067315[OCaml]
OCaml general
featureacknowledged2014-12-23Do not display warning 40 in a non-ambiguous match
 00066441[OCaml]
OCaml general
featureacknowledged2014-12-22Matching against infinity, neg_infinity and nan
 0006655 [OCaml]
OCaml standard library
featureconfirmed2014-12-22Alias built-in types and pre-defined exceptions in Pervasives
 00067187[OCaml]
OCaml general
featureconfirmed2014-12-22Specify the filename to use for locations
 00066113[OCaml]
OCaml general
minorresolved (garrigue)2014-12-22Do something with *predef*.option
 000669414[OCaml]
OCaml standard library
minorresolved (gasche)2014-12-21Do not implicitly use ISO-8859-1 in Char.uppercase/lowercase and derived functions
 00066955[OCaml]
OCaml general
minorresolved (whitequark)2014-12-21Do not treat paths as encoded in ISO-8859-1
 00064942[OCaml]
OCaml standard library
featureresolved (gasche)2014-12-21Expose caml_string_equal &c to OCaml
 00064667[OCaml]
OCaml general
textresolved (garrigue)2014-12-21Non-exhaustive matching warning message for open types is confusing
 00059556[OCaml]
OCaml typing
featureresolved (gasche)2014-12-20support "let module rec ... in ..."
 00058558[OCaml]
OCaml runtime system
featureconfirmed2014-12-19Compiling in debug mode should turn on caml_record_backtrace by default
 00067261[OCaml]
OCaml backend (code generation)
crashresolved (garrigue)2014-12-19Access to the wrong field of aliased module
 00067242[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2014-12-18Could ocamlbuild NOT rely on menhir --(raw-)depend?
 00066238[OCaml]
OCaml general
featureconfirmed2014-12-18Allow extension nodes after "type", e.g. "type%foo"
 00066312[OCaml]
OCaml runtime system
featureconfirmed2014-12-18ocaml -e 'Printf.printf "hello\n"'
 0006555 [OCaml]
OCaml general
featureacknowledged2014-12-18Make #show_type more useful for open variants
 00066181[OCaml]
OCaml general
featureconfirmed2014-12-18It would be nice to have octal escape sequences for characters and strings
 00066201[OCaml]
OCaml general
featureacknowledged2014-12-18Allow _ in module type constraints
 00065891[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-12-17Parameterized tag for manually specifying dependencies between modules
 0006520 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2014-12-17Printing backtrace of printer failures
 0006519 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureconfirmed2014-12-17Listing installed printers in ocamldebug
 0006717 [OCaml]
OCaml general
minorresolved (gasche)2014-12-16Pprintast does not print pattern attributes
 00066823[OCaml]
OCaml general
featureacknowledged2014-12-16add compiler annotation to check that a function has no free variables
 00067155[OCaml]
OCaml general
featureresolved (gasche)2014-12-15Warning for unused quoted string id
 00061631[OCaml]
OCaml typing
crashresolved (garrigue)2014-12-15Fatal error: exception Assert_failure("typing/ctype.ml", 1891, 19)
 00065602[OCaml]
OCaml standard library
tweakresolved (gasche)2014-12-14Wrong failure message for {Int32,Int64,NativeInt}.of_string
 00067023[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-12-14Expose more ocamlfind options as tags
 00067133[OCaml]
OCaml general
minorresolved (gasche)2014-12-14Long compiles (to bytecode) / stackoverflow (to native code) on generated data
 00034144[OCaml]
OCaml general
featureresolved (gasche)2014-12-14Relative precedence of -. and **
 00067065[OCaml]
OCaml general
minorresolved (gasche)2014-12-14.[] and .[]<- should show warning 3 when applied to String, not Bytes.
 00067121[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-12-14VCS directories such as .git should be ignored by ocamlbuild by default
 00058361[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (xclerc)2014-12-13Printing forced lazy value in ocamldebug
 00066846[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2014-12-13Printing lazy value segfaults ocamldebug
 00067071[OCaml]
OCamldoc
featureconfirmed (guesdon)2014-12-12custom tags not handled for some elements
 0006705 [OCaml]
OCaml general
featureresolved (lpw25)2014-12-12Provide a root module that cannot be shadowed
 00066996[OCaml]
OCaml typing
minorresolved (garrigue)2014-12-11Applications of Obj.magic sometimes treated as generalizable, sometimes not
 00066881[OCaml]
OCaml general
minorresolved (frisch)2014-12-10Accept value declarations as structure items
 00066802[OCaml]
OCaml typing
minorresolved (garrigue)2014-12-08Missing parentheses when printing polymorphic variant value in non exhaustivity warning
 00066902[OCaml]
OCaml typing
minorresolved (garrigue)2014-12-08Uncaught exception (Not_found) with (wrong) wildcard or unification type variable in place of a local abstract type
 00057326[OCaml]
OCaml general
minorresolved (protz)2014-12-07The accented characters in strings are automatically uppercased
 000534812[OCaml]
OCaml general
featurefeedback2014-12-07no more identifiers with accented characters
 00063573[OCaml]
OCaml general
featurefeedback2014-12-07Bind part of a while condition to a name
 00066894[OCaml]
OCaml runtime system
featureacknowledged2014-12-05Provide primitive to extract debug information from a closure
 000666911[OCaml]
OCaml typing
minorresolved (lpw25)2014-12-04lazy types get displayed in odd and inconsistent ways
 000668323[OCaml]
OCaml general
featureresolved2014-12-03Really annoying change of semantics of exceptions
 00066875[OCaml]
OCaml general
blockresolved (shinwell)2014-12-03Unexpected behavior (loop) of CIL v1.5.1 after being compiled by OCaml 4.02.0
 00066782[OCaml]
OCaml runtime system
minorresolved2014-11-29integer unary negation mishandled
 00066743[OCaml]
OCaml general
crashresolved (maranget)2014-11-25"index out of bounds" when compiling pattern matching on long sum type
 00066466[OCaml]
OCaml general
majorresolved (maranget)2014-11-25Extremely long compile times and/or compiler hanging on relatively trivial sized program.
 00061415[OCaml]
OCaml documentation
featurefeedback2014-11-24Document Char.unsafe_chr
 00065692[OCaml]
OCaml typing
featureresolved (garrigue)2014-11-24More relaxed scoping of type variables and polymorphic type annotations
 00066403[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-11-23strange behavior with "Warning: the tag "precious" is not used in any flag declaration"
 000538920[OCaml]
OCaml general
majorresolved (doligez)2014-11-18GC fails to collect large array
 00066612[OCaml]
OCaml general
majorresolved (garrigue)2014-11-18module alias breaks backward compatibility wrt separate compilation
 00066379[OCaml]
OCaml typing
featureacknowledged2014-11-17Type alias or module type alias should not be taken into account for signature inclusion
 0003622 [OCaml]
OCaml general
featureacknowledged2014-11-17Fold function for Stack
 00064816[OCaml]
OCaml general
featureresolved (gasche)2014-11-13compiler option to enable color in important keywords of the output in a terminal
 00065815[OCaml]
OCaml typing
minorresolved (garrigue)2014-11-10Some bugs in generative functor
 00066503[OCaml]
OCaml typing
minorresolved (garrigue)2014-11-10Cty_constr not handled correctly by Subst
 00066481[OCaml]
OCaml general
minorresolved (garrigue)2014-11-10show_module should indicate its elision
 00052325[OCaml]
OCaml general
featureconfirmed2014-10-31wish: -str option for ocaml
 00063563[OCaml]
OCaml typing
featurefeedback2014-10-30Allowing extra 'type' fields in signature inclusion check
 0006622 [OCaml]
OCaml runtime system
featureconfirmed2014-10-29Loss exception location and backtrace while mix with "c" code
 00066218[OCaml]
OCaml general
crashresolved2014-10-29Unison crashes on some platforms when built with 4.02
 00066142[OCaml]
OCaml windows
minorresolved2014-10-26Filename.concat "C:" "a" returns "C:a" instead of "C:\\a"
 00066198[OCaml]
OCaml documentation
textresolved (dim)2014-10-20Documentation for Printexc.register_uncaught_exception_handler could be improved
 00058863[OCaml]
OCaml runtime system
featureresolved (meurer)2014-10-18Small changes to compile for Android
 00066151[OCaml]
OCaml general
minorresolved (garrigue)2014-10-174.03: inconsistent printing and parsing of inline records
 00066134[OCaml]
OCaml general
featureresolved2014-10-16armv5te code generation bug: shift expression expected -- `subs r0,r3,#4294967296'
 00043035[OCaml]
OCaml general
featureassigned (xclerc)2014-10-16Wish: Support for cross-compilation
 00061783[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-10-14pack and bin_annot
 00065995[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-10-14add -bin-annot when -packing
 00059048[OCaml]
OCaml general
featureresolved (frisch)2014-10-13-ppx could be made working in toplevel
 00065576[OCaml]
OCaml standard library
minorresolved2014-10-10String.sub throws Invalid_argument("Bytes.sub") "
 00061791[OCaml]
OCaml general
tweakresolved2014-10-10Warning 23 is dubious
 00066021[OCaml]
OCaml general
minorresolved (garrigue)2014-10-08Fatal error when tracing a function with abstract type
 000613515[OCaml]
OCaml documentation
minorassigned (whitequark)2014-10-07Please document -ppx option
 00065845[OCaml]
OCamlbuild (the tool)
featureresolved (gasche)2014-10-03ocamlbuild _tag equivalent to "-open M"
 00065851[OCaml]
OCaml otherlibs
minorresolved (frisch)2014-10-02Memory leak inside win32unix/createprocess.c
 00065828[OCaml]
OCaml general
minorresolved (frisch)2014-10-02Backport fix for 0005904 into 4.02.1
 00065924[OCaml]
OCaml general
majorresolved (frisch)2014-10-02ocaml -ppx command a.ml seems not to call the command.
 00065931[OCaml]
OCaml typing
minorresolved (garrigue)2014-10-02Functor application in PR#6435 fail after commit 15405
 00065531[OCaml]
OCamldoc
majorresolved (guesdon)2014-09-26Missing ocamlc options to ocamldoc
 00042692[OCaml]
OCaml documentation
minorresolved (garrigue)2014-09-25man page for labltk
 00065771[OCaml]
OCaml standard library
tweakresolved (frisch)2014-09-25Performance of %Ld formats
 00054012[OCaml]
OCaml general
minorresolved (garrigue)2014-09-24OCamlbrowser ignores command line arguments on win32/msvc
 00065781[OCaml]
OCaml standard library
minorresolved (garrigue)2014-09-24Initialization of recursive module containing alias causes Segmentation fault
 00065722[OCaml]
OCaml general
minorresolved (garrigue)2014-09-22Fatal error with recursive modules
 00065714[OCaml]
Misc
majorresolved (gasche)2014-09-22in development version of 4.02.1 causes utop to crash
 00065345[OCaml]
OCaml general
minorresolved (gasche)2014-09-21legacy format "%.10s" changed behaviour
 00065311[OCaml]
OCaml standard library
majorresolved (gasche)2014-09-21"%0c" format of scanf must not consume any character in the input
 00061185[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-09-21ocamlbuild non backward compatible change found
 00065491[OCaml]
OCaml backend (code generation)
crashresolved (gasche)2014-09-20Debug section is sometimes not readable when using -pack
 00065463[OCaml]
OCaml general
minorresolved (gasche)2014-09-19Pprintast omits parens for `List ((`String "A")::[])
 00065336[OCaml]
OCaml standard library
majorresolved (gasche)2014-09-18Broken semantics of %(%) when substituted by a box
 00065441[OCaml]
OCaml otherlibs
majorresolved (gasche)2014-09-18Bytes and CamlinternalFormat missing from threads stdlib.cma
 00065661[OCaml]
OCaml typing
minorresolved (garrigue)2014-09-17-short-paths and signature inclusion errors
 00065645[OCaml]
OCaml typing
majorresolved (garrigue)2014-09-17infinite loop in Mtype.remove_aliases
 00065632[OCaml]
OCaml typing
minorresolved (garrigue)2014-09-17Inclusion of packs failing to run module initializers
 00065615[OCaml]
OCaml typing
tweakresolved (gasche)2014-09-16False detection of unterminated string literal in comment
 000620212[OCaml]
OCaml general
featureassigned (frisch)2014-09-15Controlling warnings locally
 00065081[OCaml]
OCaml otherlibs
minorresolved2014-09-15Tkvars.version() call gives Fatal error
 00065477[OCaml]
OCaml general
minorresolved (garrigue)2014-09-15__MODULE__ aborts the compiler/toplevel if the module name cannot be inferred
 00065546[OCaml]
OCaml runtime system
majorresolved (shinwell)2014-09-11Race condition in caml_get_raw_backtrace
 00065404[OCaml]
OCaml documentation
minorresolved (dim)2014-09-11stdlib/gc.mli and byterun/config.h disagree on the default size of the minor heap
 00065394[OCaml]
OCaml runtime system
minorresolved (dim)2014-09-11Gc.get () divides major_heap_increment by eight.
 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]
OCamlbuild (the tool)
featurefeedback2014-09-04Reading META files
 00059431[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-09-04ocamlmklib always adds -L (absolute) directories also the run-time linker path.
 00057545[OCaml]
OCamlbuild (the tool)
featureassigned2014-09-04Not optimal parallel build of dependencies
 00065174[OCaml]
OCaml runtime system
minorresolved2014-09-02It would be nice if <caml/*.h> didn't define types like "int64"
 00065299[OCaml]
OCaml general
majorresolved2014-09-014.02.0 compiles modules twice slower than 4.01
 00065233[OCaml]
OCaml otherlibs
blockresolved (shinwell)2014-08-29caml_ba_get_N treats char elements as signed
 00061018[OCaml]
OCaml runtime system
featureacknowledged2014-08-29Avoiding page table using contiguous heap
 00058592[OCaml]
OCaml backend (code generation)
featureresolved (gasche)2014-08-28[patch] add -nocmx command line option to ignore cmx files
 00063896[OCaml]
OCaml backend (code generation)
featureresolved (gasche)2014-08-28[github patch] add an -opaque option to produce optimization-empty .cmx file for separate native compilation
 00060647[OCaml]
OCaml otherlibs
featureresolved (gasche)2014-08-28Expose a GADT representation for Bigarray.kind
 00048774[OCaml]
OCaml general
minorresolved2014-08-27Definition of uint64 in caml/config.h conflicts. (MacOSX Snow Leopard, X86_64)
 00060397[OCaml]
OCaml general
featureacknowledged2014-08-22Syntax improvement for functor type definitions
 00058519[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-08-21Ocamlbuild cannot resolve dependencies when there are no _tags file (but can with an empty _tags file)
 00060793[OCaml]
OCaml otherlibs
featureassigned (dim)2014-08-21Lazy initialization of dynlinked plugins
 0006095 [OCaml]
OCamlbuild (the tool)
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]
OCamlbuild (the tool)
featureassigned2014-08-21ocamlbuild does not warn for bad input
 00052431[OCaml]
OCamlbuild (the tool)
featureassigned (gasche)2014-08-21Improve the API documentation
 00055483[OCaml]
OCamlbuild (the tool)
featureassigned (gasche)2014-08-21ocamlbuild's ocamlfind integration doesn't support syntax extensions
 00057131[OCaml]
OCaml typing
featureassigned (garrigue)2014-08-21Opening GADTs to get more equations on local abstract types introduced by module unpacking
 0005869 [OCaml]
OCamlbuild (the tool)
featureacknowledged2014-08-21ocamlbuild should expose common interface as a library
 0006066 [OCaml]
OCaml typing
featureacknowledged2014-08-21extensible records
 00060972[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-08-21Allow user to add new commandline options in the plugin.
 00060983[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-08-21Global predicates
 0006099 [OCaml]
OCamlbuild (the tool)
featureacknowledged2014-08-21Add ocamlbuild tags mirroring command line options
 0006103 [OCaml]
OCamlbuild (the tool)
featureacknowledged2014-08-21Add ocamlbuild support for ocamlfind's -ppopt option
 00061075[OCaml]
OCaml windows
featureacknowledged2014-08-21Lack of quoting helpers for use with Unix.open_process*
 00059496[OCaml]
OCaml typing
minorresolved (gasche)2014-08-21[patch] Weak format checking
 00064963[OCaml]
OCaml typing
majorresolved (garrigue)2014-08-21Assertion triggered by recursive class type
 000608710[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-08-21ocamlbuild, improve _tags parsing and error report
 00046112[OCaml]
OCamlbuild (the tool)
minorresolved (xclerc)2014-08-20Dependencies not built despite matching tags
 00063001[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-08-19ocamlbuild -use-ocamlfind does not work together with -ocamlc switch
 000540610[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2014-08-19tag does not expect a parameter, but is used with parameter ...
 000649725[OCaml]
OCaml general
minorresolved (frisch)2014-08-18Access to Clflags from ppx preprocessors
 00065161[OCaml]
Misc
minorresolved (lefessan)2014-08-17Dubious code in testsuite
 000650111[OCaml]
OCaml backend (code generation)
featureresolved2014-08-11Implementing Z.of_int as %identity in Zarith (was: zarith sample code segfaults)
 00065078[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2014-08-09arm64 crash when compiling coq
 00065105[OCaml]
OCaml typing
minorresolved (lpw25)2014-08-09Removal of shadowed constructors of extensible types can break the structure of definitions
 00064951[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2014-08-06Add safe_string tag to ocamlbuild
 00064741[OCaml]
OCaml general
minorresolved (gasche)2014-08-06"Weak dependencies" not recorded correctly
 00065021[OCaml]
OCamlbuild (the tool)
tweakresolved (gasche)2014-08-06spurious warning on "use_menhir" tag
 00064933[OCaml]
OCaml general
minorresolved (frisch)2014-08-05Warn on uninterpreted annotations
 00056725[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
tweakresolved (dim)2014-08-01Remove camlp4_import.ml
 00045591[OCaml]
OCaml general
minoracknowledged2014-07-31Object inheritance in recursive modules
 00047093[OCaml]
OCaml general
minoracknowledged2014-07-31Typing of recursive modules to permissive
 00050012[OCaml]
OCaml general
featureconfirmed2014-07-31ocamldebug claims that record type is not a record type
 00065031[OCaml]
OCaml documentation
textresolved (yallop)2014-07-30I cannot parse "let e : type a. int = 3;;".
 00059461[OCaml]
OCaml otherlibs
minorresolved (doligez)2014-07-30CAMLprim taking (void) as argument
 00059473[OCaml]
OCaml otherlibs
minorresolved (doligez)2014-07-30CAMLprim returning void
 00061061[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorconfirmed2014-07-22"Module.(expr)" emitted incorrectly to source
 00064456[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorresolved (doligez)2014-07-194.02.0+dev: ocamlbuild fails to find ocamlfind.exe
 00059394[OCaml]
OCaml general
minorresolved (doligez)2014-07-18"fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..."
 00064603[OCaml]
OCaml runtime system
minorresolved (doligez)2014-07-18caml_make_array assumes small arrays
 00057739[OCaml]
OCaml typing
minorresolved (garrigue)2014-07-17Bad interaction between local abstract type and self-type
 0006096 [OCaml]
OCamlbuild (the tool)
minoracknowledged2014-07-17Validate what is needed to fully support Windows
 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
 00062881[OCaml]
Misc
minoracknowledged2014-07-16Mantis bugtracker has hundreds of spam-created users making searching by username difficult
 0006218 [OCaml]
OCaml general
featureconfirmed2014-07-16avoid overwriting files when mistakenly setting -o to a source or intermediate filename
 0006479 [OCaml]
OCaml otherlibs
featureacknowledged2014-07-16type Unix.sockaddr does not express IPv6 addresses with zone info
 00064582[OCaml]
OCaml standard library
featurefeedback2014-07-16Cleanup camlinternalFormat
 00063691[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2014-07-16[github patch] shave the yacc: add yacc support to some of Menhir's feature to facilitate migration
 0006368 [OCaml]
OCaml backend (code generation)
featureacknowledged2014-07-16[github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies
 0006366 [OCaml]
OCaml standard library
featureacknowledged2014-07-16[github patch] Switch to the (more collision-resilient?) SipHash function
 0006354 [OCaml]
OCaml backend (code generation)
featureacknowledged2014-07-16[github patch] cmm arithmetic optimizations
 00063391[OCaml]
OCaml backend (code generation)
featureacknowledged2014-07-16Useless indirection to access a known top-level function
 0006338 [OCaml]
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]
OCaml typing
featureacknowledged2014-07-16Module aliasing and ability to reference the current and parent modules
 0006313 [OCaml]
OCaml typing
featureacknowledged2014-07-16[github patch] warn user when a type variable in a type constraint has been instantiated
 0006312 [OCaml]
OCaml general
featureacknowledged2014-07-16[github patch] extend record punning to allow destructuring: desugar pattern {{x;y} as p} into {p = {x;y} as p}
 00062972[OCaml]
OCaml standard library
featurefeedback2014-07-16new function in Printf : kksprintf
 00062714[OCaml]
OCaml general
featureacknowledged2014-07-16'let open' in class expressions
 00062653[OCaml]
OCaml general
featurefeedback2014-07-16Toplevel auto-correct should know about the standard library
 000554732[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-07-16Enable the "-use-ocamlfind" option by default
 00064611[OCaml]
OCaml standard library
featureacknowledged2014-07-08Functions in utils/misc.ml should be moved to stdlib
 0005852 [OCaml]
OCamlbuild (the tool)
featureacknowledged2014-06-23Ocamlbuild does not pass .ml files to ocamldoc when there is an .mli file present
 00005762[OCaml]
OCaml general
featureacknowledged2014-06-23Suggestion: add_new to map
 00003854[OCaml]
OCaml general
featureacknowledged2014-06-13questions autour de caml_startup
 00064507[OCaml]
OCaml standard library
featureacknowledged2014-06-11Set.disjoint
 00063643[OCaml]
OCaml backend (code generation)
crashresolved2014-06-05ocamlopt crashes with "Fatal error: exception Stack_overflow"
 00059256[OCaml]
OCaml general
crashresolved (gasche)2014-06-05Stack overflow in compiler
 0006204 [OCaml]
OCaml runtime system
featureacknowledged2014-06-04debug mode for native otherlibs/systhreads
 0006199 [OCaml]
OCaml internal build/install (Makefiles, configure)
featureconfirmed2014-06-04Allow generating bytecode executables without the header
 0006191 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2014-06-04Missing argument for ocamldep to tell it where output binaries will be placed
 000587815[OCaml]
OCaml typing
featureacknowledged2014-06-04Forward type declarations as an alternative to recursive modules
 0006378 [OCaml]
OCaml typing
featureacknowledged2014-06-04Type-checking hooks
 0006391 [OCaml]
OCaml general
featureacknowledged (doligez)2014-06-04[github patch] short functor type syntax (S -> T) in the non-dependent case
 00064265[OCaml]
OCaml backend (code generation)
featureacknowledged (doligez)2014-06-03Improve compilation of common idioms on strings
 00044541[OCaml]
OCaml backend (code generation)
featureacknowledged2014-06-02Better control over cross-module optimizations
 00057483[OCaml]
OCaml typing
minorassigned (garrigue)2014-06-01anonymous functions with optional arguments
 00025335[OCaml]
OCaml general
featureassigned (doligez)2014-05-30Feature wish: Unix.fsync, etc.
 00056265[OCaml]
OCaml backend (code generation)
minorresolved2014-05-30Stack overflow in ocamlopt.opt: Comballoc.combine
 000509010[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minoracknowledged (hongboz)2014-05-25Strange camlp4 behavior in the toplevel.
 0006212 [OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorassigned (hongboz)2014-05-25camlp4 sometimes triggers Stack_overflow in top-level when previous expression got interrupted
 00061772[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorassigned (hongboz)2014-05-25Identifier location inside anti-quotes is wrong.
 00060224[OCaml]
Caml web site
minorconfirmed2014-05-25Strange tar file for Caml-Light documentation
 00056211[OCaml]
Caml light
crashacknowledged2014-05-25Crash
 0004977 [OCaml]
Caml light
crashacknowledged2014-05-25[Latest caml-light / Windows] Caml light crashes on syntactic error when using emacs.
 00044931[OCaml]
Caml light
minorassigned (doligez)2014-05-25graphique sur 0.8
 00053845[OCaml]
OCaml general
featurefeedback (xleroy)2014-05-25alloc of let-rec values is expensive (patch)
 00064091[OCaml]
OCaml general
featureacknowledged2014-05-17`ocamlc -linkall -c test.ml` should activate force-linking in `test.cmo`
 00050051[OCaml]
OCaml otherlibs
featureacknowledged2014-05-04Lowlevel interface to Digest and Bigarray support
  00058665[OCaml]
OCaml typing
featureacknowledged (garrigue)2014-04-30avoiding duplication of shared right hand production while pattern matching a gadt
 000566727[OCaml]
OCaml typing
featureacknowledged2014-04-23Autofocusing pattern on record field to simplify matching trees with meta-data
 00039042[OCaml]
OCaml general
featureacknowledged2014-04-02ocamlc -o doesn't work for C files
 00037571[OCaml]
OCaml general
featureconfirmed (doligez)2014-04-02Set compiler output directory
 00061451[OCaml]
OCamlbuild (the tool)
featureacknowledged2014-04-02camlidl support in ocamlbuild
 00060891[OCaml]
OCaml documentation
featureacknowledged2014-04-02improve ocamlbuild documentation
 0006086 [OCaml]
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]
OCaml otherlibs
featureconfirmed2014-02-18is_inet6_addr from unix.ml should be exposed in unix.mli
 00051571[OCaml]
OCaml general
featureacknowledged2014-02-06caml_convert_signal_number/caml_rev_convert_signal_number should not be private in caml/signals.h
 00063144[OCaml]
OCaml general
featureassigned (garrigue)2014-02-04Allow "functional record update" for objects
 00061513[OCaml]
OCaml backend (code generation)
minorconfirmed2014-01-21Misc.Fatal_error when using "%apply" for more arguments.
 000565217[OCaml]
OCamlbuild (the tool)
featureassigned2014-01-21Add support for camlp4 native plugin
 00055494[OCaml]
OCamlbuild (the tool)
featureassigned2014-01-21add tags for all build-related ocamlbuild command-line options
 00060531[OCaml]
OCamlbuild (the tool)
featureassigned2014-01-21less verbose flags for ocamlbuild
 0005897 [OCaml]
OCamlbuild (the tool)
featureassigned2014-01-21Inheritance of rules
 00061331[OCaml]
OCaml runtime system
featureacknowledged2014-01-20Wish: make max size of custom space runtime-configurable
 00061382[OCaml]
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.
 00060611[OCaml]
OCaml general
minoracknowledged2014-01-17Confusing error message when parentheses enclose an invalid expression
 00060608[OCaml]
OCamlbuild (the tool)
featurefeedback2014-01-17ocamlbuild rules for -principal, -strict-sequence and -short-paths
 00060095[OCaml]
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
 00058074[OCaml]
OCaml standard library
featureconfirmed2013-12-16Filename.get_suffix is needed (3.11.2, but 4.0.x does also not contain it)
 0005733 [OCaml]
OCaml documentation
featureconfirmed2013-12-16Feature: Recommend ocamlc as driver for compiling C sources for stublibs
 00061301[OCaml]
OCaml typing
featureacknowledged2013-12-12Wish: when inheriting from class types, allow to subtype methods
 00053737[OCaml]
OCaml general
featureacknowledged2013-12-12Caml thread wont yield
 00056996[OCaml]
OCaml general
featureconfirmed2013-12-05It would be nice to be able to set up OCAMLINIT root directory
 000568018[OCaml]
OCamlbuild (the tool)
featureconfirmed2013-12-05myocamlbuild.ml should be splittable into several files/plugins
 000565817[OCaml]
OCaml internal build/install (Makefiles, configure)
featureacknowledged2013-12-05ocaml compiler lib asttypes
 00055646[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
tweakassigned (dim)2013-12-05Unclear code in Camlp4/Struct/Lexer.mll
 00055615[OCaml]
OCaml typing
featureconfirmed2013-12-05Option to disable -principal mode
 00054921[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureacknowledged2013-11-29testsuite does not check camlp4o compatibility
 00054883[OCaml]
OCaml general
featureacknowledged2013-11-29labeled argument in module
 000546013[OCaml]
OCaml general
featureassigned (garrigue)2013-11-29Request: Replace/rename/remove module types
 00049173[OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Make Graphics module use modern X fonts instead of X core fonts
 00036681[OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Graphics broken pipe
 00036661[OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Bug in the Unix.sleep when used after Graphics.synchronize
 0003716 [OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Graphics + Threads gives fatal error on Thread.delay
 0003693 [OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Multiple mouse buttons for Graphics
 0001711 [OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Re: ocaml: module Graphics: type event should include a resize event
 0001710 [OCaml]
OCaml otherlibs
featureacknowledged2013-11-05Re: ocaml: module Graphics: foreground and background colors should be changeable
 00032221[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2013-11-05ocamlyacc - line numbers for undefined symbols
 0003195 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2013-11-05ocamllex, FEATURE WISH
 00016301[OCaml]
OCaml general
featureacknowledged2013-11-05Signature mismatch or Unbound module type?
 00004852[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2013-11-05ocamlbrowser and load path ...
 00052862[OCaml]
OCaml general
featureacknowledged2013-10-08recursive modules fail to compile recursive compilation units
 0005285 [OCaml]
OCamlbuild (the tool)
featureassigned (xclerc)2013-10-08ocamlbuild: provide a way to run some rules in source directory
 000528311[OCaml]
OCaml general
featurefeedback (xleroy)2013-10-08patch to pack functors
 0005273 [OCaml]
OCaml general
featureacknowledged2013-10-08natdynlink disabled following faulty test in configure script
 0005249 [OCaml]
OCaml general
featureacknowledged2013-10-08Unified API to grab a file descriptor in unixsupport.h
 0005210 [OCaml]
OCaml general
featureacknowledged2013-10-08Additional options to control link libraries in OCaml's configure script
 00052039[OCaml]
OCaml backend (code generation)
featureacknowledged2013-10-08Faster bigarray access
 00051961[OCaml]
OCaml general
featureacknowledged2013-10-07Combine Ialloc's across if-then-else
 0005195 [OCaml]
OCaml general
featureacknowledged2013-10-07Apply const int optimizations to const natint
 00051932[OCaml]
OCaml otherlibs
minoracknowledged2013-10-07Make unix.{localtime,gmtime} use non reentrant c calls
 0005183 [OCaml]
OCaml general
featureassigned (doligez)2013-10-07Array shuffle function in random module
 00051703[OCaml]
OCaml general
featureacknowledged2013-10-07Order of evaluation of the Map.merge function is unspecified (right-to-left in practice)
 0005163 [OCaml]
OCaml general
featureassigned (gasche)2013-10-07objinfo: dump globals defined in bytecode executables
 0005154 [OCaml]
OCaml general
featureacknowledged2013-10-07#define Val_some
 00051501[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorassigned (xclerc)2013-10-07MinGW/msys: Camlp4 crashes
 00051073[OCaml]
OCamlbuild (the tool)
featureassigned (xclerc)2013-10-07ocamlbuild misses local C #includes
 00061602[OCaml]
OCaml general
featureconfirmed2013-09-26disable shadowing warning for deprecated identifiers?
 00061613[OCaml]
OCamlbuild (the tool)
featureacknowledged2013-09-06add "context" flag in _tags for multi-directories projects
 0005099 [OCaml]
OCamlbuild (the tool)
featureassigned (gasche)2013-09-05Dependencies at byte-code link with mlpack
 0005063 [OCaml]
OCaml general
featureacknowledged2013-09-05Unix module does not offer access to tzname
 0005047 [OCaml]
OCaml general
featureconfirmed2013-09-05feature wish: ocamlprof measures allocation rate
 00050217[OCaml]
OCaml general
featureacknowledged2013-09-05Big_int.float_of_big_int is slightly unportable (was: Int64.to_float is slightly unportable)
 0003190 [OCaml]
OCaml general
featureacknowledged2013-09-05RFE: ocamldep flag to generate dependency on .cmi even when only .ml is present.
 00043332[OCaml]
OCaml otherlibs
featureacknowledged2013-09-05Bigarray: complex <-> float
 00049191[OCaml]
OCaml general
featureacknowledged2013-09-04Missing code_of_unix_error() in C interface of Unix module
 00047741[OCaml]
OCaml general
featureacknowledged2013-09-04Block with a custom comparison function
 0004737 [OCaml]
OCaml general
featureacknowledged2013-09-04Queue: to_list and rev_iter
 000470311[OCaml]
OCaml general
featureacknowledged (xclerc)2013-09-04Debugging embedded Ocaml applications
 0004652 [OCaml]
OCaml general
featureacknowledged2013-09-04Big_Int random numbers
 00046153[OCaml]
OCaml general
tweakacknowledged2013-09-04Typing recursive modules, maybe related to 4470?
 00045541[OCaml]
OCaml general
featureacknowledged2013-09-04Patch implementing inter-thread shared variable without creating a new thread.
 00045193[OCaml]
OCaml general
featureacknowledged2013-09-04Interior files handled in ocamldep
 0004489 [OCaml]
OCaml general
featureacknowledged2013-09-04Additional feature for module set
 0004414 [OCaml]
OCaml general
featureacknowledged2013-09-04ocamlopt places symbols interior to statically allocated 'value's
 00043477[OCaml]
OCamldoc
featureassigned (guesdon)2013-09-04Seems not possible to comment each case of polymorphic variant types ?
 0004270 [OCaml]
OCaml documentation
featureassigned (garrigue)2013-09-04man page for ocamlbrowser
 0004189 [OCaml]
OCaml general
featureacknowledged2013-09-04Noreturn attribute definition for MSVC
 0004104 [OCaml]
OCaml general
featureacknowledged2013-09-04Condition.timedwait missing in threads library
 00041031[OCaml]
OCaml general
featureacknowledged2013-09-04Hashtbl.arbitrary
 00041703[OCaml]
OCaml standard library
featureassigned (garrigue)2013-09-03pi constant
 0004090 [OCaml]
OCaml general
featureacknowledged2013-09-03A better interface for select
 0004060 [OCaml]
OCaml general
featureacknowledged2013-09-03Error message Cannot_open_dll should contain list of searched files
 00040571[OCaml]
OCaml general
featureacknowledged2013-09-03Unix.sleep does not return remaining seconds
 00040561[OCaml]
OCaml general
featureacknowledged2013-09-03Bad compressibility of marshalled OCaml-data
 00040381[OCaml]
OCaml general
featureacknowledged2013-09-03No access to timezone information
 00040321[OCaml]
OCaml general
featureacknowledged2013-09-03Associating pthread_t with a thread descriptor impossible
 0003969 [OCaml]
OCaml general
featureacknowledged2013-09-03Regular expressions should support non-capturing groups
 00039382[OCaml]
OCaml general
featureacknowledged2013-09-03Option to automatically open given modules, as is done for Pervasives.
 00039173[OCaml]
OCaml general
featureacknowledged2013-09-03ocaml won't compile correctly with icc 9.0 (many standard library calls with end up ending up in Invalid_argument)
 00038511[OCaml]
OCaml general
featureacknowledged2013-09-03strftime/strptime (followup to 0003849)
 0003723 [OCaml]
OCaml general
featureconfirmed (doligez)2013-09-03Suggestion for built in constructors
 0003664 [OCaml]
OCaml general
featureacknowledged2013-09-03C optimization level
 00035823[OCaml]
OCaml general
featureacknowledged2013-09-03(1073741824 = -1073741824) is true !
 00038493[OCaml]
OCaml general
featureacknowledged2013-08-31strftime/strptime and asctime
 00026602[OCaml]
OCaml general
featureacknowledged2013-08-30Recursive modules need qualified names?
 00026293[OCaml]
OCaml general
featureacknowledged2013-08-30Recursive modules - awkward dynamic semantics
 00023751[OCaml]
OCaml general
featureacknowledged2013-08-30Feature Wish : cmxa and cma manipulation tool like ar
 00022721[OCaml]
OCaml general
featureacknowledged2013-08-30extract_unit
 00019523[OCaml]
OCaml general
featureresolved2013-08-30référence et polymorphisme
 00018171[OCaml]
OCaml general
featureacknowledged2013-08-30Complex infinity/nan field values
 00017997[OCaml]
OCaml general
featureacknowledged2013-08-303.07 beta 2 test build/run results
 0001680 [OCaml]
OCaml general
featureacknowledged2013-08-30Patch for compilation in QNX
 0001613 [OCaml]
OCaml general
featureacknowledged2013-08-30printing non-generalized type variables
 00002482[OCaml]
OCaml general
featureacknowledged2013-08-30Re variables de type faibles
 0001482 [OCaml]
OCaml general
featureacknowledged2013-08-30Memory leak in byterun/startup.c
 0001444 [OCaml]
OCaml general
featureacknowledged2013-08-30Deltas in frametables
 00007841[OCaml]
OCaml general
featureacknowledged2013-08-30wishes concerning documentation
 00004801[OCaml]
OCaml general
featureacknowledged2013-08-30Feature wish: More Unix
 00061342[OCaml]
OCaml general
featureacknowledged2013-08-26emacs mode doesn't support cmt[i] files
 00052084[OCaml]
OCamlbuild (the tool)
minorfeedback (xclerc)2013-08-13cmo -> cma rule brings too much dependencies in
 00060597[OCaml]
OCamlbuild (the tool)
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
 00049818[OCaml]
OCamlbuild (the tool)
featureresolved (xclerc)2013-08-01ocamlbuild/my_std.ml shouldn't call bash
 00061004[OCaml]
OCamlbuild (the tool)
featureresolved2013-08-01generate a backend for ninja?
 00037254[OCaml]
OCaml general
featureacknowledged2013-07-31Ocamldep should search for .mly & .mll files
 0004918 [OCaml]
OCaml general
featureacknowledged2013-07-29Inlining & direct function application optimisation
 00036982[OCaml]
OCaml general
featureacknowledged2013-07-29Improvements to ocamldoc
 000527015[OCaml]
OCaml general
featureacknowledged2013-07-29Ocaml parser error are not meaningfull most of the time
 00052933[OCaml]
OCamlbuild (the tool)
featureacknowledged2013-07-29improve error message on circular build error
 0005956 [OCaml]
OCamlbuild (the tool)
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
 00052271[OCaml]
OCamlbuild (the tool)
featureassigned (xclerc)2013-07-28possibility to call ocamlbuild from a sub-directory
 00046223[OCaml]
OCamlbuild (the tool)
featureassigned (gasche)2013-07-28Ocamlbuild needs support for generating documentation from implementation files
 00049431[OCaml]
OCamlbuild (the tool)
featureassigned (xclerc)2013-07-28ocaml_lib is not specific enough with tags, leading to highly confusing error message
 00057864[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featurefeedback (hongboz)2013-07-28Camlp4 FoldGenerator does not generate visitors for paramatric types
 00052672[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minoracknowledged2013-07-27camlp4r (?) does not respect the constructor's arity
 000550812[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorassigned (dim)2013-07-27camlp4o differs from ocamlc because it has quotations enabled
 00060659[OCaml]
OCaml standard library
minoracknowledged2013-07-19Array.init of a float array needlessly initialize array with (f 0)
 00047481[OCaml]
OCaml standard library
minorresolved2013-07-19Complex +-0.
 00042722[OCaml]
Misc
minoracknowledged2013-07-19Mantis bug tracker: silent failure when cookies not supported
 00060704[OCaml]
OCaml general
featureacknowledged2013-07-17There should be a warning for repeated variables even in curried arguments
 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
 0003993 [OCaml]
OCaml general
minoracknowledged2013-07-07recursive modules and type constructor scoping
 00056352[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureresolved (hongboz)2013-07-07Factoring Camlp4Parsers
 00037722[OCaml]
OCaml general
featureacknowledged2013-07-02That #%$! syntax error two functions down
 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
 0005873 [OCaml]
OCaml general
featureconfirmed2013-06-28Feature: control inlining better
 0005863 [OCaml]
OCaml typing
featureacknowledged2013-06-28Allow contractibility annotation in abstract types interface
 00058621[OCaml]
OCaml general
featureacknowledged2013-06-28Wish : Create closure from C
 0005838 [OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureacknowledged2013-06-28Camlp4 macro parser does not support binding structures
 00058261[OCaml]
OCaml standard library
featureacknowledged2013-06-28List.take function
 0005799 [OCaml]
OCaml standard library
featureacknowledged2013-06-28Array.findi, Array.exists
 00057974[OCaml]
OCaml typing
featurefeedback2013-06-28Warning on abstract generic comparison/equality
 00057774[OCaml]
OCaml general
featurefeedback2013-06-28Update mode for inferring mli files
 00057761[OCaml]
OCaml general
featureacknowledged2013-06-28Provide an option to only print Constructor name without qualified module names
 00060146[OCaml]
OCaml typing
tweakconfirmed (garrigue)2013-06-28Existentials not allowed with 'let and'
 00051433[OCaml]
OCaml general
minorassigned (garrigue)2013-06-27module types and type constraints
 0005938 [OCaml]
OCaml general
featureconfirmed2013-06-19Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib
 0005963 [OCaml]
OCamlbuild (the tool)
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
 0005952 [OCaml]
OCaml standard library
featureacknowledged2013-06-19Hashtbl.keys => giving back list of keys
 0005990 [OCaml]
OCaml general
featureacknowledged2013-06-19Calling a method from a super class on a modified version of self
 00052391[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved (hongboz)2013-06-17Wrong stop location in AST
 00059131[OCaml]
OCaml general
minorresolved2013-06-17Cleaning up Parsetree: removing prefixes
 00051163[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved (xclerc)2013-06-17camlp4 relaxes syntax for records update : { expr with ... }
 00057532[OCaml]
OCaml internal build/install (Makefiles, configure)
featureacknowledged2013-06-14compiler-libs/ocamltoplevel.cmxa
 00060271[OCaml]
OCaml documentation
minorresolved2013-06-10Undocumented portability of Marshal.to_channel
 00057921[OCaml]
OCaml standard library
featureacknowledged (doligez)2013-06-07request for Weak.set_some function
 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]
OCaml standard library
featureresolved2013-01-28Add a timeout function to the standard library
 00057403[OCaml]
OCaml standard library
featurefeedback2013-01-04Set should have a way to access the "middle" element and its left and right nodes.
 00058703[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorresolved (frisch)2013-01-02ocamldep does not take included module types into account.
 00058472[OCaml]
OCaml typing
minorresolved (frisch)2012-12-05module T1 = T2 does not result in (module T1) = (module T2) as types
 00054945[OCaml]
OCaml standard library
featureresolved2012-11-15Read/write binary representation of int32, int64 and float
 0005728 [OCaml]
OCaml general
featureacknowledged2012-11-06Better handling of unary tuple type
 00052416[OCaml]
OCaml general
featureacknowledged2012-10-15[module type of] does not produce type equalities for representation types
 00057814[OCaml]
OCaml standard library
featureresolved2012-10-15min and max do not conform to IEEE 754 recommendations
 00057492[OCaml]
OCaml typing
featureacknowledged2012-10-04Module "includes" not equivalent to rebinding for types using first-class modules
 000460818[OCaml]
OCaml general
featureacknowledged2012-10-01Metaprogramming features
 00057671[OCaml]
OCaml otherlibs
featureconfirmed2012-09-29Feature wish: a way to know at runtime which version of the thread library
 00055411[OCaml]
OCaml backend (code generation)
tweakresolved2012-09-24Pervasives.min/max are not inlined
 00055921[OCaml]
OCaml backend (code generation)
minorresolved2012-09-24inlining does not reduce polymorphism to concrete type to generate optimized code
 00053787[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureassigned (xclerc)2012-09-20Camlp4MacroParser.cmxs not built when compiling from source on Windows (32-bit MSVC port)
 0005189 [OCaml]
OCaml general
featureacknowledged2012-09-19Exceptions raised by Genlex token streams should be more meaningful
 00051553[OCaml]
OCaml general
minorresolved (garrigue)2012-09-19Toplevel doesn't accept the type info it writes itself.
 00049932[OCaml]
OCaml general
minoracknowledged2012-09-17A program using recursive modules doesn't compile since 3.10
 0004882 [OCaml]
Caml web site
textacknowledged2012-09-17Mantis "Account Registration" email contains the string "\n\n"
 00048262[OCaml]
OCaml general
minorresolved2012-09-17bad error reporting + ocamlbuild/ocamlbuild_where.ml is not created by make -f Makefile.nt world
 00046022[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved2012-09-17<:str_item< let $lid:id$ = $e$ >> in patterns
 0004134 [OCaml]
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]
OCaml typing
minoracknowledged2012-09-11Structural types forming non-regular trees can be defined through recursive modules.
 00038231[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved2012-09-11Camlp4: manual not up-to-date wrt. polymorphic variants
 00037871[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
minorresolved2012-09-11camlp4 removes empty precedence levels on delete_rule
 00016513[OCaml]
OCaml documentation
minorresolved2012-09-11incorrect and incomplete camlp4 documentation
 00041272[OCaml]
OCaml general
majorconfirmed2012-09-06Thread.sigmask not working under pthreads
 00045384[OCaml]
OCaml general
crashacknowledged2012-09-06Remotely debugging multi-threaded bytecode program causes segmentation fault.
 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]
OCaml otherlibs
featureresolved2012-08-02Serialized bigarrays do not preserve sharing
 00047213[OCaml]
OCaml standard library
featureassigned (doligez)2012-07-27Lazy is not threadsafe
 00056884[OCaml]
OCaml typing
featureresolved (gasche)2012-07-16Variance annotations for GADTs
 00054582[OCaml]
OCaml general
featureresolved2012-07-16Stdlib should provide a common set of infix operators on numeric data types
 00040062[OCaml]
OCaml documentation
featureconfirmed2012-07-12Camlp4's default lexer fails on negative numbers
 0003964 [OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureacknowledged2012-07-12camlp4 documentation bug [EXTEND vs GEXTEND]
 00048711[OCaml]
OCaml general
minorresolved2012-07-11ocamlyacc and type clash between ml and mli
 00053372[OCaml]
OCaml general
featureacknowledged (garrigue)2012-07-10variance not inferred for package type
 00051412[OCaml]
OCaml general
majorresolved2012-07-08IO mutex and threads
 00056288[OCaml]
OCaml internal build/install (Makefiles, configure)
featureconfirmed2012-07-07ocaml-4 and findlib issues
 00056656[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureacknowledged2012-07-05support deep antiquotation
 00048681[OCaml]
OCaml otherlibs
featureassigned (doligez)2012-06-30Request: make CAML_BA_MAX_MEMORY runtime-configurable
 0005656 [OCaml]
OCamlbuild (the tool)
featureconfirmed2012-06-27verbose tag
 00056414[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved2012-06-22.mli of compiler files should be installed too
 0004987 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21caml/bigarray.h should export more
 0004834 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Bigarray layout changes
 0004496 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Request for unsigned in32 support in Bigarray module
 0004464 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Function for determining mmap status missing
 00021061[OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Feature request: bigarray & bignum printers
 00019094[OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Unix.read isn't POSIX-confirmant even if the OS is
 0004763 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21Better alpha support
 0005187 [OCaml]
OCaml otherlibs
featureacknowledged2012-06-21bool Bigarray
 00049071[OCaml]
OCaml general
featureassigned (garrigue)2012-06-01Type manifests do not support type variable substitutions
 00051471[OCaml]
for Camlp4 use https://github.com/ocaml/camlp4/issues
featureassigned (xclerc)2012-05-16improve location for identifiers in the camlp4 ast
 00056152[OCaml]
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
 00055832[OCaml]
OCaml runtime system
featureassigned (doligez)2012-05-07debug info for OCaml runtime
 00048081[OCaml]
OCaml general
featureresolved2012-04-08better compilation of min and max
 000550010[OCaml]
OCaml backend (code generation)
minorresolved2012-04-04compilation of "module rec" makes runtime assumptions on closure representation
 00055663[OCaml]
OCaml standard library
featureacknowledged2012-04-03Duplicate Dynlink.is_native as Sys.is_native