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 (1 - 50 / 1552)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml documentation
minoracknowledged2016-10-27No clearly correct way to handle Failure exceptions from int_of_string and similar functions
OCaml typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
  0007395 [OCaml]
OCaml typing
minornew2016-10-27polymorphism + phantom types regression
  0007394 [OCaml]
OCaml documentation
minornew2016-10-27Docs dangerously encourage users to catch Failure _
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-10-27ocamldep 4.04.0+beta2+flambda segfault when building base
OCaml documentation
minorassigned (doligez)2016-10-27missing keyword in index
OCaml general
minoracknowledged2016-10-27-std=gnu99 causes annoying warnings
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
OCaml general
minoracknowledged2016-10-26Support on Minix3
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorfeedback2016-10-26Include OCaml lib directory in search path in ocamlmklib
OCaml otherlibs
majorassigned (doligez)2016-10-26Str.regexp raises "Invalid_argument: index out of bounds"
OCaml general
minorconfirmed2016-10-26Inflexibility of unboxed types in recursive declarations
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
featureacknowledged (garrigue)2016-10-19Can type-information flow be strengthened for non-recursive lets?
  0007344 [OCaml]
OCaml typing
minornew2016-10-19Inconsistent order when typing constraint patterns
OCaml typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
  0007388 [OCaml]
OCaml typing
featurenew2016-10-18Strenghten type propagation in -principal mode
OCaml typing
minoracknowledged (garrigue)2016-10-18Lax typing for functional record updates
OCaml otherlibs
minoracknowledged2016-10-17Unix.stat on Windows returns timestamps which depend on the DST setting
OCaml tools (ocaml{lex,yacc,dep,browser,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
featurenew2016-10-17In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors
OCaml general
featureacknowledged (frisch)2016-10-16warning on use of an identifier shadowed by module open -- feature implemented, but refinements still possible
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
  0007345 [OCaml]
OCaml backend (code generation)
minoracknowledged2016-10-13Inline record matches cause closure allocation
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/
crashresolved (garrigue)2016-10-07Missing exhaustivity check for extensible variant
OCaml tools (ocaml{lex,yacc,dep,browser,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
minorconfirmed2016-10-05significant compilation time increased after minor tweaks
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
  0007366 [OCaml]
OCaml runtime system
minoracknowledged2016-09-28testsuite/tests/lib-threads/ fails sometimes
OCaml general
minoracknowledged2016-09-28ocaml.warning does not work with ocaml.ppwarning
OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
OCaml general
minoracknowledged2016-09-28Precedence of user-defined |... and &... counter-intuitive in some cases
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker