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 (1 - 50 / 1513)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00073332[OCaml]
OCamldoc
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
  00073422[OCaml]
OCaml windows
minornew2016-08-31Unix.read exhibits two different behaviors on Windows vs Linux
  00073401[OCaml]
OCaml runtime system
featurenew2016-08-31callbacks from C to ocaml need nested functions where it shouldn't need to
  0007338 [OCaml]
OCaml typing
textconfirmed2016-08-31meta-issue on confusing type error messages
  000731314[OCaml]
OCaml typing
minorassigned (garrigue)2016-08-30Typing regression between 4.03 and 4.04 branch with signature coercion.
  0007341 [OCaml]
OCaml otherlibs
tweaknew2016-08-30num library should use custom blocks with compare function
  00072463[OCaml]
Ocaml optimization
minoracknowledged2016-08-30Unboxed version of operations on 64-bit integers for 32-bit ports
  000718012[OCaml]
OCaml runtime system
majorassigned (doligez)2016-08-30Change of behavior in Gc.major_slice in 4.03
  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
  00073392[OCaml]
OCaml otherlibs
featurenew2016-08-30Support bigarray with 0 dimension as scalar
  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
  00061739[OCaml]
OCaml general
minorassigned (garrigue)2016-08-30Typing error message is worse that before
  00058882[OCaml]
OCaml typing
tweakacknowledged (garrigue)2016-08-30Better type errors for polymorphic variants and module signatures
  00073361[OCaml]
OCaml typing
minornew2016-08-30Type errors at the module level are puzzling
  00073352[OCaml]
OCaml general
minornew2016-08-2932bit compiler can't compile binaries over 16 megabytes
  0007334 [OCaml]
OCaml typing
minornew2016-08-26-nolabels behavior doesn't match documentation
  00073232[OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  0007332 [OCaml]
OCamldoc
minornew2016-08-24Ocamldoc does not recognize included module
  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
  000731410[OCaml]
OCaml typing
blockresolved (frisch)2016-08-23In 4.04 branch the unused module warning is unsound
  00069753[OCaml]
OCaml standard library
featureconfirmed2016-08-22Truncating buffers could come in handy
  00073256[OCaml]
OCaml typing
majorresolved (garrigue)2016-08-22The type checker raises Not_found for missing cmis when checking external declarations
  00073302[OCaml]
Incoming
crashresolved (garrigue)2016-08-22Missing exhaustivity check for extensible variant
  0007331 [OCaml]
OCamldoc
minornew2016-08-21Ocamldoc hangs when module references itself
  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
  00073281[OCaml]
Ocaml optimization
minorassigned (chambart)2016-08-18Flambda optimizes away code that raises Division_by_zero
  00073244[OCaml]
OCaml typing
crashresolved (garrigue)2016-08-18Assert_failure typing/ctype.ml:1390:10
  00073032[OCaml]
OCaml runtime system
featurenew2016-08-16[GC] Change the goal of the marking phase.
  00073272[OCaml]
OCaml runtime system
minornew2016-08-16Remove -Werror from installed Makefile.config
  00059845[OCaml]
OCaml typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
  00073211[OCaml]
OCaml typing
minorconfirmed (garrigue)2016-08-16Private type in signature clashes with type definition via functor instantiation
  00073261[OCaml]
OCaml backend (code generation)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
  00073105[OCaml]
OCaml general
featurenew2016-08-08per-type fragile match warning
  00071525[OCaml]
OCaml typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
  00073223[OCaml]
OCaml documentation
minoracknowledged2016-08-06incorrect example code in 20.9.2 Unboxing of specialised arguments
  0007320 [OCaml]
OCaml typing
featurenew2016-08-05Relaxing the value restriction some more
  0007319 [OCaml]
OCaml typing
minornew2016-08-04Provide a way to ignore existentials in GADT pattern matching
  00057361[OCaml]
OCaml typing
featureconfirmed (garrigue)2016-08-04Support GADTs in or-patterns
  00072333[OCaml]
OCaml typing
featureresolved (garrigue)2016-08-04Support GADT equations on non-local abstract types
  0007318 [OCaml]
OCaml typing
tweaknew2016-08-04information in the typing error message could be made more precise
  00073161[OCaml]
OCaml typing
tweaknew2016-08-04information in the typing error message could be made more precise
  0007317 [OCaml]
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
tweaknew2016-08-04Intermixed output of Ocaml toplevel
  00073154[OCaml]
OCaml typing
tweakresolved (gasche)2016-08-04location information in the typing error message could be made more precise
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker