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 (351 - 400 / 1200)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 3 4 5 6 7 8 9 10 11 12 13 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00054298[OCaml]
otherlibs
minorresolved2017-03-15Unix.stat behaves differently on win32 and linux
  00052503[OCaml]
runtime system and C interface
minorassigned (dra)2017-03-15ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path
  00052192[OCaml]
configure and build/install
minorassigned (shindere)2017-03-15use $(INSTALL) instead of 'cp' in Makefiles
  00050021[OCaml]
ocamldoc
minorassigned (guesdon)2017-03-15ocamldoc lost "with type" in "include ... with type ..."
  00046861[OCaml]
ocamldoc
minorconfirmed2017-03-15Wrong module signature in generated doc
  00041738[OCaml]
otherlibs
minoracknowledged2017-03-15Bad memory cleanup of DLL using Thread module
  00039351[OCaml]
typing
minoracknowledged2017-03-15Structural types forming non-regular trees can be defined through recursive modules.
  00036744[OCaml]
typing
featureacknowledged2017-03-15unterminating type checking for recursive modules
  00071301[OCaml]
typing
minorresolved (garrigue)2017-03-15Code may fail to type without -strict-sequence
  00048291[OCaml]
typing
featureacknowledged2017-03-15Recursive modules which do not type
  00048501[OCaml]
typing
featureacknowledged2017-03-15Bad interaction between subtyping and recursive modules
  00058185[OCaml]
typing
featureacknowledged (lpw25)2017-03-15Function signatures be dropped out from recursive modules within higher order functor
  0004134 [OCaml]
typing
minoracknowledged2017-03-15A tiny bug in type checking recursive modules
  00063602[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Relaxing the coherence check for with-constraint re-exports
  0006491 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle class inheritance
  00059845[OCaml]
typing
featureconfirmed (garrigue)2017-03-15Variance information is not properly propagated through functor applications
  0006492 [OCaml]
typing
featureacknowledged2017-03-15Recursive modules do not correctly handle variance
  00072401[OCaml]
typing
minorresolved (garrigue)2017-03-15limitation on how the typer fills in missing optional arguments
  00073212[OCaml]
typing
minorresolved (garrigue)2017-03-15Private type in signature clashes with type definition via functor instantiation
   00074091[OCaml]
typing
featureconfirmed2017-03-15meta-issue on type and path propagation
  00073443[OCaml]
typing
minorresolved (garrigue)2017-03-15Inconsistent order when typing constraint patterns
  00039931[OCaml]
typing
minorresolved (garrigue)2017-03-15recursive modules and type constructor scoping
  00045591[OCaml]
typing
featureacknowledged2017-03-15Object inheritance in recursive modules
  00061739[OCaml]
typing
featureassigned (garrigue)2017-03-15Typing error message is worse that before
  00075046[OCaml]
language features
tweakresolved (octachron)2017-03-15Case suggested by exhaustivity checker is wrong
  00071693[OCaml]
~DO NOT USE (was: OCaml general)
textresolved (gasche)2017-03-15Wording of non-exhaustivity warning is confusing for beginners
  00041484[OCaml]
documentation
minoracknowledged2017-03-14Description de -pack dans le manuel
  00039572[OCaml]
documentation
minoracknowledged2017-03-14[> {typexpr} as 't ] yields a syntax error with yacc syntax
  00039472[OCaml]
ocamldoc
minorassigned (guesdon)2017-03-14Bad link
  000551415[OCaml]
typing
featureacknowledged2017-03-14"with module" semantics seem broken
  000713413[OCaml]
typing
featureassigned (garrigue)2017-03-14compiler forcing aliases it shouldn't while reporting type errors
  00059274[OCaml]
typing
minorresolved (garrigue)2017-03-14Type equality broken for conjunctive polymorphic variant tags
  00061243[OCaml]
typing
minorresolved (garrigue)2017-03-14Odd behaviour of type expressions in polymorphic variant tag specifications
  00066541[OCaml]
typing
featureconfirmed2017-03-14Destructive substitution on classes produces unrepresentable module type
  00068825[OCaml]
typing
minorresolved (garrigue)2017-03-14Apparently valid program rejected by the typer
  00069708[OCaml]
typing
featureassigned (garrigue)2017-03-14equality, moregen and unification force expansion of large, non-recursive type constructors
  00050065[OCaml]
typing
featureacknowledged2017-03-14Typing problem with recursive modules
  00063802[OCaml]
typing
featureassigned (lpw25)2017-03-14-short-paths sometimes does not shorten paths
  00070931[OCaml]
typing
minorresolved (garrigue)2017-03-14Confusing error when accessing a record field that doesn't exist
  00063301[OCaml]
typing
minoracknowledged (garrigue)2017-03-14Wrong location for error with polymorphic variant patterns
  00064332[OCaml]
typing
featureacknowledged (garrigue)2017-03-14Wrong module type signature grabbed when using packed libraries
  00064673[OCaml]
typing
minorresolved (garrigue)2017-03-14include of sub-module in recursively-defined module causes loss of type equality
  00065283[OCaml]
typing
featureacknowledged (garrigue)2017-03-14type constraints alter signatures in unusual ways
  00066343[OCaml]
typing
featureacknowledged2017-03-14Type $t is not included in type $t
  00074581[OCaml]
typing
featureassigned (garrigue)2017-03-14Printing of type aliases in signatures could be improved (with nonrec)
  00070771[OCaml]
typing
featureacknowledged2017-03-14[OCaml] Typechecking limitation in presence of mutually recursive modules
  00071292[OCaml]
typing
featureacknowledged2017-03-14constraints and local opens as proper nodes vs extra field
  00069872[OCaml]
typing
minorresolved (garrigue)2017-03-14Strage error message probably caused by universal variable escape (with polymorphic variants)
  00071447[OCaml]
typing
minorresolved (garrigue)2017-03-14Strange undefined global error on trunk
  00072615[OCaml]
typing
minorresolved (garrigue)2017-03-14constraint ignored on (existential) GADT
  [ First Prev  ... 3 4 5 6 7 8 9 10 11 12 13 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker