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
OCaml standard library
featureconfirmed2016-12-02Truncating buffers could come in handy
OCaml typing
minorresolved (gasche)2016-12-02Type soundness with GADT and heterogeneous physical equality
OCaml otherlibs
majornew2016-11-30Bigarray's caml_ba_alloc doesn't try GC if malloc fails
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
OCaml windows
majorresolved (dra)2016-11-27When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'.
OCaml backend (code generation)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
OCaml windows
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
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
OCaml general
minorfeedback2016-11-25Labelled and optional argument type annotations ignored
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
OCaml typing
minorresolved (garrigue)2016-11-21Soundness bug with non-generalized type variable and functors
OCaml documentation
minornew2016-11-16Unix.single_write_substring is only available since OCaml 4.02
OCaml documentation
textnew2016-11-16update ocaml documentation
OCaml standard library
textnew2016-11-16organisation of modules in standard library
OCaml typing
minoracknowledged2016-11-15Inconsistent order when typing constraint patterns
OCaml general
majoracknowledged2016-11-14exceptions lose identity after marshalling
minornew2016-11-13HTML output of ocamldoc is strange
OCaml general
minoracknowledged2016-11-13ocamlc -custom should not link to curses
OCaml typing
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
OCaml standard library
minoracknowledged2016-11-12Provide %-primitives for operations on raw pointers
OCaml general
minoracknowledged2016-11-12Crashes when we write external definitions with wrong signatures
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
OCaml typing
minorconfirmed2016-11-12meta-issue on type and path propagation
OCaml typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
OCaml typing
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
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
OCaml typing
featurenew2016-11-12In or-patterns, propagate path disambiguation from one prefixed constructor to other constructors
OCaml backend (code generation)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
OCaml standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
OCaml runtime system
majoracknowledged2016-11-11ocamlrun built with Intel compilers segfaults
OCaml internal build/install (Makefiles, configure)
tweakacknowledged2016-11-11Build compiler distribution tools with $(EXE) extension from the start
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
OCaml general
minoracknowledged2016-11-11Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
OCaml windows exhibits two different behaviors on Windows vs Linux
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
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
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
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 ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker