diff options
Diffstat (limited to 'main/Version.dcl')
| -rw-r--r-- | main/Version.dcl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/main/Version.dcl b/main/Version.dcl new file mode 100644 index 0000000..e70f420 --- /dev/null +++ b/main/Version.dcl @@ -0,0 +1,18 @@ +definition module Version + +:: VersionInfo = + { versionCurrent + :: Int + , versionOldestDefinition + :: Int + , versionOldestImplementation + :: Int + } + +:: VersionsCompatability + = VersionsAreCompatible + | VersionObservedIsTooOld + | VersionObservedIsTooNew + +versionCompare :: VersionInfo VersionInfo -> VersionsCompatability +// expected observed |