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 (651 - 700 / 1157)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
-OCaml general
featureresolved (shinwell)2016-12-06Please export byterun/io.h
-OCaml general
featureresolved (shinwell)2016-12-06Optimization of types
-OCaml general
featureresolved (shinwell)2016-12-06Wish : open type
-OCaml general
featureresolved (shinwell)2016-12-06inlining
-OCaml general
featureresolved (shinwell)2016-12-06Enrichir Array
standard library
featureresolved (frisch)2016-12-06Proposal: add some primitives to allow user detect whether the backend is javascript or native
standard library
featureresolved (gasche)
standard library
standard library
featureresolved (gasche)2016-12-06heterogeneous physical equality for references
minoracknowledged2016-12-06flambda changes to finalisability should be documented
standard library
featureresolved (frisch)2016-12-06Variants of Map.find
standard library
featureresolved (frisch)2016-12-06Add Gc.value_{word,byte}_size : 'a -> int
standard library
featureresolved (frisch)2016-12-06Truncating buffers could come in handy
standard library
featureresolved (frisch)2016-12-06List.take function
standard library
featureresolved (frisch)2016-12-06Array.findi, Array.exists
standard library
featureresolved (doligez)2016-12-06Lazy is not threadsafe
standard library
featureresolved (frisch)2016-12-06Duplicate Dynlink.is_native as Sys.is_native
standard library
featureacknowledged2016-12-06Provide %-primitives for operations on raw pointers
runtime system
minorresolved2016-12-05Remove -Werror from installed Makefile.config
-OCaml general
minorresolved2016-12-05-std=gnu99 causes annoying warnings
majorresolved (doligez)2016-12-04Str.regexp raises "Invalid_argument: index out of bounds"
standard library
majorresolved2016-12-03marshaling of extensible variant types does not work
platform support (windows, cross-compilation, etc)
majorresolved (dra)2016-11-27When compiled with msvc64 toolchain Unix.create_process causes 'Segmentation fault'.
back end (clambda to assembly)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
platform support (windows, cross-compilation, etc)
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-23crash of ocaml when I use Graphics
minoracknowledged2016-11-15Inconsistent order when typing constraint patterns
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
minorconfirmed2016-11-12meta-issue on type and path propagation
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
tweakresolved2016-11-11num library should use custom blocks with compare function
-for ocamlbuild use
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  0007318 [OCaml]
tweakacknowledged2016-11-08information in the typing error message could be made more precise
tweakacknowledged2016-11-08information in the typing error message could be made more precise
tools (ocaml{lex,yacc,dep,debug,...})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
minoracknowledged2016-11-08ocamlc -i can generate a wrong signature
  0007404 [OCaml]
standard library
featurenew2016-11-07Expose functions to check invariants in Set/Map/Hashtbl
standard library
majorresolved (gasche) does not work reliably
  0007399 [OCaml]
platform support (windows, cross-compilation, etc)
minorassigned (dra)2016-11-04Testsuite running on Windows should verify line-endings of source files are correct
crashresolved (garrigue)2016-11-03Missing exhaustivity check for extensible variant
-Ocaml optimization
majorresolved (shinwell)2016-11-03Large flambda-related performance regression between 4.03 and 4.04
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
  [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker