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 (1 - 50 / 1181)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
configure and build/install
minorassigned (shinwell)2017-09-26Warning in configure on OS X 10.13
  0007638 [OCaml]
platform support (windows, cross-compilation, etc)
majornew2017-09-25Mingw64 + threads + system exception raised through longjmp() = crash
lexing and parsing
minornew2017-09-25Breaking change in parser (probably related to GPR#1064 - Extended indexing operators)
back end (clambda to assembly)
minornew2017-09-25FLambda particularly slow with large file consisting in top-level trivial aliases.
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
platform support (windows, cross-compilation, etc)
minorconfirmed2017-09-25Changes to the environment are invisible to Sys.getenv
back end (clambda to assembly)
featureacknowledged2017-09-25Patch for in-place compilation of structures
configure and build/install
minorresolved (shindere)2017-09-24The testsuite doesn't run in parallel
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
standard library
featurenew2017-09-24Need for an equality comparing closures
minornew2017-09-24Constant type can not be generalized ?
tools (ocaml{lex,yacc,dep,debug,...})
majorresolved (xleroy)2017-09-23Coq (coqtop.byte) hangs when run from ocamldebug
minorassigned (octachron)2017-09-22ocamldoc does not generate HTML linkable IDs for modules
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 ..."
  0007599 [OCaml]
textacknowledged2017-09-21Document why, when and how to update magic numbers
lexing and parsing
crashacknowledged2017-09-21Out-of-date camlp4 causes segfault in ocamlopt.opt
minornew2017-09-21ocamldoc generates strange looking documentation for variants with inline records
compiler driver
crashresolved (gasche)2017-09-20-linscan option crashes ocamlopt
runtime system and C interface
majorassigned (shinwell)2017-09-20File "", line 63, characters 6-12: Assertion failed.
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
trivialacknowledged2017-09-19the manual page of ocamldoc does not mention -charset option
minornew2017-09-18False typing error when using pre-compiled .cmi through -intf-suffix option
language features
featurenew2017-09-18Pattern negation
back end (clambda to assembly)
minornew2017-09-15afl-fuzz reports 16.00% stability for a simple constant object expression
middle end (typedtree to clambda)
minoracknowledged2017-09-15Compiler emits Warning 59 on array assignment
minorresolved (lpw25)2017-09-154.06.0 Change : Format change must be marked as breaking.
language features
minorresolved (frisch)2017-09-13Annotation [@warning "-32"] does not work correctly
configure and build/install
featurenew2017-09-13Compiler libs does not provide .cmxs object files.
minorresolved (gasche)2017-09-13Test suite crashes on aarch64
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
minornew2017-09-13Odd behaviour of refutation cases with polymorphic variants
compiler driver
minorresolved (garrigue)2017-09-13Typecore.force_delayed_checks does not run with -i option.
minorresolved (garrigue)2017-09-13It seems like a hidden non-generalized type variable remains in some inferred signatures, which leads to strange errors
minorresolved (garrigue)2017-09-13Ambiguous type escaping the scope of its equation
minorresolved (garrigue)2017-09-13Unexpected GADT error
trivialnew2017-09-12ocamldoc replaces type variables with meaningless identifiers
back end (clambda to assembly)
featureacknowledged2017-09-07[patch] Avoid boxing float/int32/int64 when doing direct call
minornew2017-09-06unexpected (?) typing error related to aliasing of types defined in recursive modules
configure and build/install
blockresolved (dra)2017-09-06Can't figure out the right ./compile parameters for my platform
featureacknowledged2017-09-06Request: empty record and variant types
middle end (typedtree to clambda)
minorresolved (lpw25)2017-09-04flambda optimizations depends on unrelated things
  0007619 [OCaml]
lexing and parsing
minornew2017-09-03last semi column in inside the last expression
language features
featureresolved (frisch)2017-08-31Request: evaluation order of 'let ... and ...'
platform support (windows, cross-compilation, etc)
minorconfirmed (dra)2017-08-31Flexdll is incompatible with visual studio 2017.3
tools (ocaml{lex,yacc,dep,debug,...})
minorfeedback2017-08-29OCaml-uri doesn't compile on ARM with assembler error
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker