Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit23a1f01

Browse files
committed
Adjust interval-addition test so that it won't fail on DST transition days.
Strange that we missed this DST dependence while fixing the others.
1 parentf7ae900 commit23a1f01

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

‎src/test/regress/expected/horology.out

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -855,11 +855,11 @@ SELECT time with time zone '02:30-08' + interval '36:01' AS "14:31:00-08";
855855
-- SELECT time with time zone '01:30' + interval '02:01' AS "03:31:00-08";
856856
-- SELECT time with time zone '03:30' + interval '1 month 04:01' AS "07:31:00-08";
857857
-- Try the following two tests instead, as a poor substitute
858-
SELECT CAST(CAST(date 'today' + time with time zone '01:30'
859-
+ interval '02:01' AS time with time zone) AS time) AS "03:31:00";
860-
03:31:00
858+
SELECT CAST(CAST(date 'today' + time with time zone '05:30'
859+
+ interval '02:01' AS time with time zone) AS time) AS "07:31:00";
860+
07:31:00
861861
----------
862-
03:31:00
862+
07:31:00
863863
(1 row)
864864

865865
SELECT CAST(cast(date 'today' + time with time zone '03:30'

‎src/test/regress/sql/horology.sql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -153,8 +153,8 @@ SELECT time with time zone '02:30-08' + interval '36:01' AS "14:31:00-08";
153153
-- SELECT time with time zone '03:30' + interval '1 month 04:01' AS "07:31:00-08";
154154
-- Try the following two tests instead, as a poor substitute
155155

156-
SELECT CAST(CAST(date'today'+time with time zone'01:30'
157-
+ interval'02:01'AStime with time zone)AStime)AS"03:31:00";
156+
SELECT CAST(CAST(date'today'+time with time zone'05:30'
157+
+ interval'02:01'AStime with time zone)AStime)AS"07:31:00";
158158

159159
SELECT CAST(cast(date'today'+time with time zone'03:30'
160160
+ interval'1 month 04:01'astimestamp without time zone)AStime)AS"07:31:00";

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp