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 (351 - 400 / 1280)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 3 4 5 6 7 8 9 10 11 12 13 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00073412[OCaml]
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
  00074074[OCaml]
OCaml general
minoracknowledged2016-11-11Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
  00074061[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  00073423[OCaml]
OCaml windows
minoracknowledged2016-11-08Unix.read exhibits two different behaviors on Windows vs Linux
  0007318 [OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
  00073162[OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
  00073171[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
  00070992[OCaml]
OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
  00070112[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
featureacknowledged2016-11-08ocamldep: Argument list too long
  00069425[OCaml]
OCaml standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
  00063232[OCaml]
OCaml typing
minoracknowledged2016-11-08ocamlc -i can generate a wrong signature
  0007404 [OCaml]
OCaml standard library
featurenew2016-11-07Expose functions to check invariants in Set/Map/Hashtbl
  00074034[OCaml]
OCaml standard library
majorresolved (gasche)2016-11-07Set.map does not work reliably
  0007399 [OCaml]
OCaml windows
minorassigned (dra)2016-11-04Testsuite running on Windows should verify line-endings of source files are correct
  00073304[OCaml]
Incoming
crashresolved (garrigue)2016-11-03Missing exhaustivity check for extensible variant
  00073962[OCaml]
Ocaml optimization
majorresolved (shinwell)2016-11-03Large flambda-related performance regression between 4.03 and 4.04
  00073952[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
  000739113[OCaml]
OCaml typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
  00073934[OCaml]
OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
  00073723[OCaml]
OCaml typing
minoracknowledged2016-10-26Bug in type-checker with GADTs and inline records
  00073765[OCaml]
OCaml standard library
minoracknowledged2016-10-26Format printf regression
  00073736[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
majorfeedback2016-10-26Include OCaml lib directory in search path in ocamlmklib
  00070359[OCaml]
Caml web site
majorfeedback (doligez)2016-10-21caml.inria.fr mantis login page is not SSL
  00073819[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
  00072984[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
  00073906[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
  00073852[OCaml]
OCaml otherlibs
minoracknowledged2016-10-17Unix.stat on Windows returns timestamps which depend on the DST setting
  00069692[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
  00073845[OCaml]
Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
  00069514[OCaml]
OCaml typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
  0005759114[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
  00067047[OCaml]
OCaml general
featureacknowledged2016-10-11Expose more compiler-libs internals in Toploop
  00073713[OCaml]
OCaml documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
  0007383 [OCaml]
OCaml general
featurenew2016-10-10provide an explicit flag `-assume-no-mli` for reliable build tools
  00073244[OCaml]
OCaml typing
crashresolved (garrigue)2016-10-08Assert_failure typing/ctype.ml:1390:10
  00073802[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
featurenew2016-10-05support --external-tokens like menhir(ocamlyacc)
  000736312[OCaml]
OCaml documentation
minoracknowledged2016-10-05stdlib mli files documentation comments, start headers at level 1
  0007359 [OCaml]
OCaml typing
minorconfirmed2016-10-05With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message
  00049819[OCaml]
OCamlbuild (the tool)
featureresolved (xclerc)2016-10-05ocamlbuild/my_std.ml shouldn't call bash
  000695616[OCaml]
OCaml general
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
  00073759[OCaml]
OCaml documentation
textacknowledged2016-09-30Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
  00073781[OCaml]
OCaml typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
  00073743[OCaml]
OCaml typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
  0007367 [OCaml]
OCaml standard library
minoracknowledged2016-09-28testsuite/tests/lib-threads/pr5325.ml raises exception on Unix.shutdown
  00073611[OCaml]
OCaml general
minoracknowledged2016-09-28ocaml.warning does not work with ocaml.ppwarning
  000671411[OCaml]
OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
  000736012[OCaml]
OCaml typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
  000598549[OCaml]
OCaml typing
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
  000702818[OCaml]
OCaml typing
minoracknowledged2016-09-28GADT pattern exhaustiveness checking and abstract types
  [ First Prev  ... 3 4 5 6 7 8 9 10 11 12 13 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker