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 (851 - 900 / 1191)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 13 14 15 16 17 18 19 20 21 22 23 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00057991[OCaml]
standard library
featureresolved (frisch)2016-12-06Array.findi, Array.exists
  00047214[OCaml]
standard library
featureresolved (doligez)2016-12-06Lazy is not threadsafe
  00055664[OCaml]
standard library
featureresolved (frisch)2016-12-06Duplicate Dynlink.is_native as Sys.is_native
  00072525[OCaml]
standard library
featureacknowledged2016-12-06Provide %-primitives for operations on raw pointers
  00073273[OCaml]
runtime system and C interface
minorresolved2016-12-05Remove -Werror from installed Makefile.config
  00073772[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved2016-12-05-std=gnu99 causes annoying warnings
  00073693[OCaml]
otherlibs
majorresolved (doligez)2016-12-04Str.regexp raises "Invalid_argument: index out of bounds"
  00074132[OCaml]
standard library
majorresolved2016-12-03marshaling of extensible variant types does not work
  00074221[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (dra)2016-11-27When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'.
  000741715[OCaml]
back end (clambda to assembly)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
  00072688[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
  00074192[OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-23crash of ocaml when I use Graphics
  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
  00067842[OCaml]
typing
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
  00073897[OCaml]
typing
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
  000740514[OCaml]
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
  00074007[OCaml]
standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
  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
  00069425[OCaml]
standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
  00074034[OCaml]
standard library
majorresolved (gasche)2016-11-07Set.map does not work reliably
  0007399 [OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-04Testsuite running on Windows should verify line-endings of source files are correct
  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
   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
  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
  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]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
  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
  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
  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
  [ First Prev  ... 13 14 15 16 17 18 19 20 21 22 23 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker