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 / 1575)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00069753[OCaml]
OCaml standard library
featureconfirmed2016-12-02Truncating buffers could come in handy
  00074258[OCaml]
OCaml typing
minorresolved (gasche)2016-12-02Type soundness with GADT and heterogeneous physical equality
  00071003[OCaml]
OCaml otherlibs
majornew2016-11-30Bigarray's caml_ba_alloc doesn't try GC if malloc fails
  00072069[OCaml]
OCaml general
featurenew2016-11-30Stack overflow does not have exception backtrace
  0007424 [OCaml]
OCaml typing
minornew2016-11-29Typechecker diverges on a stupid program
  0007423 [OCaml]
OCaml runtime system
minornew2016-11-29caml_invalid_argument can't be used with dynamically allocated strings
  00074221[OCaml]
OCaml windows
majorresolved (dra)2016-11-27When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'.
  000741715[OCaml]
OCaml backend (code generation)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
  00072688[OCaml]
OCaml windows
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
  00074132[OCaml]
OCaml standard library
majornew2016-11-26marshaling of extensible variant types does not work
  0007421 [OCaml]
OCaml typing
minornew2016-11-25Soundness bug with GADTs and lazy
  00074204[OCaml]
OCaml general
minorfeedback2016-11-25Labelled and optional argument type annotations ignored
  00074192[OCaml]
OCaml windows
minorassigned (dra)2016-11-23crash of ocaml when I use Graphics
  0007418 [OCaml]
OCaml windows
minornew2016-11-22Use of the _WIN32_WINNT macro, minimal version of Windows supported by OCaml
  00074142[OCaml]
OCaml typing
minorresolved (garrigue)2016-11-21Soundness bug with non-generalized type variable and functors
  00074123[OCaml]
OCaml documentation
minornew2016-11-16Unix.single_write_substring is only available since OCaml 4.02
  00074153[OCaml]
OCaml documentation
textnew2016-11-16update ocaml documentation
  00074163[OCaml]
OCaml standard library
textnew2016-11-16organisation of modules in standard library
  00073442[OCaml]
OCaml typing
minoracknowledged2016-11-15Inconsistent order when typing constraint patterns
  00049787[OCaml]
OCaml general
majoracknowledged2016-11-14exceptions lose identity after marshalling
  00074112[OCaml]
OCamldoc
minornew2016-11-13HTML output of ocamldoc is strange
  00067356[OCaml]
OCaml general
minoracknowledged2016-11-13ocamlc -custom should not link to curses
  000660810[OCaml]
OCaml typing
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
  00072525[OCaml]
OCaml standard library
minoracknowledged2016-11-12Provide %-primitives for operations on raw pointers
   00074082[OCaml]
OCaml general
minoracknowledged2016-11-12Crashes when we write external definitions with wrong signatures
  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
   00074091[OCaml]
OCaml typing
minorconfirmed2016-11-12meta-issue on type and path propagation
  00072111[OCaml]
OCaml typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
  00067842[OCaml]
OCaml typing
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
  00073897[OCaml]
OCaml typing
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
  0007388 [OCaml]
OCaml typing
featurenew2016-11-12Strenghten type propagation in -principal mode
  00073862[OCaml]
OCaml typing
featurenew2016-11-12In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors
  000740514[OCaml]
OCaml backend (code generation)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
  00073982[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
  00074007[OCaml]
OCaml standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
  00070006[OCaml]
OCaml runtime system
majoracknowledged2016-11-11ocamlrun built with Intel compilers segfaults
  00073122[OCaml]
OCaml internal build/install (Makefiles, configure)
tweakacknowledged2016-11-11Build compiler distribution tools with $(EXE) extension from the start
  00073412[OCaml]
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
  00074074[OCaml]
OCaml general
minoracknowledged2016-11-11Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
  00074061[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  00073423[OCaml]
OCaml windows
minoracknowledged2016-11-08Unix.read exhibits two different behaviors on Windows vs Linux
  00074012[OCaml]
OCaml typing
minoracknowledged2016-11-08regression in type inference with 4.04.0+beta2
  0007318 [OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
  00073162[OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
  00073171[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
  00070992[OCaml]
OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
  00070112[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2016-11-08ocamldep: Argument list too long
  0007005 [OCaml]
OCaml general
tweakacknowledged2016-11-08Deprecation warnings for types should not be emitted for the definition itself
  00069954[OCaml]
OCaml standard library
featureacknowledged2016-11-08Add functions related to type ('a, 'b) result
  [ 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