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 / 1619)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
OCaml typing
minorfeedback (garrigue)2015-05-03-short-paths slow :(
OCaml documentation
minorresolved (gasche)2015-05-02ocamlopt generates zero-length .annot file; ocamlc generates full file
OCaml runtime system
minorfeedback (shinwell)2015-05-02RFE: build libasmrun_shared too
OCamlbuild (the tool)
featureacknowledged2015-05-02Teach ocamlbuild to create shared libraries using -output-obj
OCaml general
majorresolved (shinwell)2015-05-02Unable to build Android cross-compiler with OCaml 4.02.0
OCaml general
minorresolved (frisch)2015-05-02pprintast bug around constraint in 4.02.1
OCaml internal build/install (Makefiles, configure)
minorresolved (gasche)2015-05-02Install .cmt[i] files.
OCaml tools (ocaml{lex,yacc,dep,browser,debug})
minorresolved (garrigue)2015-05-02Toplevel with -short-paths doesn't select shortest type paths
OCaml general
minorresolved (frisch)2015-05-02Support for custom #... symbols (processed by ppx rewriters)
OCaml runtime system
minorresolved (dim)2015-05-02Release the runtime system when calling caml_dlopen
OCaml standard library
tweakresolved (frisch)2015-05-02Guarantee that Set.add doesn't allocate and returns the original set if the added element is already in the set
OCamlbuild (the tool)
minorresolved (gasche)2015-05-02ocamlbuild pass too many (or not enought) arguments to ocamlfind for compiling C sources
OCaml general
minorresolved (whitequark)2015-05-02-use-runtime is broken without -custom
OCaml general
minorassigned (doligez)2015-05-02-output-obj should support autolink
OCaml general
minorresolved (doligez)2015-05-02Cross-compilers cannot link bytecode executables using custom primitives
OCaml general
featurefeedback (doligez)2015-05-02Cross compilation for iOs, Android etc
OCaml general
featureacknowledged2015-05-01ocaml{c,opt} may truncate and recreate a .cmi, leading to (rare) failures of make -j
OCaml general
minorresolved (gasche)2015-05-01Weak dependencies should be recorded even if not present
OCaml typing
minorconfirmed (garrigue)2015-04-30GADT exhaustiveness check incompleteness
OCaml typing
minoracknowledged (garrigue)2015-04-30another broken GADT exhaustiveness check
OCaml typing
minorassigned (garrigue)2015-04-30GADT type information is not used to detect unused match cases
   0005998 [OCaml]
OCaml typing
featureassigned (garrigue)2015-04-30GADT typing and exhaustiveness bugs
OCaml general
majoracknowledged2015-04-29Toplevel let should take attributes.
OCaml general
minorfeedback (doligez)2015-04-29New mode where ocamlc doesn't check list of primitives
OCamlbuild (the tool)
minorresolved (dim)2015-04-29ocamlbuild should pass -package flags when building C files
  0006786 [OCaml]
OCaml typing
minoracknowledged2015-04-29type error involving 'include' and applicative functors
  0006854 [OCaml]
OCaml documentation
minornew2015-04-29Manual example does not initialize compare_ext field
OCaml otherlibs
majornew2015-04-28Cannot close properly a file with memory mapped blocks (Bigarray.map_file)
OCaml typing
minorassigned (garrigue)2015-04-28Type-based selection of GADT constructors
OCaml runtime system
crashfeedback2015-04-28The runtime does not expose a way to reliably kill the "tick" thread, leading to segfault after exiting the runtime
OCaml otherlibs
minorfeedback2015-04-28Builtin pathname for Graphics library wrong
minorresolved2015-04-27Cannot use Custom Documentation Generator with OASIS
OCaml typing
minornew2015-04-27Inverted pattern unification error
  0006801 [OCaml]
OCaml typing
minorconfirmed2015-04-27Exhaustiveness messages for GADTs suggest patterns that will not type check
OCaml documentation
textresolved (gasche)2015-04-26French word "disparition" in English documentation
OCaml general
featureresolved (gasche)2015-04-26please add List.cons
OCaml standard library
featureresolved (gasche)2015-04-26List.cons function
OCaml internal build/install (Makefiles, configure)
minorresolved (gasche)2015-04-26Build fails with prefixed tools
OCaml documentation
majorresolved (gasche)2015-04-26Refman tells fun can take a guard.
OCaml internal build/install (Makefiles, configure)
minorresolved (gasche)2015-04-26utils/edit_distance test fails if ocaml.opt is not built
OCaml standard library
minorresolved (gasche)2015-04-26Weird behavior with partial application of Format.asprintf.
OCaml typing
minorresolved (gasche)2015-04-26Generalization with function-constructors
OCaml backend (code generation)
crashresolved (shinwell)2015-04-24subst_boxed_number sometimes fails to record that a boxed value is needed
OCaml general
featureacknowledged (garrigue)2015-04-23lack of syntax for pattern-matching with no branches
OCaml general
trivialresolved (garrigue)2015-04-23Typemod.modtype_of_package should be exported so that it is usable via compiler-libs
OCaml backend (code generation)
minorresolved (gildor)2015-04-22asmcomp/arch.cmi and asmcomp/mach.cmi make inconsistent assumptions over interface Arch on RPi only
OCaml typing
minorresolved (garrigue)2015-04-22program (mistakenly?) rejected due to nongeneralizable type variable that appears nowhere
OCaml typing
featurenew2015-04-21Type "while true do ... done" specially
OCaml typing
tweakresolved (frisch)2015-04-21Improve signature mismatch error messages
OCaml backend (code generation)
featureacknowledged2015-04-21wish that ocamlopt compile .cpp files as well as c files
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker