diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-12-16 21:02:51 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-12-16 21:02:51 +0000 |
| commit | 86905dc107c2eaa070465392e3fd5df285204efe (patch) | |
| tree | 3c6497d080017bcb49aa48d52e3b5f42f60358f3 /perl_checker.src/config_file.ml | |
| parent | 1d6df1fbb9a571f020c10d071ff4dba4f65a97f1 (diff) | |
| download | perl_checker-86905dc107c2eaa070465392e3fd5df285204efe.tar perl_checker-86905dc107c2eaa070465392e3fd5df285204efe.tar.gz perl_checker-86905dc107c2eaa070465392e3fd5df285204efe.tar.bz2 perl_checker-86905dc107c2eaa070465392e3fd5df285204efe.tar.xz perl_checker-86905dc107c2eaa070465392e3fd5df285204efe.zip | |
- pop behaves just like shift
- check that the parameter to pop & shift is an array, and not more parameters are given
Diffstat (limited to 'perl_checker.src/config_file.ml')
0 files changed, 0 insertions, 0 deletions