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 / 1505)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  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
  0007333 [OCaml]
featurenew2016-08-24There is no way to set the whole-module comment for a text
  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 typing
blockassigned (garrigue)2016-08-23Typing regression between 4.03 and 4.04 branch with signature coercion.
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
OCaml typing
minoracknowledged2016-08-06"with module" semantics seem broken
  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
OCaml backend (code generation)
featureresolved (chambart)2016-08-03[patch] Generate direct call inside inlined function
OCaml typing
minorconfirmed (garrigue)2016-08-03GADT matching allows dummy method to escape
OCaml typing
crashresolved (garrigue)2016-08-03-principal causes loop in type checker when compiling
OCaml typing
minorresolved (garrigue)2016-08-03-strict-sequence turns off "Warning 21: this statement never returns"
OCaml typing
tweakresolved (garrigue)2016-08-03Extensible variant types and scope escaping
OCaml typing
minorresolved (garrigue)2016-08-01program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
  0007312 [OCaml]
OCaml internal build/install (Makefiles, configure)
tweaknew2016-08-01Build compiler distribution tools with $(EXE) extension from the start
Ocaml optimization
crashassigned (shinwell)2016-08-01fatal error during flambda pass
OCaml backend (code generation)
minorresolved (shinwell)2016-08-01CamlinternalLazy not flambda-proof?
  0007311 [OCaml]
OCaml documentation
textnew2016-08-01Document ocaml_compiler_internal_params
OCaml documentation
minoracknowledged2016-08-01OCAMLPARAM is not documented
OCaml general
featurenew2016-08-01provides a `update` function for map
OCaml backend (code generation)
crashresolved (shinwell)2016-07-31Segfault with flambda -03, perhaps related to lazy values
OCamlbuild (the tool)
minorconfirmed2016-07-30ocamlbuild -clean says directory is not empty
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker