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 (1 - 50 / 502)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00067389[OCaml]
typing
minorresolved (yallop)2017-09-25Check for the well-formedness of let rec earlier, before or at type checking
  000721510[OCaml]
typing
crashresolved (yallop)2017-09-25Unsoundness with GADTs and let rec
  00072317[OCaml]
typing
crashresolved (yallop)2017-09-25let-rec wellformedness check too permissive with nested recursive bindings
  00070721[OCaml]
configure and build/install
minorresolved (shindere)2017-09-24The testsuite doesn't run in parallel
  00076264[OCaml]
runtime system and C interface
minorresolved (gasche)2017-09-24Sys.executable_name on Linux does not use /proc/self/exe if full path exceeds 256 characters
  00076097[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (xleroy)2017-09-23Coq (coqtop.byte) hangs when run from ocamldebug
  00075876[OCaml]
configure and build/install
minorresolved (shindere)2017-09-21Parallel builds are broken in the ocamldoc/ subdirectory [was: lex/ directory]
  00075914[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-21"ld: warning: pointer not aligned at address ..."
  000763116[OCaml]
compiler driver
crashresolved (gasche)2017-09-20-linscan option crashes ocamlopt
  00037892[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
  00037861[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
  000377137[OCaml]
platform support (windows, cross-compilation, etc)
majorresolved (dra)2017-09-20Reading Unicode filenames fails on Windows
  00076275[OCaml]
documentation
minorresolved (lpw25)2017-09-154.06.0 Change : Format change must be marked as breaking.
  00076242[OCaml]
language features
minorresolved (frisch)2017-09-13Annotation [@warning "-32"] does not work correctly
  00076023[OCaml]
misc
minorresolved (gasche)2017-09-13Test suite crashes on aarch64
  000758517[OCaml]
back end (clambda to assembly)
blockresolved (shinwell)2017-09-13OCaml 4.04, 4.05-rc1 incompatible with snapshot binutils, when built with -fPIC, results in crashes
  00076206[OCaml]
compiler driver
minorresolved (garrigue)2017-09-13Typecore.force_delayed_checks does not run with -i option.
  00076017[OCaml]
typing
minorresolved (garrigue)2017-09-13It seems like a hidden non-generalized type variable remains in some inferred signatures, which leads to strange errors
  00076173[OCaml]
typing
minorresolved (garrigue)2017-09-13Ambiguous type escaping the scope of its equation
  00076182[OCaml]
typing
minorresolved (garrigue)2017-09-13Unexpected GADT error
  00076213[OCaml]
configure and build/install
blockresolved (dra)2017-09-06Can't figure out the right ./compile parameters for my platform
  00076144[OCaml]
middle end (typedtree to clambda)
minorresolved (lpw25)2017-09-04flambda optimizations depends on unrelated things
  00075864[OCaml]
language features
featureresolved (frisch)2017-08-31Request: evaluation order of 'let ... and ...'
  00075193[OCaml]
typing
minorresolved (garrigue)2017-08-29Incorrect rejection of program due to faux scope escape
  00047742[OCaml]
~DO NOT USE (was: OCaml general)
featureresolved (dim)2017-08-27Block with a custom comparison function
  00069885[OCaml]
standard library
featureresolved (frisch)2017-08-27Format: invert breakable and non-breakable spaces
  00058129[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (frisch)2017-08-27Adapt emacs mode to generate .annot from .cmt files
  00073845[OCaml]
middle end (typedtree to clambda)
minorresolved (frisch)2017-08-27the optimization of optional arguments never applies with -g
  00063681[OCaml]
back end (clambda to assembly)
featureresolved (shinwell)2017-08-27[github patch] add an option to generate empty .cmx files to avoid recompilation of dependencies
  0005759114[OCaml]
typing
minorresolved (garrigue)2017-08-27Using well-disciplined type-propagation to disambiguate label and constructor names
  000695616[OCaml]
~DO NOT USE (was: OCaml general)
minorresolved (garrigue)2017-08-27Module initialization not performed for extern-only lib (? segfault)
  00062177[OCaml]
back end (clambda to assembly)
tweakresolved (gasche)2017-08-27Compilation of record functional modification is costly
  00071209[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2017-08-27Extra .cfi_adjust_cfa_offset directive between ret and .cfi_endproc leads to incorrect unwind behavior on OS X
  00071187[OCaml]
back end (clambda to assembly)
majorresolved (gasche)2017-08-27Crashes when ocamlopt-generated code calls into Objective-C code that adds an exception handler
  00075882[OCaml]
documentation
trivialresolved (octachron)2017-08-22Document Format.pp_{set,get}_formatter_out_functions in the dedicated paragraph
  00076071[OCaml]
ocamldoc
minorresolved (octachron)2017-08-17unexpected warnings (produced by ocamldoc)
  00076046[OCaml]
documentation
minorresolved (octachron)2017-08-16Minor Ephemeron documentation fixes
  00076055[OCaml]
language features
minorresolved (yallop)2017-08-16GADTs, abstract types and the error "a type variable cannot be deduced..."
  00074783[OCaml]
ocamldoc
minorresolved (octachron)2017-08-09Duplicate module preambles are generated by ocamldoc
  00074543[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (dra)2017-08-06Mishandling of raw string literals by ocamlyacc
  00050615[OCaml]
typing
featureresolved (octachron)2017-08-06mutiple value components in signatures should produce a warning or an error
  00060892[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
featureresolved (octachron)2017-08-06improve ocamlbuild documentation
  00075947[OCaml]
runtime system and C interface
minorresolved (yallop)2017-08-03Should String_val return 'const char *' when safe-string is globally enabled?
  00063678[OCaml]
typing
featureresolved (garrigue)2017-08-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
  00075972[OCaml]
typing
featureresolved (frisch)2017-07-28[@@unboxed] for single-constructor, single-field GADT introducing existential type
  00070704[OCaml]
typing
featureresolved (lpw25)2017-07-27Unexported values can cause non-generalisable variables error
  00072817[OCaml]
ocamldoc
minorresolved (octachron)2017-07-24Incorrect .TH macro in Arg(3o)
  00075296[OCaml]
language features
featureresolved (frisch)2017-07-20Class definition syntax restrictions
  00062715[OCaml]
language features
featureresolved (frisch)2017-07-20'let open' in class expressions
  00075643[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (frisch)2017-07-19Unix.symlink does not support forward slashes under Windows
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker