From 1b7bd208a1366cdaaebddbfcaa2f8f26f30466e0 Mon Sep 17 00:00:00 2001 From: florian Date: Sun, 16 Sep 2007 20:37:54 +0000 Subject: [PATCH] * test for one of the oldest open bugs, fixed by rev. 8515 git-svn-id: trunk@8517 - --- .gitattributes | 1 + tests/webtbs/tw4606.pp | 11 +++++++++++ 2 files changed, 12 insertions(+) create mode 100644 tests/webtbs/tw4606.pp diff --git a/.gitattributes b/.gitattributes index 4bfeef1800..0db2b9fdeb 100644 --- a/.gitattributes +++ b/.gitattributes @@ -8190,6 +8190,7 @@ tests/webtbs/tw4557.pp svneol=native#text/plain tests/webtbs/tw4566.pp svneol=native#text/plain tests/webtbs/tw4574.pp svneol=native#text/plain tests/webtbs/tw4599.pp svneol=native#text/plain +tests/webtbs/tw4606.pp svneol=native#text/plain tests/webtbs/tw4613.pp svneol=native#text/plain tests/webtbs/tw4616.pp svneol=native#text/plain tests/webtbs/tw4624.pp svneol=native#text/plain diff --git a/tests/webtbs/tw4606.pp b/tests/webtbs/tw4606.pp new file mode 100644 index 0000000000..e241536b2d --- /dev/null +++ b/tests/webtbs/tw4606.pp @@ -0,0 +1,11 @@ +{$packset 1} +type + tlettersset=set of 'a'..'z'; + +begin + if sizeof(tlettersset)<>4 then + begin + writeln(sizeof(tlettersset)); + halt(1); + end; +end.