Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any closed (And Above)       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any Yes 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
- Search  Advanced Filters ]

Viewing Issues (1 - 50 / 1285)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
dynlink and natdynlink
minornew2018-03-16camlCamlinternalOO module is not linked when using Dynlink
runtime system and C interface
featureacknowledged2018-03-16Performance improvements when printing integers stored in floats
runtime system and C interface
majornew2018-03-16GC does not reclaim bigarrays fast enough causing Out_of_memory
language features
featureresolved (frisch)2018-03-16Would it be possible to use (automatic) region-based memory management in OCaml?
  0007752 [OCaml]
featurenew2018-03-14Surprising weakening of module signature: module alias disappears after adding module equality constraint
minorconfirmed (garrigue)2018-03-13occasionally unhelpful behavior of toplevel when printing values
featureassigned (garrigue)2018-03-13compiler forcing aliases it shouldn't while reporting type errors
platform support (windows, cross-compilation, etc)
minorconfirmed2018-03-12static linking fails
  0007744 [OCaml]
runtime system and C interface
tweaknew2018-03-12Symbols mentioned in compatibility.h but not declared anywhere else
compiler driver
minoracknowledged2018-03-08Deprecate the -thread and -vmthread flags
  0007696 [OCaml]
minornew2018-03-08record expression deleted when all fields specified
runtime system and C interface
minorassigned (doligez)2018-03-08Change of behavior in Gc.major_slice in 4.03
majorresolved2018-03-08Event.sync forces a full major GC cycle every 5000 calls at most
language features
featureacknowledged2018-03-07Extensible record types
minorresolved (garrigue)2018-03-01Type checker can loop infinitly and consumes all computer memory
minorconfirmed (garrigue)2018-03-01Abstract type and private type don't have same behavioir with type equality
compiler driver
tweakacknowledged (dra)2018-02-28Improving the --version directive
minornew2018-02-28with type removes module aliases, which breaks soundness
minorconfirmed (garrigue)2018-02-27Recursive modules, equi-recursive types and stack overflow
  0007746 [OCaml]
back end (clambda to assembly)
minornew2018-02-26dose3 needs more than 8GB of memory to compile with flambda
featurenew2018-02-23Making the compiler independent from syntactic constraints on ident capitalization
lexing and parsing
minorresolved (gasche)2018-02-22Local open can raise type error (as expected) or warning or even no problem (as unexpected) depending on how it is used.
minornew2018-02-22Failure to report escaping type variable.
minorassigned (garrigue)2018-02-21Univars can escape through polymorphic variants
compiler driver
minorresolved2018-02-21ISO-Latin 1 characters with Linux does not work version 4.02.3-9 for Debian
compiler driver
minorresolved (octachron)2018-02-21A few character codes do not match in ISO 8859-1 with an azerty keyboard
compiler driver
minorresolved (gasche)2018-02-21Asmlink should also reset ccobjs/ccopts
minoracknowledged2018-02-20False typing error when using pre-compiled .cmi through -intf-suffix option
compiler driver
minorresolved2018-02-18this time strange compiler behavior in separate compilation with several semicolons and characters after
runtime system and C interface
minoracknowledged2018-02-18caml/misc.h leaks reserved identifier
minorresolved2018-02-18Multiple semicolons at the end of a line with no error mentioned
back end (clambda to assembly)
minoracknowledged2018-02-17caml_modify with int type parameter in GADT
trivialconfirmed2018-02-13AFL test broken
runtime system and C interface
featurenew2018-02-12caml_alloc_abstract is missing and the abstract tag lightly documented
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved2018-02-11ocamldep -sort returns success despite cyclic files warning
standard library
minorassigned (octachron)2018-02-04Format: spurious space at end of line
  0007719 [OCaml]
compiler driver
minornew2018-02-02Deprecated annotation on let-binding does not trigger
minorresolved (chambart)2018-02-01Recursive value check consider unboxed constructor as having statically known size.
minornew2018-02-01Bad interraction between let-rec and no-naked-pointers
  0007716 [OCaml]
compiler driver
minornew2018-01-30Reverse ordering of .so arguments and "-dllib -l" options in ocamlc's command line
minorresolved (garrigue)2018-01-30Internal typechecker error triggered by a constraint on self type in a class type
minorconfirmed (garrigue)2018-01-30Constant type can not be generalized ?
standard library
minorconfirmed2018-01-29Format: strange behavior of basic compacting boxes
minoracknowledged2018-01-29printing of types inconsistent with -short-paths
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed (whitequark)2018-01-29Dynlink support for ocamldebug
featureacknowledged2018-01-24Request: empty record and variant types
minorassigned (maranget)2018-01-23assertion failure exclusively with 4.06.1+rc1
minorresolved (garrigue)2018-01-23assertion failure with type abbreviations
middle end (typedtree to clambda)
minornew2018-01-22error during compilation with 4.05.0+flambda
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker