parent
b575fc1b50
commit
2bdb2c19ef
|
@ -40,8 +40,8 @@ gt date1 date2 =
|
||||||
|
|
||||||
-- 1 Punkt:
|
-- 1 Punkt:
|
||||||
toString : Date -> String
|
toString : Date -> String
|
||||||
toString (a,b,c) = (if a < 10 then "0" ++ String.fromInt(a) else String.fromInt(a))
|
toString (a,b,c) = (if a < 10 then "0" ++ String.fromInt(a) else String.fromInt(a)) ++ "."
|
||||||
++ (if b < 10 then "0" ++ String.fromInt(b) else String.fromInt(b))
|
++ (if b < 10 then "0" ++ String.fromInt(b) else String.fromInt(b)) ++ "."
|
||||||
++ (if c < 10 then "000" ++ String.fromInt(c)
|
++ (if c < 10 then "000" ++ String.fromInt(c)
|
||||||
else if c < 100 then "00" ++ String.fromInt(c)
|
else if c < 100 then "00" ++ String.fromInt(c)
|
||||||
else if c < 1000 then "0" ++ String.fromInt(c)
|
else if c < 1000 then "0" ++ String.fromInt(c)
|
||||||
|
|
Loading…
Reference in New Issue