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 (101 - 150 / 1347)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]
    PID # CategorySeverityStatusUpdatedSummary
  00076955[OCaml]
typing
minorresolved (garrigue)2018-04-09Fatal error: exception Ctype.Unify(_)
  000613914[OCaml]
otherlibs
featureresolved (gasche)2018-04-09reversing the Unix and Bigarray dependency
  00076663[OCaml]
middle end (typedtree to clambda)
minorresolved (nojebar)2018-04-09miscompilation of the "%raise_with_backtrace" primitive.
  00076743[OCaml]
standard library
minorresolved (nojebar)2018-04-09Segmentation fault when passing extra arguments to Printexc.raise_with_partial_backtrace
  000715110[OCaml]
typing
featureacknowledged2018-04-08Extended package type subtyping
  00077544[OCaml]
dynlink and natdynlink
minoracknowledged2018-04-06camlCamlinternalOO module is not linked when using Dynlink
  000449912[OCaml]
platform support (windows, cross-compilation, etc)
minorresolved (nojebar)2018-04-05Changes to the environment are invisible to Sys.getenv
  00077643[OCaml]
standard library
minorresolved (gasche)2018-04-05List.init vs js_of_ocaml
  00077234[OCaml]
typing
minorassigned (lpw25)2018-04-05with type removes module aliases, which breaks soundness
  00076633[OCaml]
typing
minorresolved (octachron)2018-04-04suboptimal error message
  00076133[OCaml]
documentation
minorresolved (octachron)2018-04-01Manual's description of refutation cases is unclear
  00052194[OCaml]
configure and build/install
minorresolved (shindere)2018-03-29use $(INSTALL) instead of 'cp' in Makefiles
  00077576[OCaml]
lexing and parsing
featurenew2018-03-29More concise Bigarray.Genarray indexing syntax wanted
  00077521[OCaml]
typing
featureresolved (lpw25)2018-03-28Surprising weakening of module signature: module alias disappears after adding module equality constraint
  00077562[OCaml]
standard library
featurenew2018-03-28Printf.ksprintf could call the continuation on %!
  0007759 [OCaml]
runtime system and C interface
minornew2018-03-28Ctrl-c in interpreter OCaml crash mintty.exe
  00071402[OCaml]
typing
featurefeedback2018-03-22module expression in open
  00076854[OCaml]
configure and build/install
minorconfirmed2018-03-20OpenIndiana: failing test float
  00077249[OCaml]
runtime system and C interface
featureacknowledged2018-03-16Performance improvements when printing integers stored in floats
  00077532[OCaml]
language features
featureresolved (frisch)2018-03-16Would it be possible to use (automatic) region-based memory management in OCaml?
  00077513[OCaml]
toplevel
minorconfirmed (garrigue)2018-03-13occasionally unhelpful behavior of toplevel when printing values
  000713413[OCaml]
typing
featureassigned (garrigue)2018-03-13compiler forcing aliases it shouldn't while reporting type errors
  000769714[OCaml]
platform support (windows, cross-compilation, etc)
minorconfirmed2018-03-12static linking fails
  0007744 [OCaml]
runtime system and C interface
tweaknew2018-03-12Symbols mentioned in compatibility.h but not declared anywhere else
  0007696 [OCaml]
typing
minornew2018-03-08record expression deleted when all fields specified
  000718015[OCaml]
runtime system and C interface
minorassigned (doligez)2018-03-08Change of behavior in Gc.major_slice in 4.03
  00071585[OCaml]
otherlibs
majorresolved2018-03-08Event.sync forces a full major GC cycle every 5000 calls at most
  00077472[OCaml]
typing
minorresolved (garrigue)2018-03-01Type checker can loop infinitly and consumes all computer memory
  00077397[OCaml]
typing
minorconfirmed (garrigue)2018-03-01Abstract type and private type don't have same behavioir with type equality
  00077481[OCaml]
compiler driver
tweakacknowledged (dra)2018-02-28Improving the --version directive
  0007746 [OCaml]
back end (clambda to assembly)
minornew2018-02-26dose3 needs more than 8GB of memory to compile with flambda
  00077433[OCaml]
typing
featurenew2018-02-23Making the compiler independent from syntactic constraints on ident capitalization
  00077427[OCaml]
lexing and parsing
minorresolved (gasche)2018-02-22Local open can raise type error (as expected) or warning or even no problem (as unexpected) depending on how it is used.
  00077412[OCaml]
typing
minornew2018-02-22Failure to report escaping type variable.
  00067444[OCaml]
typing
minorassigned (garrigue)2018-02-21Univars can escape through polymorphic variants
  00077403[OCaml]
compiler driver
minorresolved2018-02-21ISO-Latin 1 characters with Linux does not work version 4.02.3-9 for Debian
  00077376[OCaml]
compiler driver
minorresolved (octachron)2018-02-21A few character codes do not match in ISO 8859-1 with an azerty keyboard
  00077383[OCaml]
compiler driver
minorresolved (gasche)2018-02-21Asmlink should also reset ccobjs/ccopts
  00076292[OCaml]
typing
minoracknowledged2018-02-20False typing error when using pre-compiled .cmi through -intf-suffix option
  00077282[OCaml]
compiler driver
minorresolved2018-02-18this time strange compiler behavior in separate compilation with several semicolons and characters after
  00077293[OCaml]
runtime system and C interface
minoracknowledged2018-02-18caml/misc.h leaks reserved identifier
  00077277[OCaml]
toplevel
minorresolved2018-02-18Multiple semicolons at the end of a line with no error mentioned
  00077221[OCaml]
back end (clambda to assembly)
minoracknowledged2018-02-17caml_modify with int type parameter in GADT
  00077102[OCaml]
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved2018-02-11ocamldep -sort returns success despite cyclic files warning
  00077171[OCaml]
typing
minorresolved (chambart)2018-02-01Recursive value check consider unboxed constructor as having statically known size.
  00077181[OCaml]
typing
minornew2018-02-01Bad interraction between let-rec and no-naked-pointers
  0007716 [OCaml]
compiler driver
minornew2018-01-30Reverse ordering of .so arguments and "-dllib -l" options in ocamlc's command line
  00077113[OCaml]
typing
minorresolved (garrigue)2018-01-30Internal typechecker error triggered by a constraint on self type in a class type
  000763615[OCaml]
typing
minorconfirmed (garrigue)2018-01-30Constant type can not be generalized ?
  00062011[OCaml]
typing
minoracknowledged2018-01-29printing of types inconsistent with -short-paths
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker