[opentheory-users] package versions

[Joe Hurd]

Hi Ramana,

>> Specifically, I have a couple of suggestions about leaving version numbers off:
>> For the opentheory install command, leaving the version number off a
>> package name should just install the latest version of a package with
>> that name.
>
> Excellent suggestion - I will implement that.

I have just released a new version of the opentheory tool that
supports leaving version numbers off for the "export", "info" and
"upload" commands, where the semantics is that the package being
referred to is the latest version that is installed in your local
theory directory. Example:

$ bin/mosml/opentheory info pair
name: pair
version: 1.4
description: Basic theory of product types
author: Joe Hurd <joe at gilith.com>
license: MIT
show: "Data.Bool"
show: "Data.Pair"

However, I was not sure what the right semantics were for the
"install" command. If I type

opentheory install theory

should that refer to the latest version installed on the repos listed
in your config file, say theory-N? What if you already have theory-M
installed, for both the cases M < N and M > N? (The equality case is
easy, since you can't install two theories with the same name and
version number.)

Do you have an opinion?

Cheers,

Joe