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 (601 - 650 / 1154)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 8 9 10 11 12 13 14 15 16 17 18 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml windows
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
OCaml windows
minorassigned (dra)2016-11-23crash of ocaml when I use Graphics
OCaml documentation
minornew2016-11-16Unix.single_write_substring is only available since OCaml 4.02
OCaml typing
minoracknowledged2016-11-15Inconsistent order when typing constraint patterns
OCaml general
majoracknowledged2016-11-14exceptions lose identity after marshalling
minornew2016-11-13HTML output of ocamldoc is strange
OCaml general
minoracknowledged2016-11-13ocamlc -custom should not link to curses
OCaml typing
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
OCaml typing
minorconfirmed2016-11-12meta-issue on type and path propagation
OCaml typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
OCaml typing
featureacknowledged2016-11-12Use all constructors listed in a pattern matching to resolve ambiguity
OCaml typing
featureacknowledged (garrigue)2016-11-12Can type-information flow be strengthened for non-recursive lets?
  0007388 [OCaml]
OCaml typing
featurenew2016-11-12Strenghten type propagation in -principal mode
OCaml backend (code generation)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
OCaml tools (ocaml{lex,yacc,dep,debug})
featureacknowledged2016-11-11missing possibility to be able to see "inside" values of abstract types
OCaml standard library
featureacknowledged2016-11-11Consider deprecating labelled versions of the stdlib
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
OCaml general
minoracknowledged2016-11-11Difficulties building 4.04 on Solaris with the SUNWSPro C compiler
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  0007318 [OCaml]
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
OCaml typing
tweakacknowledged2016-11-08information in the typing error message could be made more precise
OCaml tools (ocaml{lex,yacc,dep,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
OCaml general
trivialacknowledged2016-11-08The "ocaml" toplevel should accept "-verbose"
OCaml standard library
featureacknowledged2016-11-08Printf.printf and related functions do not take precision argument for strings
OCaml typing
minoracknowledged2016-11-08ocamlc -i can generate a wrong signature
  0007404 [OCaml]
OCaml standard library
featurenew2016-11-07Expose functions to check invariants in Set/Map/Hashtbl
OCaml standard library
majorresolved (gasche) does not work reliably
  0007399 [OCaml]
OCaml windows
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
OCaml typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
OCaml typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
OCaml typing
minoracknowledged2016-10-26Bug in type-checker with GADTs and inline records
OCaml typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
OCaml typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
OCaml typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2016-10-19GADT typing and exhaustiveness bugs
OCaml tools (ocaml{lex,yacc,dep,debug})
featureconfirmed2016-10-17ocamldep option to not include the current directory in the searched directories
Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
OCaml typing
featureacknowledged2016-10-14Meta-issue on ambiguity warnings
OCaml typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
OCaml documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
  0007383 [OCaml]
OCaml general
featurenew2016-10-10provide an explicit flag `-assume-no-mli` for reliable build tools
OCaml typing
crashresolved (garrigue)2016-10-08Assert_failure typing/
OCaml tools (ocaml{lex,yacc,dep,debug})
featurenew2016-10-05support --external-tokens like menhir(ocamlyacc)
OCaml documentation
minoracknowledged2016-10-05stdlib mli files documentation comments, start headers at level 1
OCamlbuild (the tool)
featureresolved (xclerc)2016-10-05ocamlbuild/ shouldn't call bash
  [ First Prev  ... 8 9 10 11 12 13 14 15 16 17 18 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker