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 (1 - 48 / 48)  Print Reports ]  CSV Export ]  Excel Export ]
    PID # CategorySeverityStatusUpdatedSummary
runtime system and C interface
minorconfirmed2017-10-23caml_strdup is no longer available without defining CAML_INTERNALS
runtime system and C interface
minorresolved (shinwell)2017-10-20Compilation of "spacetime_snapshot.c" breaks if configured with `-force-safe-string'
lexing and parsing
minorresolved (gasche)2017-10-20Breaking change in parser (probably related to GPR#1064 - Extended indexing operators)
runtime system and C interface
majorresolved (shinwell)2017-10-20File "", line 63, characters 6-12: Assertion failed.
minorassigned (garrigue)2017-10-19With mix of packs and objects, ocamlc accepts wrong code or displays wrong error message
minorresolved2017-10-19Undocumented ocamlc and ocamlopt link behaviour difference
majorresolved (frisch)2017-10-19typer can wrongly eta-expand effectful expressions
lexing and parsing
crashresolved (doligez)2017-10-19Out-of-date camlp4 causes segfault in ocamlopt.opt
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (octachron)2017-10-19ocamldep loops
minorresolved (frisch)2017-10-13False positives 'unused type/constructor/value' using 4.06.0+beta1
middle end (typedtree to clambda)
minorresolved (chambart)2017-10-13flambda does not collapse pattern matching in some cases
back end (clambda to assembly)
minorresolved (stedolan)2017-10-11afl-fuzz reports 16.00% stability for a simple constant object expression
minorresolved (xleroy)2017-10-11Unix.execvpe issues since 4.05.0
compiler driver
minorresolved (frisch)2017-10-10ocaml.warning does not work with ocaml.ppwarning
tweakresolved (lpw25)2017-10-10Warning 33 incorrectly triggered in recursive module
majorresolved (gasche)2017-10-09Infinite loop when typing Frama-C (4.06-only regression)
back end (clambda to assembly)
blockresolved (xleroy)2017-10-07ocamlopt generates incorrect code on arm
platform support (windows, cross-compilation, etc)
crashresolved (frisch)2017-10-04segfault on windows in dynlink'd module's entry routine
configure and build/install
minorresolved (gasche)2017-10-044.06.0 breaks compatibility for users of $(ocamlc -config) in scripts to get C compilation flags
lexing and parsing
minorresolved (gasche)2017-10-04Expressions like 3#0;; are ignored by the toplevel and the compiler
emacs mode
minorresolved2017-09-30Emacs mode uses variable that has been removed from Emacs 25
compiler driver
minorresolved2017-09-30Toplevel "ocaml -plugin" is not usable
platform support (windows, cross-compilation, etc)
majorresolved2017-09-28Mingw64 + threads + system exception raised through longjmp() = crash
minorresolved (yallop)2017-09-25Check for the well-formedness of let rec earlier, before or at type checking
crashresolved (yallop)2017-09-25Unsoundness with GADTs and let rec
crashresolved (yallop)2017-09-25let-rec wellformedness check too permissive with nested recursive bindings
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (xleroy)2017-09-23Coq (coqtop.byte) hangs when run from ocamldebug
configure and build/install
minorresolved (shindere)2017-09-21Parallel builds are broken in the ocamldoc/ subdirectory [was: lex/ directory]
platform support (windows, cross-compilation, etc)
minorresolved2017-09-21"ld: warning: pointer not aligned at address ..."
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
platform support (windows, cross-compilation, etc)
minorresolved2017-09-20Addition to bug 0003771
platform support (windows, cross-compilation, etc)
majorresolved (dra)2017-09-20Reading Unicode filenames fails on Windows
minorresolved (lpw25)2017-09-154.06.0 Change : Format change must be marked as breaking.
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
configure and build/install
blockresolved (dra)2017-09-06Can't figure out the right ./compile parameters for my platform
minorresolved (octachron)2017-08-09Duplicate module preambles are generated by ocamldoc
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (dra)2017-08-06Mishandling of raw string literals by ocamlyacc
runtime system and C interface
minorresolved (yallop)2017-08-03Should String_val return 'const char *' when safe-string is globally enabled?
tweakresolved (frisch)2017-07-18Deprecation warnings for types should not be emitted for the definition itself
minorresolved (garrigue)2017-06-12Private row variables can escape their scope
featureresolved (octachron)2017-05-14Document the associativity of operators declared in Pervasives in Pervasives itself.
featureresolved (lpw25)2017-04-03Strange behavior for function with polymorphic type
minorresolved (dra)2017-03-24Cygwin32 in bytecode: problem with Bigarray and Unix.fork
minorresolved (garrigue)2017-03-14constraint ignored on (existential) GADT
majorresolved (octachron)2017-03-08Ocamldoc hangs when module references itself
~DO NOT USE (was: OCaml general)
featureresolved2017-02-22Linear Scan Register Allocator for ocamlopt and ocamlnat
minorresolved (frisch)2017-02-20The "unused" checks are confused with "unlocated" code
runtime system and C interface
minorresolved (xleroy)2017-02-16GC-safety of caml_alloc_sprintf


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker