15.4.916  src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit-version.pkg

## threadkit-version.pkg

# Compiled by:
#     src/lib/std/standard.lib


###            "Software is like sex:
###             It's better when it's free."
###
###                             -- Linus Torvalds


package threadkit_version: (weak)
  api {

     version:  { system:  String, version_id:  List( Int ), date:  String };
     banner:  String;

  }

{
    version
        =
        { system     => "Concurrent ML",
          version_id => [1, 0, 10],
          date       => "September 15, 1997"
        };

    fun f ([],        l) =>  l;
        f ([x:  Int], l) =>  (int::to_string x) ! l;
        f (x ! r,     l) =>  (int::to_string x) ! "." ! f (r, l);
    end;

    banner
        =
        cat (
          version.system ! ", Version " !
            f (version.version_id, [", ", version.date]));

};



## COPYRIGHT (c) 1996 AT&T Research.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.