summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Collapse)AuthorAgeFilesLines
* udate test: let supports GADTsJacques Garrigue2013-12-243-6/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* test/tool-debugger: add simple test for the debuggerDamien Doligez2013-12-195-0/+67
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge generative functorsJacques Garrigue2013-12-172-0/+66
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6275Jacques Garrigue2013-12-172-0/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6262: equality of first-class modules take module type aliases into ↵Alain Frisch2013-12-051-0/+15
| | | | | | account. Fix interaction with module inclusion. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* make the testsuite work on cygwin-64, where dynamic linking is not yet availableDamien Doligez2013-12-0310-11/+37
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* typo in test log messageDamien Doligez2013-11-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove camlp4minus-camlp4Jérémie Dimino2013-11-212-38/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6241Jacques Garrigue2013-11-193-0/+48
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6240Jacques Garrigue2013-11-181-0/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reintegrate raise_variants branch.Alain Frisch2013-11-134-15/+17
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Accept change of internal ids.Alain Frisch2013-10-232-12/+12
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix testsuite.Alain Frisch2013-10-152-3/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/raise_variants@14233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#6235 + keep typing of pattern cases independent in principal modeJacques Garrigue2013-11-133-0/+70
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | PR#6042: optimize integer division and modulus when divisor is constant.Xavier Leroy2013-11-012-0/+145
| | | | | | | | | | | | | | So far, implemented only for amd64. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Add test for PR#6216. Not fixed yet.Jacques Garrigue2013-10-303-0/+15
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#6174 (-rectypes case)Jacques Garrigue2013-10-281-0/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Fix PR#6174 (non -rectypes)Jacques Garrigue2013-10-283-0/+19
|/ | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix testsuite.Alain Frisch2013-10-102-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix tests.Alain Frisch2013-09-271-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6173: Improve error messages for type-based disambiguationJacques Garrigue2013-09-193-11/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Accept changes (spurious warnings are gone).Alain Frisch2013-09-182-26/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add test results for PR#6163Jacques Garrigue2013-09-062-0/+36
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6163Jacques Garrigue2013-09-063-0/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Fix PR#6158Jacques Garrigue2013-09-053-0/+43
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-0412-18/+46
| | | | | | | | Command line used: svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Accept changes.Alain Frisch2013-08-303-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Synchronize with trunk.Alain Frisch2013-08-2812-10/+363
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * typesJacques Garrigue2013-08-231-0/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add unification example using GADTsJacques Garrigue2013-08-213-0/+258
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6123Jacques Garrigue2013-08-203-0/+39
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * testsuite for Digest.to_hex (patch by ygrek)Gabriel Scherer2013-08-051-8/+12
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#4323: have "of_string" in Num and Big_int work with binary and hexa ↵Gabriel Scherer2013-08-043-2/+29
| | | | | | | | | | | | representations [patch by zoep] git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * allow spurious private in with constraint for backward compatibility, but warnJacques Garrigue2013-07-312-11/+6
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6090Jacques Garrigue2013-07-262-0/+28
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Synchronize with trunk.Alain Frisch2013-07-222-0/+53
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Revert commit r13909 because of an issue with 'integr' on i386Xavier Leroy2013-07-191-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Port to the ARM 64-bits (AArch64) architecture (experimental).Xavier Leroy2013-07-183-1/+54
| | | | | | | | | | | | | | Merge of branch branches/arm64. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Synchronize with trunk.Alain Frisch2013-07-16171-927/+3058
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Patch for PR#5788Luc Maranget2013-07-022-0/+27
| | | | | | | | | | | | | | | | | | | | | | | | (Exception binding fools pattern matching optimisations) Hopefully it's complete... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * disable test 8 and 9 in tests/lib-threads under Windows because sometimes ↵Damien Doligez2013-06-282-0/+26
| | | | | | | | | | | | they deadlock on exit git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * test resultsJacques Garrigue2013-06-282-0/+6
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6056Jacques Garrigue2013-06-281-0/+13
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix PR#5914Jacques Garrigue2013-06-221-0/+18
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * testsuite/tests/backtrace: fix a stupid (but silenced) error in MakefileGabriel Scherer2013-06-191-4/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13822 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * testsuite/tests/backtrace: new test to exercize Printexc.get_raw_backtraceGabriel Scherer2013-06-193-1/+80
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * testsuite/tests/backtrace: no need to re-run backtrace2 which catches all ↵Gabriel Scherer2013-06-196-110/+27
| | | | | | | | | | | | exceptions git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * tweak tests/backtrace to also test ocamloptGabriel Scherer2013-06-191-5/+24
| | | | | | | | | | | | | | | | | | | | Note that native and byte-test share the same reference file, so in particular they check that ocamlc and ocamlopt report uncaught exception in the exact same way. Passing this test required a change in asmrun/backtrace.c/print_location. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix a variance bug in GADTsJacques Garrigue2013-06-182-0/+11
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #5980: a different warning for shadowing labels/constructors and for other ↵Alain Frisch2013-06-183-0/+78
| | | | | | | | | | | | kinds of identifiers. (Cherry-picked from commit 13796 on 4.01.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status