Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any none       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
- Search  Advanced Filters ]

Viewing Issues (1 - 28 / 28)  Print Reports ]  CSV Export ]  Excel Export ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml backend (code generation)
majorresolved (meurer)2014-05-19assembler complains of invalid code
OCaml documentation
textresolved (meyer)2013-08-07Omission in caml_copy_int64 documentation
OCaml typing
crashresolved (garrigue)2013-07-20Assert failure during typing of class
OCaml backend (code generation)
crashresolved (doligez)2013-06-14ocamlopt generates segfaulting code when using [with] on recursive record with 6+ fields.
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2013-05-31ocamldep leaks temporary files in trunk
  0006006 [OCaml]
OCaml backend (code generation)
majorresolved (meurer)2013-05-08Cannot "ocamlopt" the expression "x mod 1" on ARM
OCaml backend (code generation)
majorresolved (meurer)2013-05-08Error: shift expression is too large
OCaml typing
majorclosed (garrigue)2013-04-23Misbehaviour with abstracted structural type used as GADT index
OCaml typing
minorresolved (garrigue)2013-04-23GADT exhaustiveness check is broken
OCaml typing
minorclosed (garrigue)2013-04-23GADT exhaustiveness check is still broken
OCaml typing
minorclosed (garrigue)2013-04-23[patch] Bad typing performances of big variant type declaration
OCaml typing
minorresolved (garrigue)2013-04-23GADT with polymorphic variants bug
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 standard library
minorresolved (xclerc)2013-04-09Integer marshalling is inconsistent between architectures
OCaml typing
majorresolved (garrigue)2013-01-29Signature substitutions fail in submodules
OCaml typing
crashclosed (garrigue)2013-01-26Exceptions raised by type checker
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 backend (code generation)
featureclosed (meurer)2012-12-10Patch to add ARM VFPv2 support
OCaml general
minorresolved (xclerc)2012-11-07[patch] Clambda switch printing is broken
OCaml typing
trivialresolved (garrigue)2012-10-30missing labels in generated applications in Typecore.type_argument
OCaml general
minorresolved (hongboz)2012-10-16Bug fixes for tools/
OCamlbuild (the tool)
minorresolved (xclerc)2012-10-10ocamlbuild, problems with %(name) syntax in the rules ~prod argument
OCamlbuild (the tool)
featureresolved (xclerc)2012-10-10Register exception printers for Unix.Unix_error and Dynlink.Error
OCaml runtime system
minorresolved2012-10-05Bug in marshaling of recursive functions


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker