Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any none       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 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 / 70)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
tools (ocaml{lex,yacc,dep,debug,...})
minorclosed (hongboz)2017-09-24ocamllex -ml does not generate code compilable with -safe-string
~DO NOT USE (was: OCaml general)
minorclosed (gasche)2017-09-24-dsource output for local open module Patterns
platform support (windows, cross-compilation, etc)
minorclosed (dim)2017-09-24Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
platform support (windows, cross-compilation, etc)
minorclosed (dim)2017-09-24heap access in blocking section in unix_sleep
back end (clambda to assembly)
crashclosed (shinwell)2017-09-24Operator definition breaks amd64 assembly code with Spacetime
platform support (windows, cross-compilation, etc)
minorclosed (dim)2017-09-24heap access from blocking section in unix_readlink
featureclosed (garrigue)2017-09-24Support GADT equations on non-local abstract types
crashclosed (garrigue)2017-09-24-principal causes loop in type checker when compiling
minorclosed (garrigue)2017-09-24-strict-sequence turns off "Warning 21: this statement never returns"
back end (clambda to assembly)
minorclosed (shinwell)2017-09-24CamlinternalLazy not flambda-proof?
back end (clambda to assembly)
crashclosed (shinwell)2017-09-24Segfault with flambda -03, perhaps related to lazy values
back end (clambda to assembly)
minorclosed (lpw25)2017-09-24regression in conversion typedtree->lambda in 4.03
minorclosed (garrigue)2017-09-24Matches with GADTs break the level check for self types
~DO NOT USE (was: OCaml general)
featureclosed (frisch)2017-09-24warning about unused modules
~DO NOT USE (was: OCaml general)
textclosed (dim)2017-09-24Ppx errors are not pretty
~DO NOT USE (was: OCaml general)
minorclosed (frisch)2017-09-24Change of behavior of demarshalling an empty file
~DO NOT USE (was: OCaml general)
minorclosed (gasche)2017-09-24Lexer raises `Fatal Error` on parsing `#9342101923012312312`
minorclosed (garrigue)2017-09-24Relaxed value restriction broken with principal
majorclosed (garrigue)2017-09-24Bug in mcomp_fields leads to segfault
crashclosed (garrigue)2017-09-24Missed Type-error leads to a segfault upon record access
tools (ocaml{lex,yacc,dep,debug,...})
minorclosed (gasche)2017-09-24#show_module and module aliases
tweakclosed2017-09-24SOCK_SEQPACKET is unusable
majorclosed (frisch)2017-09-24Private inline records can be mutated
runtime system and C interface
minorclosed (gasche)2017-09-24Allocating double arrays from C in 32 bits
platform support (windows, cross-compilation, etc)
majorclosed (frisch) fast path misses events if the list of fds is greater than FD_SETSIZE (typically 64)
runtime system and C interface
minorclosed (gasche)2017-09-24regressions in sleep (Unix.sleep 0)
crashclosed (garrigue)2017-09-24Segfault from conjunctive constraints
crashclosed (garrigue)2017-09-24GADT + subtyping crash
~DO NOT USE (was: OCaml general)
tweakclosed (gasche)2017-09-24change 12-tuples in typing/typeclass.mli into records for readability
~DO NOT USE (was: OCaml general)
featureclosed (garrigue)2017-09-24Support Module.[], .{}, etc. in pattern matches
tools (ocaml{lex,yacc,dep,debug,...})
minorclosed (gasche)2017-09-24ocamldep: order of -open options
tweakclosed (gasche)2017-09-24Use in-tree ocaml/ocamlc within the manual
middle end (typedtree to clambda)
minorresolved (frisch)2017-08-27the optimization of optional arguments never applies with -g
back end (clambda to assembly)
tweakresolved (gasche)2017-08-27Compilation of record functional modification is costly
blockresolved (frisch)2017-04-27In 4.04 branch the unused module warning is unsound
~DO NOT USE (was: OCaml general)
textresolved (gasche)2017-03-15Wording of non-exhaustivity warning is confusing for beginners
back end (clambda to assembly)
minorresolved (frisch)2017-03-06Using function float arguments prevents unboxing
middle end (typedtree to clambda)
majorresolved (shinwell)2017-03-03Large flambda-related performance regression between 4.03 and 4.04
middle end (typedtree to clambda)
crashclosed (shinwell)2017-03-03fatal error during flambda pass
crashresolved (garrigue)2017-03-03Missing exhaustivity check for extensible variant
~DO NOT USE (was: OCaml general)
majorresolved (whitequark)2017-03-01-o is ignored for C files
platform support (windows, cross-compilation, etc)
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
blockclosed (garrigue)2016-11-04infinite loop in ocamlc/ocamlopt
minorclosed2016-11-03OCAMLPARAM is not documented
textclosed (doligez)2016-11-03Document ocaml_compiler_internal_params
tools (ocaml{lex,yacc,dep,debug,...})
minorclosed (doligez)2016-11-02ocamldep 4.04.0+beta2+flambda segfault when building base
minorclosed (doligez)2016-11-02missing keyword in index
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
  [ First Prev 1 2 Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker