|
Viewing Issues (1 - 50 / 1117)
[ 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 |
|
| | |  | 0006017 | 1 | [OCaml]
OCaml standard library | feature | confirmed | 2013-05-19 | A new format implementation based on GADTs |
| | | | 0006016 | 6 | [OCaml]
OCaml typing | feature | acknowledged | 2013-05-18 | non-recursive type declarations |
| | | | 0006013 | 4 | [OCaml]
OCaml general | minor | confirmed | 2013-05-17 | duplicate locations cause 'unused warnings' to be lost |
| | | | 0006012 | 12 | [OCaml]
OCaml general | feature | resolved (gasche) | 2013-05-17 | object-like notation for module functions |
| | | | 0006015 | 3 | [OCaml]
OCaml documentation | minor | acknowledged | 2013-05-17 | Negative integer and float literals |
| | | | 0006000 | 13 | [OCaml]
OCaml typing | minor | new | 2013-05-17 | Warning 40 ("Constructor or label name out of scope") should be an error |
| | | | 0005980 | 24 | [OCaml]
OCaml general | feature | assigned (frisch) | 2013-05-17 | Maybe a new warning for M.() notation ? |
| | | | 0005982 | 2 | [OCaml]
OCaml runtime system | minor | resolved (dim) | 2013-05-14 | caml_leave_blocking section and errno corruption |
| | | | 0006014 | 5 | [OCaml]
OCaml typing | minor | confirmed (garrigue) | 2013-05-14 | Existentials not allowed with 'let and' |
| | | | 0005874 | 4 | [OCaml]
OCaml typing | minor | new | 2013-05-10 | Improve error message for polymorphic variant |
| | | | 0005910 | 10 | [OCaml]
OCaml backend (code generation) | major | resolved (meurer) | 2013-05-10 | assembler complains of invalid code |
| | | | 0006011 | 2 | [OCaml]
OCaml typing | minor | new | 2013-05-08 | Signatures with private types can make modules less constrained |
| | | | 0006006 | | [OCaml]
OCaml backend (code generation) | major | resolved (meurer) | 2013-05-08 | Cannot "ocamlopt" the expression "x mod 1" on ARM |
| | | | 0005994 | 1 | [OCaml]
OCaml backend (code generation) | major | resolved (meurer) | 2013-05-08 | Error: shift expression is too large |
| | | | 0006010 | 1 | [OCaml]
OCaml otherlibs | major | resolved (xleroy) | 2013-05-08 | Big_int.extract_big_int does not handle negative numbers properly |
| | | | 0006009 | 4 | [OCaml]
OCaml standard library | feature | acknowledged | 2013-05-07 | Format.{pp_print_opt, pp_print_list, pp_print_text} |
| | | | 0005407 | 6 | [OCaml]
OCamldoc | feature | assigned (guesdon) | 2013-05-07 | Inline submodules, single-page HTML |
| | | | 0006008 | | [OCaml]
OCamldoc | minor | assigned (guesdon) | 2013-05-07 | Document the behaviour of 0004915 |
| | | | 0006007 | 2 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-06 | Type-checker rejects cyclic type abbreviation even though -rectypes is activated |
| | | | 0005343 | 2 | [OCaml]
OCaml general | minor | resolved (garrigue) | 2013-05-06 | ocaml -rectypes is unsound wrt module subtyping |
| | | | 0006004 | 3 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-04 | Type information does not flow to "inherit" parameters |
| | | | 0006005 | 2 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-05-03 | Obj.magic with recursive modules |
| | | | 0006002 | | [OCaml]
OCaml general | feature | new | 2013-05-02 | An easier way to avoid elided printing of values |
| | | | 0006003 | 2 | [OCaml]
OCaml backend (code generation) | minor | resolved (gasche) | 2013-05-01 | simple references sometimes slow |
| | | | 0005985 | 48 | [OCaml]
OCaml typing | major | confirmed (garrigue) | 2013-04-30 | Unexpected interaction between variance and GADTs |
| | | | 0005999 | 8 | [OCaml]
OCaml backend (code generation) | minor | new | 2013-04-30 | "for" loop not entirely optimal? |
| | | | 0005965 | 2 | [OCaml]
OCaml typing | minor | resolved (frisch) | 2013-04-29 | Strange auto-reference in recursive modules in case of name conflict with a functor parameter |
| | | | 0005832 | 1 | [OCaml]
Misc | tweak | resolved (frisch) | 2013-04-29 | patch to improve "wrong file naming" error messages |
| | | | 0005991 | 2 | [OCaml]
OCaml internal build/install (Makefiles, configure) | minor | new | 2013-04-29 | Syntax error in tools/Makefile.shared |
| | | | 0005935 | 6 | [OCaml]
OCaml general | feature | acknowledged | 2013-04-29 | A faster version of "raise" which does not maintain the backtrace |
| | | | 0005949 | 4 | [OCaml]
OCaml typing | minor | assigned (weis) | 2013-04-29 | [patch] Weak format checking |
| | | | 0005983 | 2 | [OCaml]
OCaml typing | minor | confirmed | 2013-04-29 | Bad error message "Unbound class" on deprecated syntax #c [> `A] |
| | | | 0005939 | 3 | [OCaml]
OCaml general | minor | confirmed (doligez) | 2013-04-29 | "fun (type t) when cond -> ..." should be rejected, maybe also "fun p when cond -> ..." |
| | | | 0006001 | 1 | [OCaml]
OCaml internal build/install (Makefiles, configure) | block | resolved (gasche) | 2013-04-27 | Fatal error: exception Out_of_memory |
| | | | 0005992 | 14 | [OCaml]
OCaml backend (code generation) | major | resolved (maranget) | 2013-04-26 | Crash when pattern-matching lazy values modifies the scrutinee |
| | | | 0005848 | 10 | [OCaml]
OCaml typing | major | resolved (garrigue) | 2013-04-26 | Assertion failure in type checker |
| | | | 0005759 | 114 | [OCaml]
OCaml typing | minor | resolved (garrigue) | 2013-04-26 | Using well-disciplined type-propagation to disambiguate label and constructor names |
| | | | 0005998 | | [OCaml]
OCaml typing | feature | assigned (garrigue) | 2013-04-26 | GADT typing and exhaustiveness bugs |
| | | | 0005959 | | [OCaml]
OCaml windows | crash | acknowledged | 2013-04-25 | Crash in Unix.select |
| | |  | 0005121 | 2 | [OCaml]
OCaml general | minor | resolved (weis) | 2013-04-24 | %( %) in Format module seems to be broken |
| | | | 0005973 | 5 | [OCaml]
OCaml standard library | minor | resolved (weis) | 2013-04-23 | Format module incorrectly parses format string allowing to escape arguments |
| | | | 0005878 | 6 | [OCaml]
OCaml typing | feature | new | 2013-04-23 | Forward type declarations as an alternative to recursive modules |
| | | | 0005975 | 4 | [OCaml]
OCaml general | minor | new | 2013-04-23 | Pushing the evaluation of default expression for optional arguments is not specified |
| | | | 0005899 | 22 | [OCaml]
OCaml standard library | feature | assigned (jacques-henri.jourdan) | 2013-04-23 | Expose a way to inspect the current call stack |
| | | | 0005736 | 1 | [OCaml]
OCaml typing | feature | confirmed (garrigue) | 2013-04-23 | Support GADTs in or-patterns |
| | | | 0005143 | 3 | [OCaml]
OCaml general | minor | assigned (garrigue) | 2013-04-23 | module types and type constraints |
| | | | 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 |
|
[ First Prev 1 2 3 4 5 6 7 8 9 10 11 ... Next Last ]
|
