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 (1151 - 1200 / 1586)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 19 20 21 22 23 24 25 26 27 28 29 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml standard library
crashresolved2013-06-12no bound checks anymore on some array operations
OCaml general
crashresolved (lefessan)2013-06-11segfault in camomile with frame pointers enabled
OCaml documentation
minorresolved2013-06-11Signalhandling not detailed enough: sigaction(2) not mentioned anywhere
OCaml documentation
minorresolved2013-06-10Undocumented portability of Marshal.to_channel
OCaml general
minorresolved2013-06-10sqrt(-0.) does not yield -0.
OCaml backend (code generation)
majorresolved2013-06-10[patch] Matching.inline_lazy_force need eta expansion
OCaml general
minorresolved (frisch)2013-06-09a backward-compatible way of adding new syntactic construct
OCaml backend (code generation)
featureresolved (lefessan)2013-06-09[patch] Generate sqrtsd opcode instead of external call to sqrt on amd64
OCaml runtime system
majorresolved (xleroy)2013-06-09Illegal recovery of 2 stack overflows with ocamlopt in Mac OS
OCaml standard library
featureacknowledged (doligez)2013-06-07request for Weak.set_some function
OCaml general
featureresolved2013-06-07pattern-matching of arrays in lets should not print warnings
OCaml backend (code generation)
minorresolved (xleroy)2013-06-07Inlining misses some simple simplifications
OCaml standard library
minorresolved (frisch)2013-06-06Random.self_init problem under Windows
OCaml backend (code generation)
tweakresolved2013-06-06Unnecessary calls to caml_modify
OCaml typing
majorresolved (frisch)2013-06-04Dramatic performance increase when compiling with annotations
OCaml documentation
minorresolved (doligez)2013-06-03Checksum mismatch for ocaml-3.12-refman.html.tar.gz
OCaml standard library
blockresolved (hongboz)2013-06-02fix build in trunk SVN
OCaml runtime system
minorresolved (dim)2013-05-31caml_leave_blocking section and errno corruption
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2013-05-31ocamldep leaks temporary files in trunk
OCaml general
featureresolved (hongboz)2013-05-29Clean up the compiler library interface
OCaml general
featureresolved (gasche)2013-05-17object-like notation for module functions
  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 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 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 typing
featureconfirmed (garrigue)2013-04-23Support GADTs in or-patterns
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 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 general
minorresolved (shinwell) not specialized
OCaml backend (code generation)
minorresolved (frisch)2013-03-28ocamlopt option "-dclambda" doesn't work
  [ First Prev  ... 19 20 21 22 23 24 25 26 27 28 29 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker