Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
resolved resolved (And Above)       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 / 582)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
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
Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
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
OCaml typing
crashresolved (garrigue)2016-10-08Assert_failure typing/
crashresolved (garrigue)2016-10-07Missing exhaustivity check for extensible variant
OCamlbuild (the tool)
featureresolved (xclerc)2016-10-05ocamlbuild/ shouldn't call bash
OCaml general
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
OCaml typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
OCaml typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
OCaml typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
OCaml internal build/install (Makefiles, configure)
minorresolved2016-09-28'flexlink.opt' build failure
OCaml windows
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
OCaml general
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
OCaml typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
OCaml typing
blockresolved (frisch)2016-09-21In 4.04 branch the unused module warning is unsound
featureresolved (gasche)2016-09-13Generate a meta directive to improve mobile experience
OCaml typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
OCaml general
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
OCaml documentation
minorresolved (gasche)2016-09-08documentation for warning 52
OCaml general
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
OCaml backend (code generation)
crashresolved2016-09-02Crashes in garbage collector
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
OCaml otherlibs
featureresolved (gasche)2016-09-01Support bigarray with 0 dimension as scalar
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
OCaml typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
OCaml typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
OCaml typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
OCaml typing
minorresolved2016-08-20the typer fails reading unnecessary cmis with -no-alias-deps and -w -49
OCaml general
minorresolved (gasche)2016-08-20-dsource output for local open module Patterns
OCaml windows
minorresolved (dim)2016-08-19Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
OCaml windows
minorresolved (dim)2016-08-18heap access in blocking section in unix_sleep
OCaml windows
minorresolved (dim)2016-08-18heap access from blocking section in unix_readlink
OCaml typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
OCaml backend (code generation)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
OCaml typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
OCaml typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
OCaml typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
OCaml backend (code generation)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
OCaml typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
OCaml typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
OCaml typing
tweakresolved (garrigue)2016-08-03Extensible variant types and scope escaping
OCaml typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
OCaml backend (code generation)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
OCaml backend (code generation)
crashresolved (shinwell)2016-07-31Segfault with flambda -03, perhaps related to lazy values
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker