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 (1201 - 1250 / 4730)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 20 21 22 23 24 25 26 27 28 29 30 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00059652[OCaml]
OCaml typing
minorresolved (frisch)2013-04-29Strange auto-reference in recursive modules in case of name conflict with a functor parameter
  00058321[OCaml]
Misc
tweakresolved (frisch)2013-04-29patch to improve "wrong file naming" error messages
  000599214[OCaml]
OCaml backend (code generation)
majorresolved (maranget)2013-04-26Crash when pattern-matching lazy values modifies the scrutinee
  000584810[OCaml]
OCaml typing
majorresolved (garrigue)2013-04-26Assertion failure in type checker
  0005759114[OCaml]
OCaml typing
minorresolved (garrigue)2013-04-26Using well-disciplined type-propagation to disambiguate label and constructor names
  00004152[OCaml]
OCaml general
minorclosed2013-04-25for i = 0 to max_int do () done loop ?
  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
  00054251[OCaml]
OCaml general
minorclosed (garrigue)2013-04-23GADTs with object type indexes
  00054271[OCaml]
OCaml general
minorclosed (garrigue)2013-04-23GADTs with object type indexes
  00056891[OCaml]
OCaml typing
minorclosed (garrigue)2013-04-23Problem with GADTs and polymorphic variants
  00057361[OCaml]
OCaml typing
featureconfirmed (garrigue)2013-04-23Support GADTs in or-patterns
  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
  [ First Prev  ... 20 21 22 23 24 25 26 27 28 29 30 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker