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 (651 - 700 / 1476)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml documentation
minorresolved (gasche)2015-11-19Allow OCaml manual to be built independently
OCaml backend (code generation)
majorresolved (xleroy)2015-11-19CSE optimization confuses -0.0 with 0.0
OCaml standard library
minorresolved (frisch)2015-11-17List.sort_uniq does not specify which element is kept
OCaml typing
minorresolved (garrigue)2015-11-17GADT typing regression in latest trunk vs. 4.02.3
  0007044 [OCaml]
OCaml runtime system
featurenew2015-11-16Feature proposal: provide type specialization function for boolean and give an warning when a generic comparison is used
  0007043 [OCaml]
OCaml standard library
featurenew2015-11-15atomic_init, compare_and_swap, atomic_add
OCaml general
featureassigned (garrigue)2015-11-15Comparing lazy values
OCaml typing
minorresolved2015-11-15the typer fails reading unnecessary cmis with -no-alias-deps and -w -49
OCaml general
featureacknowledged2015-11-15Feature request: allow to declare a method final.
OCaml backend (code generation)
majorresolved2015-11-15Incorrect propagation of -0.
OCaml standard library
majorresolved2015-11-15null bytes truncate filenames given to Sys and Unix
Ocaml optimization
minorresolved (frisch)2015-11-12Unboxing should be done earlier, avoiding a second pass
OCaml otherlibs
minorresolved2015-11-11Unix.getsockname and unnamed PF_UNIX sockets
Ocaml optimization
minorresolved (dim)2015-11-05Make Int64.bits_of_float and Int64.float_of_bits %-primitives
OCaml typing
minorresolved (garrigue)2015-11-05Module alias is not taken into account when checking module type compatibility (in a class type)
OCaml standard library
featurenew2015-11-04Proposal: add some primitives to allow user detect whether the backend is javascript or native
OCaml general
minorresolved (lpw25)2015-11-03ocamldoc comments no longer in the cmt_comments field of .cmt files
OCaml standard library
featureresolved (gasche)2015-10-31A new format implementation based on GADTs
OCaml standard library
featureresolved (gasche)2015-10-31More efficient ifprintf implementation
OCaml internal build/install (Makefiles, configure) fails to build
OCaml standard library
minorresolved2015-10-27wrong Printf.printf output for integers with '0' flag
OCaml runtime system
crashresolved2015-10-27The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime
OCaml general
featurenew2015-10-23Proposal: flag duplicate parameters as error
OCaml typing
minorresolved (garrigue)2015-10-23Exhaustiveness messages for GADTs suggest patterns that will not type check
OCaml general
featureresolved (garrigue)2015-10-23lack of syntax for pattern-matching with no branches
OCaml typing
minorresolved (garrigue)2015-10-23another broken GADT exhaustiveness check
OCaml general
featurenew2015-10-20Syntax for re-exporting constructors / fields
OCaml general
minorresolved (garrigue)2015-10-18Confusing error message when mixing polymorphic variant and type variable name starting with a capital letter
OCaml typing
minorresolved (garrigue)2015-10-16compiler fails with Stack overflow
OCaml typing
majorresolved (garrigue)2015-10-16Infinite loop in type checker with module aliases
  0007020 [OCaml]
OCaml runtime system
featurenew2015-10-16Proposal: refine there primitives %obj_size, %obj_field, %obj_set_field
OCaml typing
minorresolved2015-10-16Compiler accepts multiple +/- signs between numbers
OCaml typing
minorresolved (garrigue)2015-10-16Segfault from recursive modules violating exhaustiveness assumptions
OCaml general
featureresolved (frisch)2015-10-15native compilation optimization of tuple assignment
OCaml backend (code generation)
minorresolved (frisch)2015-10-15Missing renaming during inlining?
  0007005 [OCaml]
OCaml general
featurenew2015-10-05Deprecation warnings for types should not be emitted for the definition itself
OCaml typing
featureresolved (lpw25)2015-10-05GADT variance
OCaml standard library
featurefeedback2015-10-03Allowing to modify Buffers in place
OCaml general
minorresolved (gasche)2015-09-24Weak dependencies should be recorded even if not present
OCaml standard library
featurenew2015-09-22Add functions related to type ('a, 'b) result
OCaml general
featureconfirmed (doligez)2015-09-17ocamldebug should see through abstract interfaces
OCaml standard library
featureacknowledged2015-09-14Format: invert breakable and non-breakable spaces
Ocaml optimization
minorresolved (frisch)2015-09-10Weird performance on numerical code on x86
OCaml general
minorresolved (garrigue)2015-09-10`module type of struct include Bar end` exposes %s#row when Bar contains private row types
OCaml typing
minorresolved (garrigue)2015-09-09Aliased result type of GADT constructor results in assertion failure
OCaml general
minorresolved (garrigue)2015-09-09Compiler ignores types in .cmi file [problems with #trace]
OCaml typing
minorresolved (garrigue)2015-09-09Incorrect error message
OCaml typing
minorresolved (garrigue)2015-09-09let module X = Path in … is not typed as a module alias
OCaml typing
minorresolved (garrigue)2015-09-09unexpected type error when packing a module alias
OCaml standard library
minorresolved (gasche)2015-08-24Genlex fails to parse (e.g.) the string "42e"
  [ First Prev  ... 9 10 11 12 13 14 15 16 17 18 19 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker