From 3cbba94857ec0e92b5b671a23f48d2a866650072 Mon Sep 17 00:00:00 2001 From: norayr Date: Thu, 29 Dec 2016 19:20:44 +0400 Subject: [PATCH] rename and smth. --- Day.Mod | 8 -------- Days.Mod | 8 ++++++++ test.Mod | 3 +++ 3 files changed, 11 insertions(+), 8 deletions(-) delete mode 100644 Day.Mod create mode 100644 Days.Mod diff --git a/Day.Mod b/Day.Mod deleted file mode 100644 index 4eb7dbe..0000000 --- a/Day.Mod +++ /dev/null @@ -1,8 +0,0 @@ -MODULE Day; - - TYPE T* = RECORD END; - - VAR sun*, mon*, tue*, wed*, thu*, fri*, sat* : T; - - -END Day. diff --git a/Days.Mod b/Days.Mod new file mode 100644 index 0000000..914ff4d --- /dev/null +++ b/Days.Mod @@ -0,0 +1,8 @@ +MODULE Days; + + TYPE Day* = RECORD END; + + VAR sun*, mon*, tue*, wed*, thu*, fri*, sat* : Day; + + +END Days. diff --git a/test.Mod b/test.Mod index b18bb2a..aeec3a5 100644 --- a/test.Mod +++ b/test.Mod @@ -4,5 +4,8 @@ IMPORT Day; VAR today: Days.Day; +BEGIN + today := Days.mon; (*init*) + END test.