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 / 1451)  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
majornew2016-06-25Private inline records can be mutated
OCaml typing
tweakresolved (garrigue)2016-06-24Extensible variant types and scope escaping
  0007277 [OCaml]
OCaml standard library
featurenew2016-06-23Variants of Map.find
OCaml typing
majorresolved (garrigue)2016-06-23A typing equality is lost in 4.03 branch compared to 4.02.3
OCaml windows
majorresolved (frisch) fast path misses events if the list of fds is greater than FD_SETSIZE (typically 64)
OCaml typing
crashconfirmed (garrigue)2016-06-22Missed Type-error leads to a segfault upon record access
OCaml runtime system
minorresolved (gasche)2016-06-21regressions in sleep (Unix.sleep 0)
  0007268 [OCaml]
OCaml windows
majornew2016-06-21ocamlc.opt on cygwin32/64 can not link to unix library
OCaml windows
majornew2016-06-21Unix.lockf doesn't behave correctly on Windows
  0007275 [OCaml]
OCaml general
featurenew2016-06-15meta-issue on consistency of command-line arguments across tools
OCaml standard library
featureacknowledged2016-06-15Test OCaml's PRNG against the new TestU01 testsuite
  0007274 [OCaml]
featureacknowledged2016-06-15a testsuite for ocamldoc
OCaml documentation
minorconfirmed (doligez)2016-06-15ocamldoc for types lacks newlines in html files
minorresolved (guesdon)2016-06-15-colorize-code causes unnecessary < br> tags to be added to < pre> blocks
OCaml general
majorresolved (whitequark)2016-06-14-o is ignored for C files
OCaml backend (code generation)
minorresolved (gasche)2016-06-14Duplicate symbol errors when running ocamlopt
OCaml general
majornew2016-06-10Undocumented ocamlc and ocamlopt behaviour difference
OCaml backend (code generation)
featureacknowledged (shinwell)2016-06-09please add an option to enable debug symbols only
  0007270 [OCaml]
OCaml runtime system
majornew2016-06-08The testsuite does not pass with the debug runtime
OCaml windows
blocknew2016-06-07Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
OCaml general
featureassigned (gasche)2016-06-07An "-args <path>" option to pass command-line flags in a file
OCaml general
featureassigned2016-06-07support O_APPEND in Unix.openfile for Win32
OCaml typing
featureassigned (garrigue)2016-06-07There is no easy way to give names to existential variables introduced by GADT pattern-matching
OCaml backend (code generation)
majorresolved (gasche)2016-06-04Location.none is broken with the LLVM assembler in 4.03.0+beta2
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorassigned (garrigue)2016-06-04ocamldep -map options interpreted "backwards"
OCaml runtime system
minoracknowledged2016-06-03at_exit functions get called twice if a callback raises and prevents earlier handlers to execute.
OCaml general
minoracknowledged2016-06-03Change of behavior of demarshalling an empty file
OCaml typing
featureassigned (garrigue)2016-06-03Support GADT equations on non-local abstract types
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-06-03GADT typing and exhaustiveness bugs
OCaml typing
crashresolved (garrigue)2016-06-03Segfault from conjunctive constraints
OCaml standard library
minoracknowledged2016-06-03topdirs.cmi multiple locations
OCaml general
minornew2016-06-02missing -ltinfo when linking bytecode with -custom
Ocaml optimization
minorassigned (chambart)2016-06-02flambda does not collapse pattern matching in some cases
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
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker