Develop the package system

[gfngfn]

Contents

Includes:

• Develop lock files and their handling in the package system #370
• Add use open, use package open etc. #372
• Add a prototype constraint solver (possibly for temporary use) #373
• Refactor MyUtil etc. #374
• Develop the notion of font packages #375
• Make settings of Markdown class packages written in config files #376
• Introduce the notion of test dependencies #377
• Develop a unit testing system #378
• Develop how to fetch packages #379
• Discard dist/ and local/ #380
• Modify the version requirement format #381
• Make multiple incompatible versions of a package able to coexist #382
• Develop package/registry configs #383
• Develop how to fetch data from package registries #384
• Support external_sources section #385
• Small fixes of the package system #386
• Refactor config paths #387
• Small fixing irrelevant to the package system:
  • Fixes subtype_type_scheme
  • Extends UTConstructor and UTPConstructor to take module names
  • Implements update_subsignature for with type signatures (including transparent type declarations as syntax sugar)

Memos about design (in Japanese):

• https://github.com/gfngfn/SATySFi/wiki/v0.1.z-%E3%81%A7%E3%81%AE%E3%83%91%E3%83%83%E3%82%B1%E3%83%BC%E3%82%B8%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E3%81%AE%E5%87%A6%E7%90%86%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E8%A8%AD%E8%A8%88

TODO:

• Allow local or git dependencies for satysfi.yaml
  • Local: regard another directory as another package root
  • Git: specify a fixed codebase by a repository and a tag

In essence

You can write dependencies

• at the top of your document as follows:

  #[config (|
    registries = [
      (|
        name = `default`,
        remote = Git(| url = `https://github.com/SATySFi/default-registry`, branch = `format-1` |),
      |),
    ],
    dependencies = [
      (| name = `std-ja-report`, registry = `default`, requirement = `^0.0.1` |),
      (| name = `math`, registry = `default`, requirement = `^0.0.1` |),
    ],
  |)]
  

  or

• at the dependencies: section of satysfi.yaml in your package:

  registries:
    - name: "default"
      remote:
        type: "git"
        url: "https://github.com/SATySFi/default-registry"
        branch: "format-1"
  contents:
    type: "library"
    dependencies:
      - name: "std-ja-report"
        registry: "default"
        requirement: "^0.0.1"
      - name: "math"
        registry: "default"
        requirement: "^0.0.1"

Then you can invoke the following command to make the lock file:

• For documents (this will create or update path/to/your-document.satysfi-lock):

  $ satysfi solve path/to/your-document.saty

• For packages (this will create or update dir/of/your-package/package.satysfi-lock):

  $ satysfi solve dir/of/your-package/

and then you can typeset documents or checking packages by using the lock file:

• For documents:

  $ satysfi build path/to/your-document.saty

• For packages:

  $ satysfi build dir/of/your-package/