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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker