Anonymous | Login | Signup for a new account | 2018-04-22 22:00 CEST | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
![]() |
[ Advanced Filters ] |
|
Viewing Issues (51 - 100 / 1309) [ Print Reports ] [ CSV Export ] [ Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ] | |||||||||
P | ID | # | Category | Severity | Status | Updated![]() | Summary | ||
![]() | 0007744 | [OCaml] runtime system and C interface | tweak | new | 2018-03-12 | Symbols mentioned in compatibility.h but not declared anywhere else | |||
![]() | 0007696 | [OCaml] typing | minor | new | 2018-03-08 | record expression deleted when all fields specified | |||
![]() | 0007180 | 15 | [OCaml] runtime system and C interface | minor | assigned (doligez) | 2018-03-08 | Change of behavior in Gc.major_slice in 4.03 | ||
![]() | 0007158 | 5 | [OCaml] otherlibs | major | resolved | 2018-03-08 | Event.sync forces a full major GC cycle every 5000 calls at most | ||
![]() | 0007747 | 2 | [OCaml] typing | minor | resolved (garrigue) | 2018-03-01 | Type checker can loop infinitly and consumes all computer memory | ||
![]() | 0007739 | 7 | [OCaml] typing | minor | confirmed (garrigue) | 2018-03-01 | Abstract type and private type don't have same behavioir with type equality | ||
![]() | 0007748 | 1 | [OCaml] compiler driver | tweak | acknowledged (dra) | 2018-02-28 | Improving the --version directive | ||
![]() | 0007746 | [OCaml] back end (clambda to assembly) | minor | new | 2018-02-26 | dose3 needs more than 8GB of memory to compile with flambda | |||
![]() | 0007745 | 3 | [OCaml] otherlibs | minor | confirmed | 2018-02-24 | Graphics | ||
![]() | 0007743 | 3 | [OCaml] typing | feature | new | 2018-02-23 | Making the compiler independent from syntactic constraints on ident capitalization | ||
![]() | 0007742 | 7 | [OCaml] lexing and parsing | minor | resolved (gasche) | 2018-02-22 | Local open can raise type error (as expected) or warning or even no problem (as unexpected) depending on how it is used. | ||
![]() | 0007741 | 2 | [OCaml] typing | minor | new | 2018-02-22 | Failure to report escaping type variable. | ||
![]() | 0006744 | 4 | [OCaml] typing | minor | assigned (garrigue) | 2018-02-21 | Univars can escape through polymorphic variants | ||
![]() | 0007740 | 3 | [OCaml] compiler driver | minor | resolved | 2018-02-21 | ISO-Latin 1 characters with Linux does not work version 4.02.3-9 for Debian | ||
![]() | 0007737 | 6 | [OCaml] compiler driver | minor | resolved (octachron) | 2018-02-21 | A few character codes do not match in ISO 8859-1 with an azerty keyboard | ||
![]() | 0007738 | 3 | [OCaml] compiler driver | minor | resolved (gasche) | 2018-02-21 | Asmlink should also reset ccobjs/ccopts | ||
![]() | 0007629 | 2 | [OCaml] typing | minor | acknowledged | 2018-02-20 | False typing error when using pre-compiled .cmi through -intf-suffix option | ||
![]() | 0007728 | 2 | [OCaml] compiler driver | minor | resolved | 2018-02-18 | this time strange compiler behavior in separate compilation with several semicolons and characters after | ||
![]() | 0007729 | 3 | [OCaml] runtime system and C interface | minor | acknowledged | 2018-02-18 | caml/misc.h leaks reserved identifier | ||
![]() | 0007727 | 7 | [OCaml] toplevel | minor | resolved | 2018-02-18 | Multiple semicolons at the end of a line with no error mentioned | ||
![]() | 0007722 | 1 | [OCaml] back end (clambda to assembly) | minor | acknowledged | 2018-02-17 | caml_modify with int type parameter in GADT | ||
![]() | 0007725 | 1 | [OCaml] misc | trivial | confirmed | 2018-02-13 | AFL test broken | ||
![]() | 0007721 | 1 | [OCaml] runtime system and C interface | feature | new | 2018-02-12 | caml_alloc_abstract is missing and the abstract tag lightly documented | ||
![]() | 0007710 | 2 | [OCaml] tools (ocaml{lex,yacc,dep,debug,...}) | minor | resolved | 2018-02-11 | ocamldep -sort returns success despite cyclic files warning | ||
![]() | 0007720 | 4 | [OCaml] standard library | minor | assigned (octachron) | 2018-02-04 | Format: spurious space at end of line | ||
![]() | 0007717 | 1 | [OCaml] typing | minor | resolved (chambart) | 2018-02-01 | Recursive value check consider unboxed constructor as having statically known size. | ||
![]() | 0007718 | 1 | [OCaml] typing | minor | new | 2018-02-01 | Bad interraction between let-rec and no-naked-pointers | ||
![]() | 0007716 | [OCaml] compiler driver | minor | new | 2018-01-30 | Reverse ordering of .so arguments and "-dllib -l" options in ocamlc's command line | |||
![]() | 0007711 | 3 | [OCaml] typing | minor | resolved (garrigue) | 2018-01-30 | Internal typechecker error triggered by a constraint on self type in a class type | ||
![]() | 0007636 | 15 | [OCaml] typing | minor | confirmed (garrigue) | 2018-01-30 | Constant type can not be generalized ? | ||
![]() | 0007715 | 1 | [OCaml] standard library | minor | confirmed | 2018-01-29 | Format: strange behavior of basic compacting boxes | ||
![]() | 0006201 | 1 | [OCaml] typing | minor | acknowledged | 2018-01-29 | printing of types inconsistent with -short-paths | ||
![]() | 0006792 | 13 | [OCaml] tools (ocaml{lex,yacc,dep,debug,...}) | feature | confirmed (whitequark) | 2018-01-29 | Dynlink support for ocamldebug | ||
![]() | 0007583 | 19 | [OCaml] typing | feature | acknowledged | 2018-01-24 | Request: empty record and variant types | ||
![]() | 0007713 | 14 | [OCaml] typing | minor | assigned (maranget) | 2018-01-23 | assertion failure exclusively with 4.06.1+rc1 | ||
![]() | 0007712 | 3 | [OCaml] typing | minor | resolved (garrigue) | 2018-01-23 | assertion failure with type abbreviations | ||
![]() | 0007714 | 1 | [OCaml] middle end (typedtree to clambda) | minor | new | 2018-01-22 | error during compilation with 4.05.0+flambda | ||
![]() | 0007677 | 2 | [OCaml] documentation | minor | acknowledged | 2018-01-16 | Clarify how `-c` and `-o` are supposed to work. | ||
![]() | 0006422 | 4 | [OCaml] typing | feature | acknowledged (doligez) | 2018-01-15 | Support "exception" under or-patterns | ||
![]() | 0007709 | 2 | [OCaml] threads | minor | confirmed | 2018-01-14 | [Thread.sigmask] does not mask signals | ||
![]() | 0004127 | 5 | [OCaml] threads | major | assigned (dim) | 2018-01-14 | Thread.sigmask not working under pthreads | ||
![]() | 0005141 | 3 | [OCaml] threads | major | resolved | 2018-01-14 | IO mutex and threads | ||
![]() | 0007503 | 2 | [OCaml] runtime system and C interface | minor | confirmed | 2018-01-13 | Bad locking in io.c | ||
![]() | 0007608 | 10 | [OCaml] back end (clambda to assembly) | minor | assigned (xleroy) | 2018-01-12 | OCaml-uri doesn't compile on ARM with assembler error | ||
![]() | 0007699 | 3 | [OCaml] typing | minor | resolved | 2018-01-12 | Recursive modules don't normalize type aliases correctly | ||
![]() | 0007708 | [OCaml] ocamldoc | minor | new | 2018-01-12 | Online Manual does not list builtin types and builtin exception in index | |||
![]() | 0007669 | 9 | [OCaml] threads | minor | resolved | 2018-01-12 | Thread preemption | ||
![]() | 0007707 | [OCaml] typing | minor | new | 2018-01-12 | mcomp on polymorphic variants is a little weak | |||
![]() | 0007702 | 7 | [OCaml] back end (clambda to assembly) | crash | resolved (gasche) | 2018-01-11 | cmm miscompile: cross-module inlining causes catch ID collision | ||
![]() | 0003369 | 2 | [OCaml] typing | feature | resolved (octachron) | 2018-01-10 | feature wish : heritage dans les types objets | ||
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ] |
new | feedback | acknowledged | confirmed | assigned | resolved | closed |
Copyright © 2000 - 2011 MantisBT Group |