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.