From 906d9a5356fe7b90fc14a9c0d6a0d65abb7e80a8 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sat, 4 Jan 2014 13:09:05 +0100 Subject: Document programs ; better time support in monitor. --- tests/clock2.mj | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests/clock2.mj') diff --git a/tests/clock2.mj b/tests/clock2.mj index 6f28603..73b5e6a 100644 --- a/tests/clock2.mj +++ b/tests/clock2.mj @@ -69,11 +69,11 @@ dec7(i:[4]) = (o:[7]) where o = decode7 end where -main() = (sec_u:[4],d7_sec_u:[7],sec_d:[4],d7_sec_d:[7], +main(tick) = (sec_u:[4],d7_sec_u:[7],sec_d:[4],d7_sec_d:[7], min_u:[4],d7_min_u:[7],min_d:[4],d7_min_d:[7], hour_u:[4],d7_hour_u:[7],hour_d:[4],d7_hour_d:[7], next_day) where - (count_seca, aug_seca) = count_mod_keep<2,2>(1); + (count_seca, aug_seca) = count_mod_keep<2,2>(tick); (count_secb, aug_secb) = count_mod_keep<3,5>(aug_seca); (count_secc, aug_min) = count_mod_keep<3,6>(aug_secb); sec_u = count_seca[0] . count_secb; -- cgit v1.2.3