Commit d8d618ed authored by Steffen Michels's avatar Steffen Michels

Merge branch '352-follow-up-from-add-gast-instances-for-datetime-time' into 'master'

Improve test case generation for DateTime

Closes #352

See merge request !345
parents 935d62fe fef9175a
Pipeline #31291 passed with stage
in 6 minutes and 57 seconds
......@@ -2,5 +2,5 @@ implementation module iTasks.Extensions.DateTime.Gast
import StdEnv, Gast, iTasks.Extensions.DateTime
ggen{|Time|} _ = [{Time| hour = h, min = m, sec = s} \\ (h,m,s) <- diag3 [0..23] [0..59] [0..59]]
ggen{|Time|} _ = [{Time| hour = h, min = m, sec = s} \\ (h,m,s) <- diag3 [0,23:[1..22]] [0,59:[1..58]] [0,59,60:[1..58]]]
derive genShow Time
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment