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 (51 - 100 / 1455)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml typing
crashresolved (garrigue)2016-06-02GADT + subtyping crash
OCaml general
minornew2016-05-31increase some syntactic flexibility for method label names and record label names
  0007265 [OCaml]
OCaml windows
minornew2016-05-27Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
  0007262 [OCaml]
OCaml runtime system
minornew2016-05-20backtraces are concatenated when flambda turned on
OCaml typing
minornew2016-05-19constraint ignored on (existential) GADT
OCaml typing
minoracknowledged2016-05-19add support for type expressions on the right-hand side of type substitutions in signatures
Caml web site
majorassigned (doligez) mantis login page is not SSL
OCaml backend (code generation)
minoracknowledged2016-05-17Ocamlopt + flambda requires a lot of memory to compile large array literal expressions
OCaml general
minoracknowledged2016-05-17Testing parsing/printing/parsing roundtripping shows problems with Pprintast / -dsource
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-05-17trunk build fails on Sparc Solaris 11
OCaml standard library
minornew2016-05-17Provide %-primitives for operations on raw pointers
  0007258 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minornew2016-05-15ocamldebug segfault on install_printer using module aliasing
OCaml general
majoracknowledged2016-05-14ocamlnat crashes on startup
OCaml general
featureresolved2016-05-14usleep feature
  0007255 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featurenew2016-05-13polymorphic install_printer in ocamdebug
OCaml typing
minorassigned (garrigue)2016-05-12Regression with -principal type inference
OCaml general
tweakresolved (gasche)2016-05-11change 12-tuples in typing/typeclass.mli into records for readability
OCaml general
featureresolved (garrigue)2016-05-10Support Module.[], .{}, etc. in pattern matches
OCaml general
minorconfirmed2016-05-10asmcomp "compile-time constants" do not work on cross-compilers
OCaml standard library
minoracknowledged2016-05-10Calling exit in at_exit callback results in infinite loop.
  0007251 [OCaml]
Ocaml optimization
featurenew2016-05-09Provide alignment-requiring versions of the string and bigstring data access primitives
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (gasche)2016-05-06ocamldep: order of -open options
OCaml general
minoracknowledged2016-05-03something is quadratic in pattern matching size
OCaml windows
minorassigned (doligez)2016-05-03linking with flexlink fails when passing arguments by response file
  0007240 [OCaml]
OCaml typing
minoracknowledged2016-05-03limitation on how the typer fills in missing optional arguments
OCaml documentation
minorassigned (gasche)2016-05-03documentation for warning 52
OCaml documentation
minorconfirmed (doligez)2016-05-03Compiler internals exported as standard library modules in documentation
Ocaml optimization
minoracknowledged2016-05-03Unboxed version of operations on 64-bit integers for 32-bit ports
OCaml typing
crashacknowledged2016-05-03Pattern matching with mutable and lazy patterns is unsound
OCaml documentation
tweakresolved (gasche)2016-05-02Use in-tree ocaml/ocamlc within the manual
OCaml runtime system
featureacknowledged2016-05-02Finaliser that are really called when a value will be freed.
OCaml general
textresolved (gasche)2016-04-26Warning 42: a case where a type constraint does not help a disambiguation
OCaml standard library
featureacknowledged2016-04-25Add Gc.value_{word,byte}_size : 'a -> int
OCaml typing
majorconfirmed2016-04-25Strange type system bug
OCaml typing
minorresolved (garrigue)2016-04-25Failing component lookup
OCaml typing
minorconfirmed2016-04-25Check for the well-formedness of let rec earlier, before or at type checking
OCaml general
crashconfirmed2016-04-25let-rec wellformedness check too permissive with nested recursive bindings
OCaml typing
crashconfirmed2016-04-25Unsoundness with GADTs and let rec
OCaml general
minorresolved (garrigue)2016-04-22Scrutinee discarded in match with only refutation cases
OCaml documentation
textacknowledged2016-04-21document how to use Mantis (including for release triaging)
OCaml standard library
featureconfirmed2016-04-21A format specifier for bytes
OCaml standard library
featurefeedback2016-04-21New functions for bytes/strings
OCaml general
minorassigned (doligez)2016-04-21Error location output not supported by emacs
OCaml internal build/install (Makefiles, configure)
minoracknowledged2016-04-21Native code compiler for 32-bit OS X
OCaml otherlibs
minoracknowledged2016-04-21Cannot close properly a file with memory mapped blocks (Bigarray.map_file)
  0007235 [OCaml]
OCaml standard library
minoracknowledged2016-04-21Format only flushes std_formatter by at_exit.
OCamlbuild (the tool)
featureresolved (gasche)2016-04-20Extend .odocl to allow file copy
OCaml otherlibs
minoracknowledged2016-04-20Bad memory cleanup of DLL using Thread module
OCaml typing
crashresolved (garrigue)2016-04-20Compatibility check wrong for abstract type constructors
OCaml typing
minorresolved (garrigue)2016-04-20Segfault from bug in GADT/module typing
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker