Code

Sail module system#383

Code

Merged

Alasdair merged 12 commits intosail2rems-project/sail:sail2from projectrems-project/sail:projectCopy head branch name to clipboardNov 30, 2023

+6,594-379

Commits

Commits on Nov 26, 2023

• Add module system and project files

  Alasdair

  committed
  5686e01

• Fix some issues with how modules and overloads interact

  Show description for e41c12c
  Alasdair

  committed
  e41c12c

• Further module improvements

  Alasdair

  committed
  6446148

• Improve duplicate toplevel let error

  Alasdair

  committed
  ab2b986

• Add some more module tests

  Alasdair

  committed
  830bbf7

Commits on Nov 27, 2023

• Fix issues with modules and undefined_gen

  Alasdair

  committed
  816c8ff

Commits on Nov 28, 2023

• Update Sail documentation

  Alasdair

  committed
  e224f2e

Commits on Nov 29, 2023

• Update Asciidoc build Makefile

  Alasdair

  committed
  5a64afc

• Modules: Change naming

  Show description for f86e138
  Alasdair

  committed
  f86e138

• Tweak option handling a bit more

  Alasdair

  committed
  678e4e1

• Allow recursive functions without val specs

  Show description for afee308
  Alasdair

  committed
  afee308

Commits on Nov 30, 2023

• Make module identifiers a private type

  Alasdair

  committed
  2329b8c