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 (151 - 200 / 374)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  000741715[OCaml]
OCaml backend (code generation)
minorresolved (gasche)2016-11-27OCaml + frame-pointer on + clang (and perhaps GCC)
  00072688[OCaml]
OCaml windows
majorresolved (frisch)2016-11-26ocamlc.opt on cygwin32/64 can not link to unix library
  000660810[OCaml]
OCaml typing
minorresolved (garrigue)2016-11-13Lax typing for functional record updates
  00074103[OCaml]
OCamldoc
minorresolved (octachron)2016-11-12Spurious warning printed by ocamldoc
  00072902[OCaml]
OCamldoc
minorresolved (gasche)2016-11-12ocamldoc does not support inline records
  00072111[OCaml]
OCaml typing
minorresolved (gasche)2016-11-12Strange behavior of exhaustive record copy with disambiguation
  000740514[OCaml]
OCaml backend (code generation)
crashresolved2016-11-12Illegal instruction (core dumped) when running coqtop on s390x
  00073412[OCaml]
OCaml otherlibs
tweakresolved2016-11-11num library should use custom blocks with compare function
  00074061[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-11-10ocamlbuild - Failure : Link list cannot be empty
  00073171[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
tweakresolved2016-11-08Intermixed output of Ocaml toplevel
  00074034[OCaml]
OCaml standard library
majorresolved (gasche)2016-11-07Set.map does not work reliably
  00073304[OCaml]
Incoming
crashresolved (garrigue)2016-11-03Missing exhaustivity check for extensible variant
  00073962[OCaml]
Ocaml optimization
majorresolved (shinwell)2016-11-03Large flambda-related performance regression between 4.03 and 4.04
  00073952[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-28polymorphism + phantom types regression
  000739113[OCaml]
OCaml typing
blockresolved (garrigue)2016-10-27Nested immediate object referring to outer self does not typecheck
  00073934[OCaml]
OCaml general
minorresolved (gasche)2016-10-27PPX: Parstree.structures are split around floating attributes
  00073819[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-20Assertion failure with refutation pattern
  00072984[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-20GADT matching allows dummy method to escape
  00073906[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-19Segfault with GADT exhaustiveness
  00073845[OCaml]
Ocaml optimization
minorresolved (frisch)2016-10-17the optimization of optional arguments never applies with -g
  0005759114[OCaml]
OCaml typing
minorresolved (garrigue)2016-10-14Using well-disciplined type-propagation to disambiguate label and constructor names
  00073713[OCaml]
OCaml documentation
majorresolved (garrigue)2016-10-11Reference manual: 19.6 A complete example no longer works in 4.03.0
  00073244[OCaml]
OCaml typing
crashresolved (garrigue)2016-10-08Assert_failure typing/ctype.ml:1390:10
  00049819[OCaml]
OCamlbuild (the tool)
featureresolved (xclerc)2016-10-05ocamlbuild/my_std.ml shouldn't call bash
  000695616[OCaml]
OCaml general
minorresolved (garrigue)2016-10-04Module initialization not performed for extern-only lib (? segfault)
  00073781[OCaml]
OCaml typing
majorresolved (garrigue)2016-09-30GADT constructors can be re-exposed with an incompatible type => segfault
  00073743[OCaml]
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]
OCaml typing
minorresolved2016-09-28When pattern matching on GADTs, abstract (phantom) types are not considered structurally different from concrete ones
  00073541[OCaml]
OCaml internal build/install (Makefiles, configure)
minorresolved2016-09-28'flexlink.opt' build failure
  00072637[OCaml]
OCaml windows
blockresolved2016-09-27Build with MSVC-14 (Visual Studio 2015) / Windows 10 not possible
  000719718[OCaml]
OCaml general
minorresolved (lpw25)2016-09-26attachment of ocamldoc comments in the source tree is often wrong
  00067165[OCaml]
OCaml typing
minorresolved (garrigue)2016-09-26Assertion failure with existentials + inline records + rows
  000731411[OCaml]
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
  00073257[OCaml]
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]
OCaml documentation
minorresolved (gasche)2016-09-08documentation for warning 52
  00065091[OCaml]
OCaml general
tweakresolved (gasche)2016-09-02[github patch] add -linkall flag to ocamlcommon archives
  00073074[OCaml]
OCaml backend (code generation)
crashresolved2016-09-02Crashes in garbage collector
  000648611[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on aarch64 runs out of memory compiling camlp4
  000648412[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-09-02ocamlopt.opt on 32 bit arm segfaults compiling ounit 2.0.0
  00073394[OCaml]
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
  00067862[OCaml]
OCaml typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
  00073372[OCaml]
OCaml typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
  00073232[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  00068122[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
  00069985[OCaml]
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
  [ First Prev 1 2 3 4 5 6 7 8 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker