|
Viewing Issues (51 - 100 / 1119)
[ 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 |
|
| | |  | 0005713 | 1 | [OCaml]
OCaml typing | feature | assigned (garrigue) | 2013-04-23 | Opening GADTs to get more equations on local abstract types introduced by module unpacking |
| | | | 0005780 | 6 | [OCaml]
OCaml typing | text | confirmed (garrigue) | 2013-04-23 | Strange type variable names in error messages (GADTs) |
| | | | 0005853 | 7 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | compiler is unable to detect unused cases in pattern matching on GADT |
| | | | 0005892 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | GADT exhaustiveness check is broken |
| | | | 0005724 | 4 | [OCaml]
OCaml general | major | resolved (garrigue) | 2013-04-23 | Interaction between GADTs and polymorphic variants |
| | | | 0005948 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | GADT with polymorphic variants bug |
| | | | 0005867 | 4 | [OCaml]
OCaml typing | feature | acknowledged (garrigue) | 2013-04-23 | there is no syntax to bind a type variable introduced in a gadt pattern |
| | | | 0005981 | 1 | [OCaml]
OCaml typing | major | resolved (garrigue) | 2013-04-23 | Incompatibility check assumes abstracted type constructors are injective |
| | | | 0005989 | 3 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Assumed inequalities involving private rows |
| | | | 0005993 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Variance information on private type abbreviations is not checked for module subtyping |
| | | | 0005997 | 1 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-23 | Non-compatibility assumed between concrete types with same constructor |
| | | | 0005996 | | [OCaml]
OCamlbuild (the tool) | minor | confirmed | 2013-04-22 | ocamlbuild -build-dir dangerous behaviour |
| | | | 0005995 | 1 | [OCaml]
OCaml general | minor | confirmed | 2013-04-22 | Uncaught exceptions & packing |
| | |  | 0005990 | | [OCaml]
OCaml general | feature | new | 2013-04-18 | Calling a method from a super class on a modified version of self |
| | | | 0005986 | 2 | [OCaml]
OCaml general | minor | resolved (xleroy) | 2013-04-18 | Protect against marshaling 64-bit integers in bytecode |
| | | | 0005988 | | [OCaml]
OCaml documentation | text | acknowledged | 2013-04-17 | -impl is a valid flag for ocamlopt |
| | | | 0005925 | 6 | [OCaml]
OCaml general | crash | resolved (gasche) | 2013-04-17 | Stack overflow in compiler |
| | | | 0005957 | 5 | [OCaml]
OCaml backend (code generation) | minor | resolved (gasche) | 2013-04-17 | linking -big- files causes failure in ocamlc |
| | | | 0005974 | | [OCaml]
OCaml documentation | minor | new | 2013-04-16 | str regexp documentation |
| | | | 0005879 | 20 | [OCaml]
OCaml general | feature | acknowledged | 2013-04-16 | Static exception handlers (i.e. well-disciplined gotos!) |
| | | | 0005987 | 1 | [OCaml]
OCaml documentation | minor | new | 2013-04-16 | Constraints on type declarations can be of the form "typexpr = typexpr", not only "'ident = typexpr" |
| | | | 0005914 | | [OCaml]
OCaml typing | minor | new | 2013-04-16 | Functor breaks with an equivalent argument signature |
| | | | 0005955 | 5 | [OCaml]
OCaml typing | feature | resolved (gasche) | 2013-04-16 | support "let module rec ... in ..." |
| | | | 0005721 | 18 | [OCaml]
OCaml backend (code generation) | feature | confirmed (lefessan) | 2013-04-15 | patch to use frame pointer to profile code with Linux perf tools |
| | | | 0005936 | 17 | [OCaml]
OCaml general | minor | confirmed | 2013-04-15 | Weird syntax accepted by OCaml |
| | | | 0005919 | 6 | [OCaml]
OCamlbuild (the tool) | crash | resolved | 2013-04-15 | ocamlopt generates bad executable |
| | | | 0005916 | 14 | [OCaml]
OCaml typing | minor | confirmed (lefessan) | 2013-04-15 | Compile time performance of opens |
| | | | 0005977 | 12 | [OCaml]
OCaml general | minor | resolved (frisch) | 2013-04-15 | Build failure on raspberry pi: "input_value: integer too large" |
| | | | 0005984 | 1 | [OCaml]
OCaml typing | minor | confirmed (garrigue) | 2013-04-14 | Variance information is not properly propagated through functor applications |
| | | | 0005979 | 1 | [OCaml]
OCaml general | feature | new | 2013-04-10 | New warning for never used optional argument |
| | | | 0005793 | 1 | [OCaml]
OCaml standard library | minor | resolved (xclerc) | 2013-04-09 | Integer marshalling is inconsistent between architectures |
| | | | 0005952 | | [OCaml]
OCaml standard library | feature | new | 2013-04-08 | Hashtbl.keys => giving back list of keys |
| | | | 0005667 | 26 | [OCaml]
OCaml typing | feature | acknowledged | 2013-04-08 | Autofocusing pattern on record field to simplify matching trees with meta-data |
| | | | 0005976 | 1 | [OCaml]
OCaml runtime system | major | new | 2013-04-05 | Illegal recovery of 2 stack overflows with ocamlopt in Mac OS |
| | | | 0004978 | 4 | [OCaml]
OCaml general | minor | assigned (meyer) | 2013-04-05 | exceptions lose identity after marshalling |
| | | | 0005960 | 6 | [OCaml]
OCaml standard library | feature | resolved (gasche) | 2013-04-02 | List.cons function |
| | | | 0005971 | 1 | [OCaml]
OCaml documentation | text | resolved (meyer) | 2013-04-01 | Omission in caml_copy_int64 documentation |
| | | | 0004965 | 5 | [OCaml]
OCaml general | minor | resolved (shinwell) | 2013-03-31 | String.compare not specialized |
| | | | 0005964 | 2 | [OCaml]
OCaml backend (code generation) | minor | resolved (frisch) | 2013-03-28 | ocamlopt option "-dclambda" doesn't work |
| | | | 0005784 | 1 | [OCaml]
OCaml backend (code generation) | minor | resolved (frisch) | 2013-03-28 | -dclambda option is ignored |
| | | | 0005963 | | [OCaml]
OCamlbuild (the tool) | feature | new | 2013-03-27 | Include support for rpath and static linking flags in ocamlbuild |
| | | | 0005962 | | [OCaml]
OCaml documentation | minor | new | 2013-03-26 | ocamlmklib documentation is not accurate |
| | | | 0005961 | 2 | [OCaml]
OCaml typing | minor | resolved (frisch) | 2013-03-26 | Unused type warnings seem to does not work with the ghost locatoin |
| | | | 0005887 | 6 | [OCaml]
OCaml runtime system | minor | assigned (meyer) | 2013-03-25 | Name clash with memory.h header file with the Android NDK |
| | | | 0005950 | 6 | [OCaml]
OCaml general | feature | resolved | 2013-03-25 | relocatable ocaml compiler |
| | | | 0005934 | 3 | [OCaml]
OCaml general | minor | resolved | 2013-03-24 | undefined integer overflows |
| | | | 0005872 | 7 | [OCaml]
OCaml standard library | minor | acknowledged | 2013-03-24 | Performance: Buffer.add_char is not inlined |
| | | | 0005958 | | [OCaml]
OCaml runtime system | feature | new | 2013-03-23 | Generalized polymorphic #install_printer |
| | | | 0005921 | 2 | [OCaml]
OCaml general | minor | resolved | 2013-03-22 | 4.01.0dev emits compact unwind warnings since switch to clang |
| | | | 0005953 | 2 | [OCaml]
OCaml otherlibs | minor | resolved (dim) | 2013-03-22 | Unix.system does not handle EINTR |
|
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ]
|
