Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
resolved resolved (And Above)       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 (451 - 500 / 888)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml backend (code generation)
minorresolved (frisch)2014-03-06Constants emitted several times
OCaml typing
minorresolved (garrigue)2014-02-25`is_fixed_type` does not take account of nested aliases
OCamlbuild (the tool)
minorresolved (gasche)2014-02-25mlpack file not included correctly
OCaml typing
featureresolved (garrigue)2014-02-12Resolving record fields using all specified fields
OCaml runtime system
minorresolved (dim)2014-02-08BLocking stubs not releasing the runtime in stdlib and unix
OCaml backend (code generation)
minorresolved (maranget)2014-02-07match branches wrongly merged
OCaml typing
minorresolved (garrigue)2014-02-06type 'a x = [> ] as 'a and 'a t = { z : 'a x } doesn't compile
tweakresolved (guesdon)2014-01-28ocamldoc super/subscript style is an unreadable 4 pixels
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (xclerc)2014-01-23[PATCH] Include more useful information in ocamldebug "bt"
OCaml standard library
minorresolved (xclerc)2014-01-23Unix.shutdown_connection should be commented with more details
OCaml typing
majorresolved (garrigue)2014-01-23Types not inferred properly for fields on record overrides
OCaml general
minorresolved (doligez)2014-01-22Incompatibility between ocamllex and compiler
OCaml general
featureresolved (gasche)2014-01-18Big_int and Num "of_string" functions do not work with hexadecimal literals
OCaml otherlibs
featureresolved (gasche)2014-01-09polymorphic Bigarray.kind_eq
OCaml backend (code generation)
crashresolved2014-01-06native binaries crash in top-level exception handler
OCaml general
minorresolved2013-12-26Incomplete native backtraces on armel
OCaml backend (code generation)
crashresolved2013-12-18Compiler crash when turning on -unsafe option.
OCaml backend (code generation)
majorresolved (xleroy)2013-12-18inlining of GADT matches generates invalid assembly
OCaml typing
minorresolved (garrigue)2013-12-18Soundness bug related to type constraints
OCamlbuild (the tool)
crashresolved (xclerc)2013-12-17Error: Unbound module Myocamlbuild_config with r14353
OCaml general
featureresolved (gasche)2013-12-16ocaml (toplevel) should have a -no-init option
OCaml general
featureresolved (frisch)2013-12-16Relax syntax for let binding in order to simplify type-constraint
minorresolved (guesdon)2013-12-09hides ocamldoc comments on variant constructors
OCaml typing
minorresolved (gasche)2013-12-07Strange restriction on unification between rigid and flexible variables
OCaml typing
minorresolved (frisch)2013-12-05Bug with first-class modules and includes
OCaml general
majorresolved (maranget)2013-12-05Exception rebinding breaks pattern matching
OCaml general
featureresolved (frisch)2013-12-05`for _ = e1 to e2` syntax is not allowed
OCaml backend (code generation)
featureresolved (frisch)2013-12-04Efficient creation of float arrays
OCaml typing
majorresolved (garrigue)2013-12-02Open Polymorphic Variants, difference between 4.00.1 and 4.01.0
majorresolved2013-11-28Coq doesn't compile in debug mode
OCaml general
majorresolved2013-11-28make world.opt seems to crash on tip of trunk on up-to-date OS X
OCaml general
featureresolved (frisch)2013-11-26A faster version of "raise" which does not maintain the backtrace
OCaml typing
minorresolved (garrigue)2013-11-19Assumed inequality between paths involving functor arguments
OCaml typing
minorresolved (garrigue)2013-11-18Strange error with abstract module types and functors
OCaml general
featureresolved (frisch)2013-11-13Extending exception tag blocks
OCaml general
featureresolved (frisch)2013-11-13Structural equality should treat exception specifically
OCaml backend (code generation)
minorresolved (frisch)2013-11-13Lifting allocation of constant exception constructors?
OCaml typing
minorresolved (garrigue)2013-11-13Issue with type information flowing through a variant pattern
OCaml backend (code generation)
majorresolved (shinwell)2013-11-11Solaris Sparc build broken due to deprecated & operator in asmcomp/ (generated from asmcomp/sparc/emit.mlp)
OCaml general
blockresolved2013-11-08Compilation of ocamlopt fails on sparc
OCaml standard library
majorresolved (meurer)2013-11-04Native compilation of fails on RPi
OCaml typing
minorresolved (lpw25)2013-11-04GADT patterns allow type mismatches in some type parameters
OCaml otherlibs
majorresolved (protz)2013-11-04Unix.mktime fails or is incorrect on Windows
minorresolved (hongboz)2013-10-28Wront error location with CamlP4
OCaml general
majorresolved (garrigue)2013-10-28OCaml compiler loops on an example using GADTs
OCaml typing
minorresolved (gasche)2013-10-28Weird error on a "with module"
OCaml general
featureresolved2013-10-07Allow sequential lets without "in" also in expressions
OCamlbuild (the tool)
minorresolved (gasche)2013-10-01There is no way to disable recursion/traversal
OCaml typing
minorresolved (frisch)2013-10-01Incorrect warning 12 for character ranges
OCaml general
minorresolved (garrigue)2013-09-26Incorrect warning about unused match cases with first-class modules in patterns
  [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker