Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
resolved resolved (And Above)       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 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 / 502)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  000660810[OCaml]
typing
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
  00074103[OCaml]
ocamldoc
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
  00072902[OCaml]
ocamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
  00072111[OCaml]
typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
  000740514[OCaml]
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
  00073412[OCaml]
otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
  00074061[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  00073171[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
  00074034[OCaml]
standard library
majorresolved (gasche)2016-11-07Set.map does not work reliably
  00073952[OCaml]
typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
  000739113[OCaml]
typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
  00073934[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
  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
  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
  00049819[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (xclerc)2016-10-05ocamlbuild/my_std.ml shouldn't call bash
  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]
~DO NOT USE (was: 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
  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
  000719718[OCaml]
~DO NOT USE (was: 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
  00073503[OCaml]
ocamldoc
featureresolved (gasche)2016-09-13Generate a meta directive to improve mobile experience
  00073257[OCaml]
typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
  00040727[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
  00072452[OCaml]
documentation
minorresolved (gasche)2016-09-08documentation for warning 52
  00065091[OCaml]
~DO NOT USE (was: 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
  00067862[OCaml]
typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
  00060681[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2016-04-20Extend .odocl to allow file copy
  00070948[OCaml]
documentation
textresolved (gasche)2016-04-19We need a documentation for compiler warnings and errors
  00042543[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2016-04-19-dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
  00067891[OCaml]
documentation
minorresolved2016-04-18Debugging byte code and profiling native code documentation
   00064482[OCaml]
back end (clambda to assembly)
minorresolved (doligez)2016-04-05Strange interaction of classes and modules
  000591620[OCaml]
typing
minorresolved2015-12-11Compile time performance of opens
  00066435[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-12-06Warn equality with NaN
  00059757[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (frisch)2015-12-03Pushing the evaluation of default expression for optional arguments is not specified
  00067515[OCaml]
typing
featureresolved2015-12-02Introduce structural constants (literals) into Parsetree/Typedtree
  00050742[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2015-11-28wrong backtrace printed when mixing modules with and without debug info
  00058713[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-11-23accept piping typedtree
  00041665[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2015-11-22Incorrect module initialisation order with "external" declarations
  00059509[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved2015-07-02relocatable ocaml compiler
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker