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 (1051 - 1100 / 4604)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 17 18 19 20 21 22 23 24 25 26 27 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml standard library
blockclosed2013-05-29Syntax for printing @ using Format is completely incompatible between OCaml 3.12.1 and OCaml 4.00.1+dev
OCaml general
featureresolved (hongboz)2013-05-29Clean up the compiler library interface
OCaml general
minorclosed (xclerc)2013-05-17The testsuite cannot be run without installation
OCaml general
minorclosed (doligez)2013-05-17test suite cannot be ran without installing first
OCaml general
featureresolved (gasche)2013-05-17object-like notation for module functions
OCaml backend (code generation)
majorresolved (meurer)2013-05-10assembler complains of invalid code
OCaml general
majorclosed (meurer)2013-05-08New ARM backend
OCaml general
tweakclosed (protz)2013-05-08Upgrade to latest config.guess and config.sub.
  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 otherlibs
majorresolved (xleroy)2013-05-08Big_int.extract_big_int does not handle negative numbers properly
featureassigned (guesdon)2013-05-07Inline submodules, single-page HTML
OCaml typing
minorresolved (garrigue)2013-05-06Type-checker rejects cyclic type abbreviation even though -rectypes is activated
OCaml general
minorresolved (garrigue)2013-05-06ocaml -rectypes is unsound wrt module subtyping
OCaml typing
minorresolved (garrigue)2013-05-04Type information does not flow to "inherit" parameters
OCaml backend (code generation)
minorresolved (gasche)2013-05-01simple references sometimes slow
OCaml typing
minorresolved (frisch)2013-04-29Strange auto-reference in recursive modules in case of name conflict with a functor parameter
tweakresolved (frisch)2013-04-29patch to improve "wrong file naming" error messages
OCaml backend (code generation)
majorresolved (maranget)2013-04-26Crash when pattern-matching lazy values modifies the scrutinee
OCaml typing
majorresolved (garrigue)2013-04-26Assertion failure in type checker
OCaml typing
minorresolved (garrigue)2013-04-26Using well-disciplined type-propagation to disambiguate label and constructor names
OCaml general
minorclosed2013-04-25for i = 0 to max_int do () done loop ?
OCaml general
minorresolved (weis)2013-04-24%( %) in Format module seems to be broken
OCaml standard library
minorresolved (weis)2013-04-23Format module incorrectly parses format string allowing to escape arguments
OCaml general
minorclosed (garrigue)2013-04-23GADTs with object type indexes
OCaml general
minorclosed (garrigue)2013-04-23GADTs with object type indexes
OCaml typing
minorclosed (garrigue)2013-04-23Problem with GADTs and polymorphic variants
OCaml typing
featureconfirmed (garrigue)2013-04-23Support GADTs in or-patterns
OCaml typing
majorclosed (garrigue)2013-04-23Misbehaviour with abstracted structural type used as GADT index
OCaml typing
minorresolved (garrigue)2013-04-23compiler is unable to detect unused cases in pattern matching on GADT
OCaml typing
minorresolved (garrigue)2013-04-23GADT exhaustiveness check is broken
OCaml typing
minorclosed (garrigue)2013-04-23GADT exhaustiveness check is still broken
OCaml general
majorresolved (garrigue)2013-04-23Interaction between GADTs and polymorphic variants
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
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 general
crashresolved (gasche)2013-04-17Stack overflow in compiler
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 documentation
minorclosed2013-04-10the BNF for expression seems to be incorrect
OCaml standard library
minorresolved (xclerc)2013-04-09Integer marshalling is inconsistent between architectures
OCaml standard library
minorclosed (doligez)2013-04-09Random states are not marshallable across architectures
OCaml documentation
minorclosed (doligez)2013-04-04Missing case in GADT syntax
OCaml general
minorresolved (shinwell) not specialized
  0005966 [OCaml]
  [ First Prev  ... 17 18 19 20 21 22 23 24 25 26 27 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker