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 (1351 - 1400 / 1740)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 23 24 25 26 27 28 29 30 31 32 33 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml typing
minorresolved (garrigue)2013-04-23GADT exhaustiveness check is broken
OCaml general
majorresolved (garrigue)2013-04-23Interaction between GADTs and polymorphic variants
OCaml typing
minorresolved (garrigue)2013-04-23GADT with polymorphic variants bug
OCaml typing
featureacknowledged (garrigue)2013-04-23there is no syntax to bind a type variable introduced in a gadt pattern
OCaml typing
majorresolved (garrigue)2013-04-23Incompatibility check assumes abstracted type constructors are injective
OCaml typing
minorresolved (garrigue)2013-04-23Assumed inequalities involving private rows
OCaml typing
minorresolved (garrigue)2013-04-23Variance information on private type abbreviations is not checked for module subtyping
OCaml typing
minorresolved (garrigue)2013-04-23Non-compatibility assumed between concrete types with same constructor
OCaml general
minorresolved (xleroy)2013-04-18Protect against marshaling 64-bit integers in bytecode
OCaml backend (code generation)
minorresolved (gasche)2013-04-17linking -big- files causes failure in ocamlc
OCaml general
minorresolved (frisch)2013-04-15Build failure on raspberry pi: "input_value: integer too large"
OCaml standard library
minorresolved (xclerc)2013-04-09Integer marshalling is inconsistent between architectures
OCaml backend (code generation)
minorresolved (frisch)2013-03-28ocamlopt option "-dclambda" doesn't work
OCaml backend (code generation)
minorresolved (frisch)2013-03-28-dclambda option is ignored
OCaml otherlibs
minorresolved (dim)2013-03-22Unix.system does not handle EINTR
minorresolved (gasche)2013-03-17caml-help.el (emacs caml-mode) fails
OCaml backend (code generation)
majorresolved (frisch)2013-02-25Modules can leak memory
OCaml typing
minorresolved (frisch)2013-02-22The error "label defined several times" complains about the wrong label
OCaml documentation
minorresolved (garrigue)2013-02-20tag-spec-full documentation seems to be incorrect
OCaml documentation
textresolved2013-02-19expr.{expr} form not documented
OCaml general
crashresolved (gasche)2013-02-18stack overflow compiling medium size list constants
OCaml typing
minorresolved (garrigue)2013-02-18Adding expressiveness to polymorphic variants
OCaml typing
featureresolved (gasche)2013-02-17Adding explicit recursive typing support
OCaml general
minorresolved (frisch)2013-02-07multiple "open" can become expensive in memory
OCaml typing
majorresolved (garrigue)2013-01-29Signature substitutions fail in submodules
OCaml standard library
featureresolved2013-01-28Add a timeout function to the standard library
OCaml general
minorresolved (frisch)2013-01-23-ppx based pre-processor executables could be able to accept arguments
OCaml general
crashresolved (frisch)2013-01-17input_char after close_in crashes ocaml (msvc runtime)
OCaml documentation
trivialresolved (xclerc)2013-01-16Missing information concerning the meaning of the returned value (Unix.lseek)
OCaml documentation
textresolved (xclerc)2013-01-16Genlex.make_lexer documention mentions the wrong exception
OCamlbuild (the tool)
minorresolved (xclerc)2013-01-16Support rectypes tag for mlpack
OCaml runtime system
majorresolved (frisch)2013-01-15GC Compaction is only partial
OCamlbuild (the tool)
majorresolved (gasche)2013-01-13ocamlbuild does not give correct -I flags when running menhir
OCaml standard library
featureresolved (frisch)2013-01-11No find operation in Set
OCaml documentation
minorresolved (garrigue)2013-01-10-rectypes no longer required, Manual lags.
OCaml typing
minorresolved (gasche)2013-01-08Uncaught exception with a typing error.
OCaml general
minorresolved (frisch)2013-01-05read_cmt -annot does not work for partial .cmt files (generated in case of a type error)
OCaml standard library
featurefeedback2013-01-04Set should have a way to access the "middle" element and its left and right nodes.
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
majorresolved (frisch)2013-01-02ocamldep does not take included module types into account.
OCaml general
crashresolved (doligez)2012-12-30Cannot build on Mac OS X 32-bit with Xcode 4.0.2
OCaml typing
minorresolved (garrigue)2012-12-27type equality a in polymorphic field
OCaml general
majorresolved (doligez)2012-12-19Fatal error: out of memory.
OCaml backend (code generation)
crashresolved (xleroy)2012-12-18Segfault when called from C on 64bit -fPIC (function with more than 8 parameters)
OCaml backend (code generation)
featureresolved (frisch)2012-12-14moving a function into an internal module slows down its use
OCaml typing
minorresolved (frisch)2012-12-05module T1 = T2 does not result in (module T1) = (module T2) as types
OCaml general
featureresolved (frisch)2012-12-05Optimizing boolean arrays
OCaml backend (code generation)
featureacknowledged2012-12-04Unboxing parameters and more kinds of local bindings
majorresolved (gasche)2012-12-03Camlp4 incorrectly expands a quotation containing an 'assert false' expression.
OCaml general
minorresolved (hongboz)2012-11-21Pprintast does not print 'private' flag on type declarations
OCaml general
featureresolved (gasche)2012-11-19Confused by Marshal type safety
  [ First Prev  ... 23 24 25 26 27 28 29 30 31 32 33 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker