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 (1351 - 1400 / 4863)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 23 24 25 26 27 28 29 30 31 32 33 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00057851[OCaml]
OCaml typing
majorclosed (garrigue)2013-04-23Misbehaviour with abstracted structural type used as GADT index
  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
  00059061[OCaml]
OCaml typing
minorclosed (garrigue)2013-04-23GADT exhaustiveness check is still broken
  00057244[OCaml]
OCaml general
majorresolved (garrigue)2013-04-23Interaction between GADTs and polymorphic variants
  00059443[OCaml]
OCaml typing
minorclosed (garrigue)2013-04-23[patch] Bad typing performances of big variant type declaration
  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"
  00059782[OCaml]
OCaml documentation
minorclosed2013-04-10the BNF for expression seems to be incorrect
  00057931[OCaml]
OCaml standard library
minorresolved (xclerc)2013-04-09Integer marshalling is inconsistent between architectures
  00055751[OCaml]
OCaml standard library
minorclosed (doligez)2013-04-09Random states are not marshallable across architectures
  00059722[OCaml]
OCaml documentation
minorclosed (doligez)2013-04-04Missing case in GADT syntax
  00049655[OCaml]
OCaml general
minorresolved (shinwell)2013-03-31String.compare not specialized
  0005966 [OCaml]
Misc
featureclosed2013-03-29Spam
  0005967 [OCaml]
Misc
textclosed2013-03-29Spam
  0005968 [OCaml]
Incoming
minorclosed2013-03-29Spam
  0005969 [OCaml]
Incoming
minorclosed2013-03-29Spam
  0005970 [OCaml]
Incoming
minorclosed2013-03-29Spam
  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
  00058054[OCaml]
OCaml typing
minorclosed (frisch)2013-03-26Assert failure with warning 34 on pre-processed file
  00059153[OCaml]
OCaml standard library
featureclosed2013-03-24No ftell in the Unix module while there is an lseek
  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
  00059281[OCaml]
OCaml documentation
trivialclosed2013-02-26Missing space between words in manual page for ocamlmktop
  00052871[OCaml]
OCaml general
minorclosed (xleroy)2013-02-25optimization of partial applications
  00059318[OCaml]
OCaml backend (code generation)
tweakclosed2013-02-25Inefficient record duplication
  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
  00058751[OCaml]
OCaml documentation
textclosed2013-02-19Missing production in BNF for constr-decl
  00058501[OCaml]
OCaml documentation
minorclosed2013-02-19Polymorphic variant typo in Manual
  00058354[OCaml]
OCaml general
minorclosed (garrigue)2013-02-19Nonoptional labeled arguments can be passed with '?'. This is confusing
  00058441[OCaml]
OCaml general
crashresolved (gasche)2013-02-18stack overflow compiling medium size list constants
  00044052[OCaml]
OCaml general
crashclosed2013-02-18ocamlopt, ocaml, ocamlc, Stack Overflow on large hardcoded arrays.
  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
  00059221[OCaml]
OCaml documentation
minorclosed2013-02-16Missing expressions in the manual
  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
  00059071[OCaml]
OCaml typing
crashclosed (garrigue)2013-01-26Exceptions raised by type checker
  [ First Prev  ... 23 24 25 26 27 28 29 30 31 32 33 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker