this repo has no description
1# generated from the original tests.
2# Henceforth it may be nicer to group tests into separate files.
3-- in.cue --
4import "time"
5
6t1: time.Time & "1937-01-01T12:00:27.87+00:20"
7t2: time.Time & "no time"
8t3: time.Unix(1500000000, 123456)
9
10parse: {
11 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 CEST")
12 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 CDST")
13 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 PST")
14 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 PDT")
15 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 EST")
16 t1: time.Parse(time.RFC822, "01 Jul 21 17:54 EDT")
17
18 t2: time.Parse(time.RFC3339Date, "2021-02-19")
19
20 _layout: "01/02 03:04:05PM '06 -0700"
21 t3: time.Parse(_layout, _layout)
22}
23
24split: {
25 t1: time.Split("2017-07-14T02:40:00.000123456Z")
26}
27-- out/time-v3 --
28Errors:
29t2: invalid value "no time" (does not satisfy time.Time): invalid time "no time":
30 ./in.cue:4:5
31 ./in.cue:4:17
32
33Result:
34t1: "1937-01-01T12:00:27.87+00:20"
35t2: _|_ // t2: invalid value "no time" (does not satisfy time.Time): invalid time "no time"
36t3: "2017-07-14T02:40:00.000123456Z"
37parse: {
38 t1: "2021-07-01T17:54:00Z"
39 t2: "2021-02-19T00:00:00Z"
40 t3: "2006-01-02T22:04:05Z"
41}
42split: {
43 t1: {
44 year: 2017
45 month: 7
46 day: 14
47 hour: 2
48 minute: 40
49 second: 0
50 nanosecond: 123456
51 }
52}