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 / 1441)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml general
minornew2016-05-28increase some syntactic flexibility for method label names and record label names
  0007266 [OCaml]
OCaml backend (code generation)
minornew2016-05-28Duplicate symbol errors when running ocamlopt
  0007265 [OCaml]
OCaml windows
minornew2016-05-27Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
OCaml otherlibs
majornew2016-05-25Unix.lockf doesn't behave correctly on Windows
OCaml windows
blocknew2016-05-23Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
  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
  0007260 [OCaml]
OCaml typing
crashnew2016-05-19GADT + subtyping crash
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 optimization
minorassigned (chambart)2016-05-17flambda does not collapse pattern matching in some cases
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
OCaml general
minoracknowledged2016-05-16Change of behavior of demarshalling an empty file
  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 runtime system
minornew2016-05-14regressions in sleep (Unix.sleep 0)
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 typing
featureassigned (garrigue)2016-05-12Support GADT equations on non-local abstract types
OCaml general
tweakresolved (gasche)2016-05-11change 12-tuples in typing/typeclass.mli into records for readability
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minoracknowledged2016-05-11ocamldep -map options interpreted "backwards"
OCaml runtime system
minoracknowledged2016-05-10at_exit functions get called twice if a callback raises and prevents earlier handlers to execute.
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 standard library
minoracknowledged2016-04-28Marshal.to_channel does not clean the channel internal buffers when it fails
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)
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker