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 (401 - 450 / 1381)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
runtime system and C interface
minorresolved (yallop)2017-08-03Should String_val return 'const char *' when safe-string is globally enabled?
minorassigned (garrigue)2017-08-02Regression with -principal type inference
   0005998 [OCaml]
featureassigned (garrigue)2017-08-02GADT typing and exhaustiveness bugs
featureresolved (garrigue)2017-08-02[github patch] introduce Asttypes.arrow_flag to encode labelled arguments (instead of using string manipulations)
featureresolved (frisch)2017-07-28[@@unboxed] for single-constructor, single-field GADT introducing existential type
featureresolved (lpw25)2017-07-27Unexported values can cause non-generalisable variables error
minorassigned (octachron)2017-07-25Incorrect generation of "constructor" tags for modules
minorresolved (octachron)2017-07-24Incorrect .TH macro in Arg(3o)
middle end (typedtree to clambda)
featureacknowledged2017-07-24Adding an attribute for abstract types that are not float / lazy
language features
featureresolved (frisch)2017-07-20Class definition syntax restrictions
language features
featureresolved (frisch)2017-07-20'let open' in class expressions
featureacknowledged2017-07-19per-type fragile match warning
platform support (windows, cross-compilation, etc)
minorresolved (frisch)2017-07-19Unix.symlink does not support forward slashes under Windows
runtime system and C interface
minoracknowledged2017-07-18no documented way to never raise in C bindings
tweakresolved (frisch)2017-07-18Deprecation warnings for types should not be emitted for the definition itself
featureacknowledged2017-07-17Expose more compiler-libs internals in Toploop
tweakresolved (octachron)2017-07-17Doubtful "unused open" warning on module used for record field disambiguation
featureresolved (octachron)2017-07-13printing non-generalized type variables
featureresolved (octachron)2017-07-13Re variables de type faibles
language features
featureresolved (gasche)2017-07-12propapate type disambiguation to the record pattern
featureacknowledged (garrigue)2017-07-12Can type-information flow be strengthened for non-recursive lets?
  0007547 [OCaml]
featureacknowledged2017-07-11"lazy" example in the tutorial part of the manual
  0007548 [OCaml]
featureacknowledged2017-07-11printf or format example in the tutorial part of the manual
  0007549 [OCaml]
featureacknowledged2017-07-11plugin examples in the manual
  0007550 [OCaml]
featureacknowledged2017-07-11minimal documentation on injectivity
featureconfirmed2017-07-11caml_example pseudo-environment in the language extension chapter
featureconfirmed2017-07-11Further improvement to interface/implementation type mismatch errors
  0007338 [OCaml]
textconfirmed2017-07-10meta-issue on confusing type error messages
minorassigned (octachron)2017-07-10Complex lists always wrap at 80 columns or less
compiler driver
featureresolved2017-07-10Compiling cmis, make -keep-locs the default behaviour
majorresolved (dra)2017-07-06On 4.05 warning 3 seems to be inherited
featureresolved (frisch)2017-07-06module assignment enables use of deprecated values without a warning
standard library
textresolved2017-07-04stdlib's doc: Unix.sleepf: the resolution of the timer is not specified.
standard library
minorresolved (gasche)2017-07-04.cmt and .cmti files for the unix module of the stdlib are not installed
standard library
minorresolved (octachron)2017-07-03Arg.parse prints error message multiple times
compiler driver
tweakacknowledged2017-07-03Fix position information for diagnostics by the OCaml linking software
compiler driver
featureresolved (dra)2017-07-03Checking processes for resolving of references from module implementations by the OCaml linker
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-07-01Direct selection of output directory (or file names) for OCaml compiler
  0007558 [OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-07-01Support selection of source file names also for other export formats than make rules
back end (clambda to assembly)
minoracknowledged (shinwell)2017-06-30ocamlopt.opt 4.04.0+spacetime crashes while compiling package camlp4.4.04+1
compiler driver
featureassigned (shindere)2017-06-29ocamlc does not fully take into consideration -o parameter
minorresolved2017-06-27#use in the toplevel loads existing stale .cmo
minorresolved (gasche)2017-06-27Unix.stat on Windows does not handle timezone and daylight savings time
standard library
minorresolved (octachron) in test suite fails
  0006778 [OCaml]
compiler driver
minoracknowledged2017-06-26singly unlinkable cma orders silently allowed
middle end (typedtree to clambda)
majorresolved (gasche)2017-06-26value access to extensible variant tag binds module value instead (name clash)
featureassigned (octachron)2017-06-24Puzzling error message with free type variables
runtime system and C interface
majorresolved (doligez)2017-06-24local privilege escalation issue with ocaml binaries
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-22Support export of software dependencies from OCaml modules in the format “XML”
tools (ocaml{lex,yacc,dep,debug,...})
featureacknowledged2017-06-22Support export of software dependencies from OCaml modules in the format “JSON”
  [ First Prev  ... 4 5 6 7 8 9 10 11 12 13 14 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker