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 (751 - 800 / 1156)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 11 12 13 14 15 16 17 18 19 20 21 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00063414[OCaml]
ocamldoc
minorresolved (guesdon)2016-06-15-colorize-code causes unnecessary < br> tags to be added to < pre> blocks
  000647523[OCaml]
-OCaml general
majorresolved (whitequark)2016-06-14-o is ignored for C files
  00072665[OCaml]
back end (clambda to assembly)
minorresolved (gasche)2016-06-14Duplicate symbol errors when running ocamlopt
  00070742[OCaml]
typing
featureassigned (garrigue)2016-06-07There is no easy way to give names to existential variables introduced by GADT pattern-matching
  000722611[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2016-06-04Location.none is broken with the LLVM assembler in 4.03.0+beta2
  00072694[OCaml]
typing
crashresolved (garrigue)2016-06-03Segfault from conjunctive constraints
  00072602[OCaml]
typing
crashresolved (garrigue)2016-06-02GADT + subtyping crash
  00040236[OCaml]
-OCaml general
featureresolved2016-05-14usleep feature
  00072376[OCaml]
-OCaml general
tweakresolved (gasche)2016-05-11change 12-tuples in typing/typeclass.mli into records for readability
  00066566[OCaml]
-OCaml general
featureresolved (garrigue)2016-05-10Support Module.[], .{}, etc. in pattern matches
  00072482[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (gasche)2016-05-06ocamldep: order of -open options
  00071463[OCaml]
documentation
tweakresolved (gasche)2016-05-02Use in-tree ocaml/ocamlc within the manual
  00072395[OCaml]
-OCaml general
textresolved (gasche)2016-04-26Warning 42: a case where a type constraint does not help a disambiguation
  00066514[OCaml]
typing
minorresolved (garrigue)2016-04-25Failing component lookup
  00072302[OCaml]
-OCaml general
minorresolved (garrigue)2016-04-22Scrutinee discarded in match with only refutation cases
  00065005[OCaml]
standard library
featurefeedback2016-04-21New functions for bytes/strings
  00060681[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (gasche)2016-04-20Extend .odocl to allow file copy
  00072341[OCaml]
typing
crashresolved (garrigue)2016-04-20Compatibility check wrong for abstract type constructors
  00069921[OCaml]
typing
minorresolved (garrigue)2016-04-20Segfault from bug in GADT/module typing
  000722017[OCaml]
runtime system
minorresolved (gasche)2016-04-20Memory leak in ocaml runtime with backtraces+threads
  00070948[OCaml]
documentation
textresolved (gasche)2016-04-19We need a documentation for compiler warnings and errors
  00042543[OCaml]
-OCaml general
minorresolved2016-04-19-dllib options implicit in .cma should not be ignored when using -use-runtime or -use-prims
  000546121[OCaml]
-OCaml general
minorconfirmed (lefessan)2016-04-19Double linking of bytecode modules
  00058431[OCaml]
ocamldoc
minorassigned (guesdon)2016-04-18Ocamldoc: "Module or module type ?? not found" when including a functor application
  00067891[OCaml]
documentation
minorresolved2016-04-18Debugging byte code and profiling native code documentation
  000612019[OCaml]
otherlibs
minorresolved (gasche)2016-04-17Windows links
  00072295[OCaml]
typing
minorresolved (garrigue)2016-04-15type equation conceals polymorphic variants subtyping
  00072222[OCaml]
typing
majorresolved (garrigue)2016-04-15Escaped existential type
  00069166[OCaml]
-OCaml general
minorfeedback2016-04-15warning 50 (documentation comments) too strict
  00069212[OCaml]
otherlibs
minorresolved2016-04-15Behaviour of Unix.{gmtime,localtime} on negative timestamps.
  00070929[OCaml]
documentation
majorresolved (frisch)2016-04-14Document new features in 4.03
  00072177[OCaml]
otherlibs
blockresolved (doligez)2016-04-14MinGW: Unix.symlink dose not raise an exception even when Unix.has_symlink () = false
  00066067[OCaml]
-Ocaml optimization
minorresolved2016-04-13Allocating intermediate floats when ignoring floats.
  00071964[OCaml]
-OCaml general
majorresolved (gasche)2016-04-13does not print "let open" correctly in "if"
  0007224 [OCaml]
otherlibs
featurenew2016-04-12Sparse bigarray support
  00072188[OCaml]
standard library
featurenew2016-04-11Float printing and round-trippability
  000468822[OCaml]
-OCaml general
minorresolved (frisch)2016-04-08Special floating-point values aren't converted to strings correctly under Windows
  00062963[OCaml]
documentation
tweakresolved2016-04-08inconsistent behavior of float_of_string (compare to "ints"_of_string)
  00072143[OCaml]
typing
minorresolved (garrigue)2016-04-08Assertion failure in Env.add_gadt_instances
  0006491 [OCaml]
typing
minoracknowledged2016-04-06Recursive modules do not correctly handle class inheritance
  0006492 [OCaml]
typing
minoracknowledged2016-04-06Recursive modules do not correctly handle variance
   00064482[OCaml]
back end (clambda to assembly)
minorresolved (doligez)2016-04-05Strange interaction of classes and modules
  00063952[OCaml]
typing
minorresolved (garrigue)2016-04-05Incorrect exhaustiveness warning with GADTs
  00063813[OCaml]
-OCaml general
featurefeedback2016-04-05Report unbound variables before other errors
  00072098[OCaml]
standard library
minorresolved (dim)2016-04-04Unexpected interference between create-process(fork) and at-exit
  00072071[OCaml]
typing
minorresolved (garrigue)2016-04-02Wrong error message for unbound module in 4.03+beta1
  00072042[OCaml]
typing
featureresolved (lpw25)2016-04-01Module aliases not expanded when comparing abstract module types
  00071994[OCaml]
typing
majorresolved (garrigue)2016-03-30OCaml 4.03.0+beta1 rejects previously accepted cast
  00071814[OCaml]
typing
minorresolved (garrigue)2016-03-30Misleading error message with GADTs and polymorphic variants
  00071352[OCaml]
-OCaml general
minorresolved (garrigue)2016-03-30Surprising "This ground coercion is not principal" warning
  [ First Prev  ... 11 12 13 14 15 16 17 18 19 20 21 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker