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
featureresolved (gasche)2016-08-31There is no way to set the whole-module comment for a text
OCaml windows exhibits two different behaviors on Windows vs Linux
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
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
Ocaml optimization
minoracknowledged2016-08-30Unboxed version of operations on 64-bit integers for 32-bit ports
OCaml runtime system
majorassigned (doligez)2016-08-30Change of behavior in Gc.major_slice in 4.03
OCaml general
majoracknowledged2016-08-30Custom blocks are finalized more than once if stored in OCaml's weak sets (probably related to Weak.get_copy)
OCaml typing
minorresolved (lpw25)2016-08-30type error involving 'include' and applicative functors
OCaml otherlibs
featurenew2016-08-30Support bigarray with 0 dimension as scalar
OCaml typing
majorresolved (gasche)2016-08-30Unexpected behaviour of T with module M = N (to me at least)
OCaml typing
minoracknowledged2016-08-30"with module" semantics seem broken
OCaml general
minorassigned (garrigue)2016-08-30Typing error message is worse that before
OCaml typing
tweakacknowledged (garrigue)2016-08-30Better type errors for polymorphic variants and module signatures
OCaml typing
minornew2016-08-30Type errors at the module level are puzzling
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
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (hongboz)2016-08-26ocamllex -ml does not generate code compilable with -safe-string
  0007332 [OCaml]
minornew2016-08-24Ocamldoc does not recognize included module
OCaml typing
minorassigned (garrigue)2016-08-23compiler forcing aliases it shouldn't while reporting type errors
OCaml typing
minorresolved (garrigue)2016-08-23Combination of -short-paths and -no-alias-deps can create inconsistent assumptions
OCaml typing
blockresolved (frisch)2016-08-23In 4.04 branch the unused module warning is unsound
OCaml standard library
featureconfirmed2016-08-22Truncating buffers could come in handy
OCaml typing
majorresolved (garrigue)2016-08-22The type checker raises Not_found for missing cmis when checking external declarations
crashresolved (garrigue)2016-08-22Missing exhaustivity check for extensible variant
  0007331 [OCaml]
minornew2016-08-21Ocamldoc hangs when module references itself
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 optimization
minorassigned (chambart)2016-08-18Flambda optimizes away code that raises Division_by_zero
OCaml typing
crashresolved (garrigue)2016-08-18Assert_failure typing/
OCaml runtime system
featurenew2016-08-16[GC] Change the goal of the marking phase.
OCaml runtime system
minornew2016-08-16Remove -Werror from installed Makefile.config
OCaml typing
minorresolved (garrigue)2016-08-16Variance information is not properly propagated through functor applications
OCaml typing
minorconfirmed (garrigue)2016-08-16Private type in signature clashes with type definition via functor instantiation
OCaml backend (code generation)
crashresolved (shinwell)2016-08-15Operator definition breaks amd64 assembly code with Spacetime
OCaml general
featurenew2016-08-08per-type fragile match warning
OCaml typing
majorresolved (garrigue)2016-08-08A typing equality is lost in 4.03 branch compared to 4.02.3
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
OCaml typing
featureconfirmed (garrigue)2016-08-04Support GADTs in or-patterns
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
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
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 ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker