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 (1051 - 1100 / 1458)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 17 18 19 20 21 22 23 24 25 26 27 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  0005759114[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-26Using well-disciplined type-propagation to disambiguate label and constructor names
  00051212[OCaml]
OCaml general
minorresolved (weis)2013-04-24%( %) in Format module seems to be broken
  00059735[OCaml]
OCaml standard library
minorresolved (weis)2013-04-23Format module incorrectly parses format string allowing to escape arguments
  00057361[OCaml]
OCaml typing
featureconfirmed (garrigue)2013-04-23Support GADTs in or-patterns
  00058537[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23compiler is unable to detect unused cases in pattern matching on GADT
  00058921[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23GADT exhaustiveness check is broken
  00057244[OCaml]
OCaml general
majorresolved (garrigue)2013-04-23Interaction between GADTs and polymorphic variants
  00059481[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23GADT with polymorphic variants bug
   00058674[OCaml]
OCaml typing
featureacknowledged (garrigue)2013-04-23there is no syntax to bind a type variable introduced in a gadt pattern
  00059811[OCaml]
OCaml typing
majorresolved (garrigue)2013-04-23Incompatibility check assumes abstracted type constructors are injective
  00059893[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23Assumed inequalities involving private rows
  00059931[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23Variance information on private type abbreviations is not checked for module subtyping
  00059971[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-23Non-compatibility assumed between concrete types with same constructor
  00059862[OCaml]
OCaml general
minorresolved (xleroy)2013-04-18Protect against marshaling 64-bit integers in bytecode
  00059575[OCaml]
OCaml backend (code generation)
minorresolved (gasche)2013-04-17linking -big- files causes failure in ocamlc
  000597712[OCaml]
OCaml general
minorresolved (frisch)2013-04-15Build failure on raspberry pi: "input_value: integer too large"
  00057931[OCaml]
OCaml standard library
minorresolved (xclerc)2013-04-09Integer marshalling is inconsistent between architectures
  00049655[OCaml]
OCaml general
minorresolved (shinwell)2013-03-31String.compare not specialized
  00059642[OCaml]
OCaml backend (code generation)
minorresolved (frisch)2013-03-28ocamlopt option "-dclambda" doesn't work
  00057841[OCaml]
OCaml backend (code generation)
minorresolved (frisch)2013-03-28-dclambda option is ignored
  00059532[OCaml]
OCaml otherlibs
minorresolved (dim)2013-03-22Unix.system does not handle EINTR
  00059543[OCaml]
Misc
minorresolved (gasche)2013-03-17caml-help.el (emacs caml-mode) fails
  00059321[OCaml]
OCaml backend (code generation)
majorresolved (frisch)2013-02-25Modules can leak memory
  00059292[OCaml]
OCaml typing
minorresolved (frisch)2013-02-22The error "label defined several times" complains about the wrong label
  00059267[OCaml]
OCaml documentation
minorresolved (garrigue)2013-02-20tag-spec-full documentation seems to be incorrect
  00050353[OCaml]
OCaml documentation
textresolved2013-02-19expr.{expr} form not documented
  00058441[OCaml]
OCaml general
crashresolved (gasche)2013-02-18stack overflow compiling medium size list constants
  00059241[OCaml]
OCaml typing
minorresolved (garrigue)2013-02-18Adding expressiveness to polymorphic variants
  00059238[OCaml]
OCaml typing
featureresolved (gasche)2013-02-17Adding explicit recursive typing support
  000587711[OCaml]
OCaml general
minorresolved (frisch)2013-02-07multiple "open" can become expensive in memory
  00059112[OCaml]
OCaml typing
majorresolved (garrigue)2013-01-29Signature substitutions fail in submodules
  00059081[OCaml]
OCaml standard library
featureresolved2013-01-28Add a timeout function to the standard library
  00059021[OCaml]
OCaml general
minorresolved (frisch)2013-01-23-ppx based pre-processor executables could be able to accept arguments
  00048879[OCaml]
OCaml general
crashresolved (frisch)2013-01-17input_char after close_in crashes ocaml (msvc runtime)
  00058401[OCaml]
OCaml documentation
trivialresolved (xclerc)2013-01-16Missing information concerning the meaning of the returned value (Unix.lseek)
  00058801[OCaml]
OCaml documentation
textresolved (xclerc)2013-01-16Genlex.make_lexer documention mentions the wrong exception
  00058911[OCaml]
OCamlbuild (the tool)
minorresolved (xclerc)2013-01-16Support rectypes tag for mlpack
  00058422[OCaml]
OCaml runtime system
majorresolved (frisch)2013-01-15GC Compaction is only partial
  00057634[OCaml]
OCamlbuild (the tool)
majorresolved (gasche)2013-01-13ocamlbuild does not give correct -I flags when running menhir
  000586411[OCaml]
OCaml standard library
featureresolved (frisch)2013-01-11No find operation in Set
  00058811[OCaml]
OCaml documentation
minorresolved (garrigue)2013-01-10-rectypes no longer required, Manual lags.
  00058764[OCaml]
OCaml typing
minorresolved (gasche)2013-01-08Uncaught exception with a typing error.
  00058163[OCaml]
OCaml general
minorresolved (frisch)2013-01-05read_cmt -annot does not work for partial .cmt files (generated in case of a type error)
  00057403[OCaml]
OCaml standard library
featurefeedback2013-01-04Set should have a way to access the "middle" element and its left and right nodes.
  00058703[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorresolved (frisch)2013-01-02ocamldep does not take included module types into account.
  000526811[OCaml]
OCaml general
crashresolved (doligez)2012-12-30Cannot build on Mac OS X 32-bit with Xcode 4.0.2
  00056731[OCaml]
OCaml typing
minorresolved (garrigue)2012-12-27type equality a in polymorphic field
  000571712[OCaml]
OCaml general
majorresolved (doligez)2012-12-19Fatal error: out of memory.
  00057076[OCaml]
OCaml backend (code generation)
crashresolved (xleroy)2012-12-18Segfault when called from C on 64bit -fPIC (function with more than 8 parameters)
  000554614[OCaml]
OCaml backend (code generation)
featureresolved (frisch)2012-12-14moving a function into an internal module slows down its use
  [ First Prev  ... 17 18 19 20 21 22 23 24 25 26 27 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker