Mantis Bug Tracker

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any none       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any No 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
- Search  Advanced Filters ]

Viewing Issues (101 - 150 / 321)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
featureresolved (frisch)2015-12-02[patch] use proper error reporting for toplevel's environment initialization
Ocaml optimization
featureresolved (frisch)2015-12-02intermediate float boxing with inlined functions that contain a branch
OCaml typing
featureconfirmed2015-12-02simplify using gadt with lambda
OCaml general
minorresolved (frisch)2015-12-01warning 45 doesn't play well with re-exported type definitions
OCaml general
minorresolved (dim)2015-11-30Use of @@ seems to trip backtrace line reports
OCaml typing
minorassigned (garrigue)2015-11-30`as` ignored on types containing universal variables
OCaml documentation
minorclosed2015-11-30Integrate the OCaml manual inside the git repository
OCaml typing
crashresolved (garrigue)2015-11-30Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type.
OCaml typing
crashresolved (garrigue)2015-11-30Assert failure from polymorphic variants and existentials
OCaml typing
minorresolved (garrigue)2015-11-30wrong type error with -no-alias-deps when a cmi is missing
OCaml general
featureassigned (gasche)2015-11-28An "-args <path>" option to pass command-line flags in a file
OCaml standard library
minorresolved2015-11-28Improving marshaling of big values on 64 bit platforms.
OCaml backend (code generation)
minorresolved2015-11-28Compilation failure related to unboxing Int64 on 32-bit machines
OCaml otherlibs
minorresolved2015-11-26Str library: $ inconsistency
OCaml typing
minorresolved (garrigue)2015-11-26GADT exhaustiveness check incompleteness
OCaml typing
minorresolved (garrigue)2015-11-24Variance information is not properly propagated through functor applications
OCaml general
minorfeedback (garrigue)2015-11-23Namespace pollution when using 'module type of' in an explicit interface for a pack
OCaml internal build/install (Makefiles, configure)
minorresolved2015-11-23make: Fatal error: Command failed for target `utils/'
OCaml otherlibs
minorresolved2015-11-23Builtin pathname for Graphics library wrong
OCaml runtime system
minorconfirmed2015-11-23Allocation of huge byte sequence raises Out_of_memory even when there is enough of free memory
OCaml general
minorresolved2015-11-22Incorrect module initialisation order with "external" declarations
OCaml typing
majorresolved2015-11-21Performance bottleneck in
OCaml general
minoracknowledged2015-11-20ocamlrun gets confused on cygwin if the name of the supplied bytecode file clashes with another file in the path
OCaml otherlibs
minoracknowledged2015-11-20Bad memory cleanup of DLL using Thread module
minoracknowledged2015-11-19Support for other inputenc than latin1 in ocamldoc -latex
OCaml backend (code generation)
majorresolved (xleroy)2015-11-19CSE optimization confuses -0.0 with 0.0
OCaml windows
minoracknowledged2015-11-15Unix.create_process fails to call programs with spaces in path given arguments with spaces
OCaml runtime system
majorfeedback (shinwell)2015-11-15File "", line 63, characters 6-12: Assertion failed.
OCaml otherlibs
minorresolved2015-11-11Unix.getsockname and unnamed PF_UNIX sockets
OCaml general
minorresolved (lpw25)2015-11-03ocamldoc comments no longer in the cmt_comments field of .cmt files
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 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 standard library
majorclosed (doligez)2015-10-19Buffer.contents causes Segmentation fault
OCaml typing
minorresolved (garrigue)2015-10-16compiler fails with Stack overflow
OCaml standard library
featureconfirmed2015-10-07custom format
OCaml general
minorconfirmed2015-09-26Weird syntax accepted by OCaml
OCaml internal build/install (Makefiles, configure)
featureacknowledged2015-09-10Native code compiler for 32-bit OS X
OCaml typing
minoracknowledged2015-09-09Type $t is not included in type $t
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 general
minorfeedback2015-08-27warning 50 (documentation comments) too strict
OCaml otherlibs
majorresolved (gasche)2015-08-16memory leak in bigarray read from file
OCaml typing
minorassigned (garrigue)2015-08-16Regression with -principal type inference
  0006955 [OCaml]
OCaml documentation
textacknowledged2015-08-09"opaque" option is not in OCAMLPARAM nor man pages
Ocaml optimization
tweakresolved (gasche)2015-07-27Tiny optim to avoid some spilling of floats in x87
Ocaml optimization
minorresolved (frisch)2015-07-27Simple missing case of float unboxing
  [ First Prev 1 2 3 4 5 6 7 Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker