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 (451 - 500 / 1281)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  0007338 [OCaml]
OCaml typing
textconfirmed2016-08-31meta-issue on confusing type error messages
  000727914[OCaml]
OCaml general
majoracknowledged2016-08-30Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy)
  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)
  000551414[OCaml]
OCaml typing
minoracknowledged2016-08-30"with module" semantics seem broken
  00058882[OCaml]
OCaml typing
tweakacknowledged (garrigue)2016-08-30Better type errors for polymorphic variants and module signatures
  00073232[OCaml]
OCaml tools (ocaml{lex,yacc,dep,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  000713413[OCaml]
OCaml typing
minorassigned (garrigue)2016-08-23compiler forcing aliases it shouldn't while reporting type errors
  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
  00072651[OCaml]
OCaml windows
minorresolved (dim)2016-08-19Unix.fstat behaves surprisingly under OCaml 4.03.0/windows, Unix.isatty is broken
  00073002[OCaml]
OCaml windows
minorresolved (dim)2016-08-18heap access in blocking section in unix_sleep
  00072992[OCaml]
OCaml windows
minorresolved (dim)2016-08-18heap access from blocking section in unix_readlink
  00059845[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
  00073261[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
  00071525[OCaml]
OCaml typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
  00072333[OCaml]
OCaml typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
  00073154[OCaml]
OCaml typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
  00059171[OCaml]
OCaml backend (code generation)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
  00073059[OCaml]
OCaml typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
  00072972[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
  00056636[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
  00072927[OCaml]
OCaml backend (code generation)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
  00073014[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-07-31Segfault with flambda -03, perhaps related to lazy values
  00070098[OCaml]
OCamlbuild (the tool)
minorconfirmed2016-07-30ocamlbuild -clean says directory is not empty
  00073029[OCaml]
OCaml backend (code generation)
minorresolved (lpw25)2016-07-29regression in conversion typedtree->lambda in 4.03
  0007306 [OCaml]
OCaml general
featurenew2016-07-26consistent mutable field in record
  00072953[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-07-20ocamlbuild foo.inferred.ml does yield a WRONG signature and ocamlc complains...
  00072936[OCaml]
OCaml typing
minorresolved (garrigue)2016-07-20Matches with GADTs break the level check for self types
  00072416[OCaml]
OCaml typing
crashacknowledged2016-07-19Pattern matching with mutable and lazy patterns is unsound
  00063627[OCaml]
OCaml general
featureresolved (frisch)2016-07-19warning about unused modules
  0004904 [OCaml]
OCaml general
featureassigned (garrigue)2016-07-18Warn about repeated function arguments especially for optional arguments
  000711313[OCaml]
OCaml general
featureconfirmed2016-07-13-safe-string should be a global property
  000669613[OCaml]
OCaml general
minoracknowledged2016-07-13Allow dynlinking code into ocamlc/opt
  00064703[OCaml]
OCaml windows
majorconfirmed2016-07-13ocamlopt -shared fails on cygwin 64bit
  00070234[OCaml]
Ocaml optimization
minorresolved (frisch)2016-07-13Using function float arguments prevents unboxing
  000520427[OCaml]
OCaml backend (code generation)
featureacknowledged2016-07-12Unboxing parameters and more kinds of local bindings
  000576426[OCaml]
OCaml general
featureacknowledged2016-07-11A way to avoid automatic export of declaration in inferred signatures
  00071472[OCaml]
OCaml general
textresolved (dim)2016-07-11Ppx errors are not pretty
  00072159[OCaml]
OCaml typing
crashconfirmed2016-07-11Unsoundness with GADTs and let rec
  000714210[OCaml]
OCaml general
minorresolved (frisch)2016-07-11Change of behavior of demarshalling an empty file
  00071657[OCaml]
OCaml general
minorresolved (gasche)2016-07-11Lexer raises `Fatal Error` on parsing `#9342101923012312312`
  00072872[OCaml]
OCamlbuild (the tool)
minorresolved (gasche)2016-07-08Strange warnings about package tags with -show-tags
  00071784[OCaml]
OCaml standard library
minoracknowledged2016-07-07Calling exit in at_exit callback results in infinite loop.
  00072854[OCaml]
OCaml typing
minorresolved (garrigue)2016-07-07Relaxed value restriction broken with principal
  00072861[OCaml]
OCaml otherlibs
minorresolved2016-07-07Out-of-bounds array access in Event.sync
  00070132[OCaml]
OCaml otherlibs
minorresolved2016-07-07Condition.wait inside Event is not protected against spurious wakeups
  000593622[OCaml]
OCaml general
minorconfirmed2016-07-06Weird syntax accepted by OCaml
  00072841[OCaml]
OCaml typing
majorresolved (garrigue)2016-07-06Bug in mcomp_fields leads to segfault
  [ First Prev  ... 5 6 7 8 9 10 11 12 13 14 15 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker