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 (701 - 750 / 1157)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 10 11 12 13 14 15 16 17 18 19 20 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00073759[OCaml]
documentation
textacknowledged2016-09-30Better document backtrace re-raise -- was: Backtrace changes when referring to a nullary exception constructor...
  00073781[OCaml]
typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
  00073743[OCaml]
typing
minorresolved (garrigue)2016-09-30Contractiveness check unsound with constraints
  000671411[OCaml]
-OCaml general
minorresolved (whitequark)2016-09-28Also recognize [@@ocaml.warning]
  000736012[OCaml]
typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
  000598549[OCaml]
typing
featureconfirmed (garrigue)2016-09-28Unexpected interaction between variance and GADTs
  00073541[OCaml]
configure and build/install
minorresolved2016-09-28'flexlink.opt' build failure
  00072637[OCaml]
platform support (windows, cross-compilation, etc)
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
  00073531[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc sometimes generates untagged text
  00073522[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should not generate p's white only whitespace in it
  00073511[OCaml]
ocamldoc
minoracknowledged2016-09-27ocamldoc should really stop generating br tags
  00073211[OCaml]
typing
minorconfirmed (garrigue)2016-09-27Private type in signature clashes with type definition via functor instantiation
  000719718[OCaml]
-OCaml general
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
  00067165[OCaml]
typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
  000731411[OCaml]
typing
blockresolved (frisch)2016-09-21In 4.04 branch the unused module warning is unsound
  00073503[OCaml]
ocamldoc
featureresolved (gasche)2016-09-13Generate a meta directive to improve mobile experience
  00045182[OCaml]
ocamldoc
featureacknowledged2016-09-12Better location format for reporting errors in ocamldoc
  00073481[OCaml]
typing
minorconfirmed (garrigue)2016-09-10Private row variables can escape their scope
  00073257[OCaml]
typing
majorresolved (garrigue)2016-09-09The type checker raises Not_found for missing cmis when checking external declarations
  00040727[OCaml]
-OCaml general
featureresolved (lefessan)2016-09-08Ordre d'évaluation inattendu
  00072452[OCaml]
documentation
minorresolved (gasche)2016-09-08documentation for warning 52
  0007240 [OCaml]
typing
minoracknowledged2016-09-08limitation on how the typer fills in missing optional arguments
  0007274 [OCaml]
ocamldoc
featureacknowledged2016-09-08a testsuite for ocamldoc
  0007320 [OCaml]
typing
featurenew2016-09-07Relaxing the value restriction some more
  00065091[OCaml]
-OCaml general
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
  00073074[OCaml]
back end (clambda to assembly)
crashresolved2016-09-02Crashes in garbage collector
  000648611[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
  000648412[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
  00073394[OCaml]
otherlibs
featureresolved (gasche)2016-09-01Support bigarray with 0 dimension as scalar
  00073332[OCaml]
ocamldoc
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
  0007338 [OCaml]
typing
textconfirmed2016-08-31meta-issue on confusing type error messages
  00067862[OCaml]
typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
  00073372[OCaml]
typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
  00073232[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  00068122[OCaml]
typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
  00069985[OCaml]
typing
minorresolved2016-08-20the typer fails reading unnecessary cmis with -no-alias-deps and -w -49
  00073292[OCaml]
-OCaml general
minorresolved (gasche)2016-08-20-dsource output for local open module Patterns
  00072651[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-19Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
  00073002[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-18heap access in blocking section in unix_sleep
  00072992[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (dim)2016-08-18heap access from blocking section in unix_readlink
  00059845[OCaml]
typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
  00073261[OCaml]
back end (clambda to assembly)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
  00071525[OCaml]
typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
  00072333[OCaml]
typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
  00073154[OCaml]
typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
  00059171[OCaml]
back end (clambda to assembly)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
  00073059[OCaml]
typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
  00072972[OCaml]
typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
  00056636[OCaml]
typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
  00072927[OCaml]
back end (clambda to assembly)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
  [ First Prev  ... 10 11 12 13 14 15 16 17 18 19 20 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker