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 (701 - 750 / 1156)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 10 11 12 13 14 15 16 17 18 19 20 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00073934[OCaml]
-OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
  00073723[OCaml]
typing
minoracknowledged2016-10-26Bug in type-checker with GADTs and inline records
  00073819[OCaml]
typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
  00072984[OCaml]
typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
  00073906[OCaml]
typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
   0005998 [OCaml]
typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
  00069692[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]
typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
  0005759114[OCaml]
typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
  00073713[OCaml]
documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
  00073244[OCaml]
typing
crashresolved (garrigue)2016-10-08Assert_failure typing/ctype.ml:1390:10
  000736312[OCaml]
documentation
minoracknowledged2016-10-05stdlib mli files documentation comments, start headers at level 1
  00049819[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
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]
documentation
textacknowledged2016-09-30Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
  00073781[OCaml]
typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
  00073743[OCaml]
typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
  000671411[OCaml]
-OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
  000736012[OCaml]
typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
  000598549[OCaml]
typing
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
  00073541[OCaml]
configure and build/install
minorresolved2016-09-28'flexlink.opt' build failure
  00072637[OCaml]
platform support (windows, cross-compilation, etc)
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
  00073531[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc sometimes generates untagged text
  00073522[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should not generate p's white only whitespace in it
  00073511[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should really stop generating br tags
  00073211[OCaml]
typing
minorconfirmed (garrigue)2016-09-27Private type in signature clashes with type definition via functor instantiation
  000719718[OCaml]
-OCaml general
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
  00067165[OCaml]
typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
  000731411[OCaml]
typing
blockresolved (frisch)2016-09-21In 4.04 branch the unused module warning is unsound
  00073503[OCaml]
ocamldoc
featureresolved (gasche)2016-09-13Generate a meta directive to improve mobile experience
  00045182[OCaml]
ocamldoc
featureacknowledged2016-09-12Better location format for reporting errors in ocamldoc
  00073481[OCaml]
typing
minorconfirmed (garrigue)2016-09-10Private row variables can escape their scope
  00073257[OCaml]
typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
  00040727[OCaml]
-OCaml general
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
  00072452[OCaml]
documentation
minorresolved (gasche)2016-09-08documentation for warning 52
  0007240 [OCaml]
typing
minoracknowledged2016-09-08limitation on how the typer fills in missing optional arguments
  0007274 [OCaml]
ocamldoc
featureacknowledged2016-09-08a testsuite for ocamldoc
  0007320 [OCaml]
typing
featurenew2016-09-07Relaxing the value restriction some more
  00065091[OCaml]
-OCaml general
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
  00073074[OCaml]
back end (clambda to assembly)
crashresolved2016-09-02Crashes in garbage collector
  000648611[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
  000648412[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
  00073394[OCaml]
otherlibs
featureresolved (gasche)2016-09-01Support bigarray with 0 dimension as scalar
  00073332[OCaml]
ocamldoc
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
  0007338 [OCaml]
typing
textconfirmed2016-08-31meta-issue on confusing type error messages
  00067862[OCaml]
typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
  00073372[OCaml]
typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
  00073232[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  00068122[OCaml]
typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
  [ First Prev  ... 10 11 12 13 14 15 16 17 18 19 20 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker