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 (1151 - 1200 / 1378)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 18 19 20 21 22 23 24 25 26 27 28 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06Wish : open type
~DO NOT USE (was: OCaml general)
featureresolved (shinwell)2016-12-06inlining
~DO NOT USE (was: 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
featureresolved (gasche)2016-12-06heterogeneous physical equality for references
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 and C interface
minorresolved2016-12-05Remove -Werror from installed Makefile.config
~DO NOT USE (was: 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
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
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
back end (clambda to assembly)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
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
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
standard library
majorresolved (gasche) does not work reliably
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
~DO NOT USE (was: OCaml general)
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
tools (ocaml{lex,yacc,dep,debug,...})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
crashresolved (garrigue)2016-10-08Assert_failure typing/
-for ocamlbuild use
featureresolved (xclerc)2016-10-05ocamlbuild/ shouldn't call bash
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
~DO NOT USE (was: OCaml general)
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
configure and build/install
minorresolved2016-09-28'flexlink.opt' build failure
  [ First Prev  ... 18 19 20 21 22 23 24 25 26 27 28 Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker