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 (401 - 450 / 1296)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml typing
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
  0007388 [OCaml]
OCaml typing
featurenew2016-11-12Strenghten type propagation in -principal mode
OCaml backend (code generation)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
OCaml tools (ocaml{lex,yacc,dep,debug})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
OCaml standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
OCaml general
minoracknowledged2016-11-11Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  0007318 [OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
OCaml tools (ocaml{lex,yacc,dep,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
OCaml standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
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
OCaml standard library
majorresolved (gasche) 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
crashresolved (garrigue)2016-11-03Missing exhaustivity check for extensible variant
Ocaml optimization
majorresolved (shinwell)2016-11-03Large flambda-related performance regression between 4.03 and 4.04
OCaml typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
OCaml typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
OCaml typing
minoracknowledged2016-10-26Bug in type-checker with GADTs and inline records
OCaml standard library
minoracknowledged2016-10-26Format printf regression
Caml web site
majorfeedback (doligez) mantis login page is not SSL
OCaml typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
OCaml typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
OCaml typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
OCaml otherlibs
minoracknowledged2016-10-17Unix.stat on Windows returns timestamps which depend on the DST setting
OCaml tools (ocaml{lex,yacc,dep,debug})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
OCaml typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
OCaml typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
OCaml general
featureacknowledged2016-10-11Expose more compiler-libs internals in Toploop
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
OCaml typing
crashresolved (garrigue)2016-10-08Assert_failure typing/
OCaml tools (ocaml{lex,yacc,dep,debug})
featurenew2016-10-05support --external-tokens like menhir(ocamlyacc)
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
OCamlbuild (the tool)
featureresolved (xclerc)2016-10-05ocamlbuild/ shouldn't call bash
OCaml general
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
OCaml documentation
textacknowledged2016-09-30Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
OCaml typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
OCaml typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
  0007367 [OCaml]
OCaml standard library
minoracknowledged2016-09-28testsuite/tests/lib-threads/ raises exception on Unix.shutdown
OCaml general
minoracknowledged2016-09-28ocaml.warning does not work with ocaml.ppwarning
OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
OCaml typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
  [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker