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
minorresolved (garrigue)2018-04-09Fatal error: exception Ctype.Unify(_)
featureresolved (gasche)2018-04-09reversing the Unix and Bigarray dependency
middle end (typedtree to clambda)
minorresolved (nojebar)2018-04-09miscompilation of the "%raise_with_backtrace" primitive.
standard library
minorresolved (nojebar)2018-04-09Segmentation fault when passing extra arguments to Printexc.raise_with_partial_backtrace
featureacknowledged2018-04-08Extended package type subtyping
dynlink and natdynlink
minoracknowledged2018-04-06camlCamlinternalOO module is not linked when using Dynlink
platform support (windows, cross-compilation, etc)
minorresolved (nojebar)2018-04-05Changes to the environment are invisible to Sys.getenv
standard library
minorresolved (gasche)2018-04-05List.init vs js_of_ocaml
minorassigned (lpw25)2018-04-05with type removes module aliases, which breaks soundness
minorresolved (octachron)2018-04-04suboptimal error message
minorresolved (octachron)2018-04-01Manual's description of refutation cases is unclear
configure and build/install
minorresolved (shindere)2018-03-29use $(INSTALL) instead of 'cp' in Makefiles
lexing and parsing
featurenew2018-03-29More concise Bigarray.Genarray indexing syntax wanted
featureresolved (lpw25)2018-03-28Surprising weakening of module signature: module alias disappears after adding module equality constraint
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
featurefeedback2018-03-22module expression in open
configure and build/install
minorconfirmed2018-03-20OpenIndiana: failing test float
runtime system and C interface
featureacknowledged2018-03-16Performance improvements when printing integers stored in floats
language features
featureresolved (frisch)2018-03-16Would it be possible to use (automatic) region-based memory management in OCaml?
minorconfirmed (garrigue)2018-03-13occasionally unhelpful behavior of toplevel when printing values
featureassigned (garrigue)2018-03-13compiler forcing aliases it shouldn't while reporting type errors
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]
minornew2018-03-08record expression deleted when all fields specified
runtime system and C interface
minorassigned (doligez)2018-03-08Change of behavior in Gc.major_slice in 4.03
majorresolved2018-03-08Event.sync forces a full major GC cycle every 5000 calls at most
minorresolved (garrigue)2018-03-01Type checker can loop infinitly and consumes all computer memory
minorconfirmed (garrigue)2018-03-01Abstract type and private type don't have same behavioir with type equality
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
featurenew2018-02-23Making the compiler independent from syntactic constraints on ident capitalization
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.
minornew2018-02-22Failure to report escaping type variable.
minorassigned (garrigue)2018-02-21Univars can escape through polymorphic variants
compiler driver
minorresolved2018-02-21ISO-Latin 1 characters with Linux does not work version 4.02.3-9 for Debian
compiler driver
minorresolved (octachron)2018-02-21A few character codes do not match in ISO 8859-1 with an azerty keyboard
compiler driver
minorresolved (gasche)2018-02-21Asmlink should also reset ccobjs/ccopts
minoracknowledged2018-02-20False typing error when using pre-compiled .cmi through -intf-suffix option
compiler driver
minorresolved2018-02-18this time strange compiler behavior in separate compilation with several semicolons and characters after
runtime system and C interface
minoracknowledged2018-02-18caml/misc.h leaks reserved identifier
minorresolved2018-02-18Multiple semicolons at the end of a line with no error mentioned
back end (clambda to assembly)
minoracknowledged2018-02-17caml_modify with int type parameter in GADT
tools (ocaml{lex,yacc,dep,debug,...})
minorresolved2018-02-11ocamldep -sort returns success despite cyclic files warning
minorresolved (chambart)2018-02-01Recursive value check consider unboxed constructor as having statically known size.
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
minorresolved (garrigue)2018-01-30Internal typechecker error triggered by a constraint on self type in a class type
minorconfirmed (garrigue)2018-01-30Constant type can not be generalized ?
minoracknowledged2018-01-29printing of types inconsistent with -short-paths
  [ First Prev 1 2 3 4 5 6 7 8 9 10 11 ...  Next Last ]


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker