summaryrefslogtreecommitdiff
path: root/testsuite
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
* fix testsuite makefile: openbsd does not support PWD env variableDamien Doligez2013-12-051-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* make the testsuite work on cygwin-64, where dynamic linking is not yet availableDamien Doligez2013-12-0313-16/+49
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reverting the elimination of the ocamlcomp*.sh scripts, namely the following ↵Xavier Leroy2013-11-292-12/+14
| | | | | | | | | | | | | | | | | | | | commits: 14278 14277 14276 14176 14175 14173 14172 14171 14169 14168 14167 These changes need to mature on their own branch. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* testsuite/external: update coq, lablgtk, alt-ergoDamien Doligez2013-11-283-59/+93
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14326 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
* update for latest trunk changesDamien Doligez2013-11-275-110/+388
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14314 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-304-1/+17
| | | | | | | | 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
* build: replace ocamlcomp*.sh.Wojciech Meyer2013-09-202-14/+12
| | | | | | | | | | | | | | | | | | This script was built from ocamlcomp.sh.in through sed and is called instead of "ocamlc" (for instance). It makes it possible to switch from "ocamlc" to "ocamlc.opt" without changing anything in the Makefiles, only calling sed. I couldn't cleanly make it handle both a compiler for the target and for the build. Instead I'm replacing it and doing as much as possible directly in the Makefiles. I hoped it would reduce the number of shell invocations, which would speed things up quite a lot on Windows but I still had to have at least one since it's not possible to update a make variable from inside a make rule: i.e. it's not possible to do X=a, build a.opt and update X to be a.opt. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 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
* Merge branch 4.01 from 4.01.0+rc1 to 4.01.0Damien Doligez2013-09-122-4/+30
| | | | | | | | Command line used: svn merge --accept postpone -r 14055:14115 $REPO/version/4.01 . git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14121 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-0420-74/+1007
| | | | | | | | 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-16190-1071/+6008
|\ \ | |/ | | | | 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-222-0/+40
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status