summaryrefslogtreecommitdiffstats
path: root/testsuite
AgeCommit message (Collapse)Author
2015-02-05Fix PR#6768: Typechecker overflow the stack on cyclic typeJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-02-05configure: add test for cygwin64Damien Doligez
Makefile: fix compilation of checkstack tests/callback: fix compilation git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-01-17Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15783 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-01-17Fix PR#6171: Error message confusing for the beginner when a type escapes ↵Jacques Garrigue
its scope. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-01-17partial fix of PR#6744Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27PR#5887: windows testsuite fixGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15761 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27PR#5887: windows testsuite fixGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27PR#5887: move the byterun/*.h headers to byterun/caml/*.h to avoid header ↵Gabriel Scherer
name clashes (Jérôme Vouillon and Adrien Nader and Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27PR#6714: allow [@@ocaml.warning] on most structure and signature items ↵Gabriel Scherer
(values, modules, module types) (Peter Zotov) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15752 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-24PR#6665: Failure of tests/asmcomp on sparcDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15744 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21minor fixes to some testsuite testsGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21PR#6494: Add equal function in modules Big_int, Bytes, Char, Digest, Int32, ↵Gabriel Scherer
Int64, Nativeint, Num and String (Romain Calascibetta) From: Romain Calascibetta <romain.calascibetta@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21testsuite/Makefile.toplevel: make terminal DUMB by default (tests rely on this)Gabriel Scherer
Currently it is not equivalent to do: cd testsuite; make one DIR=tests/$foo and cd testsuite/tests/$foo; make because the latter will not set TERM=dumb and toplevel tests will use nice escape-code location highlighting instead of ASCII-made squiggly lines, which breaks the tests. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-21PR#6466: use "extensible variant" rather than "open" types in error messageGabriel Scherer
(Leo White) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-19Fix PR#6726: Access to the wrong field of aliased moduleJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-16Fix PR#6716: Assertion failure with existentials + inline records + rowsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-13Simplify the definition of custom .{} operatorsGabriel Scherer
This commits modify the Bigarray syntax extension in order to facilitate the use of custom .{} operators. The compatibility with the existing Bigarray syntax has been preserved as much as possible. However, this commit will break code which use the Bigarray .{} syntax without opening the Bigarray module first! Like the previous commit, this commit modifies the parser to desugar bigarray1.{index} to ( .{} ) bigarray1 index. Following the bigarray syntax, the index operator used in the desugaring changes if the index is a n-tuple: 1-tuple => .{} 2-tuple => .{,} 3-tuple => .{,,} 4 and more tuples => .{,..,} The bigarray modules has been modified to use this new index operators. Note that this means that these index operators are not anymore accessible without opening the bigarray module. From: octachron <octa@polychoron.fr> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15662 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-13harden testsuite/makefile/Makefile.dlambda wrt identifiers with quotesGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-08fix PR#6690Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15637 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-25correct PR#6674Luc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-23testsuite/lib-hashtbl: use LICENSE rather than /usr/share/dict/words to ↵Gabriel Scherer
avoid excessive test time git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17specialize_comparison: also specialize bool and all-constant-constructors typesGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17minor sed portability fix...Gabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17Add translprim testsuiteGabriel Scherer
From: Frederic Bour <frederic.bour@lakaban.net> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15585 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-17testsuite/makefiles: a more robust -dlambda testGabriel Scherer
From: Gabriel Scherer <gabriel.scherer@gmail.com> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-12tentative fix of PR#6651Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-12add repro case for PR#51Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15575 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-10Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15574 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-11-07Solve PR#6646, ie avoid introducing huge jump summariesLuc Maranget
and unshared default clauses in the presence of many (>= 32) non-matched constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-15merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-02Fix PR#6593: Functor application in tests/basic-modules failsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-01Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26Merge with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-26testsuite: add empty file to prevent svn merge from adding incompatible ↵Damien Doligez
tests automatically git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-25Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-11PR#6554: race condition in caml_get_raw_backtraceMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-09-04Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez
15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-17Fix PR#6516 in testsuiteFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-12Bug is fixed.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-12Accept test result.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-12#5528: type extensions can create local type names t.A without an explicit ↵Alain Frisch
local type t (if the extended type is non-local). We must thus check explicitly uniqueness of synthesized type names t.A instead of relying on uniqueness of declared types as before (well, we already had the problem if someone redefined a local exn type). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-07Accept.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-07Sync with trunk. Rebinding of inlined extension constructors with free ↵Alain Frisch
variables is not yet supported. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-06-05Fix for PR#6441 (Stefan Holdermans)Gabriel Scherer
During closure conversion, the right-hand side of a functional binding in a recursive binding group is now always closed as a named expression rather than an anonymous expression. As a result, direct recursive calls do not need to retrieve their target from a closure environment. This does not only result in more efficient code being generated, but also avoids a potential blocker for successful tail-call detection during pseudo-instruction selection. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-06-05Reflecting commit 14963 on version/4.02:Xavier Leroy
PR#2719: wrong scheduling of bound checks within a try...with Invalid_argument -> _ ... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-23fix gc-roots test case for no-naked-pointersMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-22Fix ocamldoc test to follow new interface; add object type testMaxence Guesdon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14910 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-14replay trunk@14523: warn on non-principal format6 coercionsGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-31 02:48:07 +0000