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 - 50 / 210)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  000602312[OCaml]
typing
featureresolved (garrigue)2018-06-12Type-based selection of GADT constructors
  00039351[OCaml]
typing
minoracknowledged2018-06-07Structural types forming non-regular trees can be defined through recursive modules.
  000670110[OCaml]
standard library
minorresolved (gasche)2018-06-02string_of_float and float_of_string are locale dependent
  000725311[OCaml]
standard library
minoracknowledged2018-05-23at_exit functions get called twice if a callback raises and prevents earlier handlers to execute.
  00077812[OCaml]
typing
minorconfirmed (garrigue)2018-04-20Unification error with type aliases of conjunctive polymorphic variants
  00077791[OCaml]
typing
minornew2018-04-16Recursive module inclusion check incomplete
  000613914[OCaml]
otherlibs
featureresolved (gasche)2018-04-09reversing the Unix and Bigarray dependency
  000449912[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (nojebar)2018-04-05Changes to the environment are invisible to Sys.getenv
  00071402[OCaml]
typing
featurefeedback2018-03-22module expression in open
  00067444[OCaml]
typing
minorassigned (garrigue)2018-02-21Univars can escape through polymorphic variants
  00041275[OCaml]
threads
majorassigned (dim)2018-01-14Thread.sigmask not working under pthreads
  00041082[OCaml]
otherlibs
majorassigned (doligez)2017-12-20Memory-mapping of bigarrays may exhaust address space
  00062946[OCaml]
runtime system and C interface
majorassigned (garrigue)2017-12-20Poor tracking of extra heap resources
  00073991[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dra)2017-10-19Testsuite running on Windows should verify line-endings of source files are correct
  00076001[OCaml]
documentation
textacknowledged2017-10-10Document the commit process around bootstrapping
  00073453[OCaml]
back end (clambda to assembly)
minoracknowledged2017-10-10Some GADT matches cause closure allocation with ocamlc -g
  000692511[OCaml]
runtime system and C interface
minorassigned (dra)2017-10-06Garbage console output on Windows with UTF-8 console in caml_partial_flush and caml_putblock
  00075205[OCaml]
typing
minoracknowledged2017-09-30Odd behaviour of refutation cases with polymorphic variants
  00057563[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
tweakclosed (gasche)2017-09-24ocamlbuild spends a lot of time logging
  00069359[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
trivialclosed (gasche)2017-09-24ocamldebug: load_printer raise uncaught exception when passing directory
  00066052[OCaml]
-for ocamlbuild use https://github.com/ocaml/ocamlbuild/issues
minorclosed (gasche)2017-09-24camlp4 parser paths are hard-coded
  00070721[OCaml]
configure and build/install
minorresolved (shindere)2017-09-24The testsuite doesn't run in parallel
  00058945[OCaml]
back end (clambda to assembly)
featureacknowledged2017-09-07[patch] Avoid boxing float/int32/int64 when doing direct call
  00063678[OCaml]
typing
featureresolved (garrigue)2017-08-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
  00072817[OCaml]
ocamldoc
minorresolved (octachron)2017-07-24Incorrect .TH macro in Arg(3o)
  0007338 [OCaml]
typing
textconfirmed2017-07-10meta-issue on confusing type error messages
  00072551[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-14polymorphic install_printer in ocamdebug
  000745273[OCaml]
back end (clambda to assembly)
crashclosed (shinwell)2017-06-09Segfaults or wrong code execution on Intel Skylake / Kaby Lake CPUs with hyperthreading enabled
  00069501[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Dynlink wrong symbol
  00069574[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Modules name conflict during dynamic loading
  00064623[OCaml]
otherlibs
minorresolved (shinwell)2017-06-09Dynlinking duplicate module clobbers host program state
  00042291[OCaml]
documentation
minorresolved (shinwell)2017-06-09Casser le typage avec Dynlink
  00048398[OCaml]
otherlibs
crashresolved (shinwell)2017-06-09natdynlink reproducible segfault
  000731316[OCaml]
typing
minorassigned (garrigue)2017-06-09Typing regression between 4.03 and 4.04 branch with signature coercion.
  000667611[OCaml]
documentation
featureacknowledged2017-04-17Chapter 7 of the manual now has 27 sections
  0007320 [OCaml]
typing
featureacknowledged2017-04-14Relaxing the value restriction some more
  00071482[OCaml]
lexing and parsing
minoracknowledged2017-04-13Confusing error message when parentheses are added around an expression
  00068263[OCaml]
typing
featureresolved (frisch)2017-03-24Improve compile time of opens, esp. for local opens
  00047914[OCaml]
typing
featureacknowledged2017-03-23ocamlc -i produces incorrect result
  00036744[OCaml]
typing
featureacknowledged2017-03-15unterminating type checking for recursive modules
  00071301[OCaml]
typing
minorresolved (garrigue)2017-03-15Code may fail to type without -strict-sequence
  00048501[OCaml]
typing
featureacknowledged2017-03-15Bad interaction between subtyping and recursive modules
  0004134 [OCaml]
typing
minoracknowledged2017-03-15A tiny bug in type checking recursive modules
  00063602[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Relaxing the coherence check for with-constraint re-exports
  0006491 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle class inheritance
  00059845[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Variance information is not properly propagated through functor applications
  0006492 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle variance
  00072401[OCaml]
typing
minorresolved (garrigue)2017-03-15limitation on how the typer fills in missing optional arguments
  00039931[OCaml]
typing
minorresolved (garrigue)2017-03-15recursive modules and type constructor scoping
  00045591[OCaml]
typing
featureacknowledged2017-03-15Object inheritance in recursive modules
  [ First Prev 1 2 3 4 5 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker