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 / 1553)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
Caml web site
majorfeedback (doligez) mantis login page is not SSL
OCaml typing
minorconfirmed (garrigue)2016-10-20Nested immediate object referring to outer self does not typecheck
OCaml typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
OCaml documentation
minorassigned (doligez)2016-10-20missing keyword in index
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
minoracknowledged2016-10-18Bug in type-checker with GADTs and inline records
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 backend (code generation)
minorassigned (chambart)2016-10-16Ocamlopt + flambda requires a lot of memory to compile large array literal expressions
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
OCaml general
minoracknowledged2016-10-05Support on Minix3
  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 tools (ocaml{lex,yacc,dep,browser,debug})
majorfeedback2016-10-04Include OCaml lib directory in search path in ocamlmklib
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...
  0007370 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-09-30ocamldep 4.04.0+beta2+flambda segfault when building base
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
OCaml standard library
minoracknowledged2016-09-28Format printf regression
  0007377 [OCaml]
OCaml general
minoracknowledged2016-09-28-std=gnu99 causes annoying warnings
  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 documentation
minoracknowledged2016-09-28Review install of mli and cmti files
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
OCaml typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
OCaml typing
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
OCaml typing
minoracknowledged2016-09-28GADT pattern exhaustiveness checking and abstract types
  0007356 [OCaml]
OCaml documentation
minoracknowledged2016-09-28flambda changes to finalisability should be documented
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker