diff options
Diffstat (limited to 'src/tooling/toolchain.pk')
| -rw-r--r-- | src/tooling/toolchain.pk | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/tooling/toolchain.pk b/src/tooling/toolchain.pk new file mode 100644 index 0000000..c0f6e7e --- /dev/null +++ b/src/tooling/toolchain.pk @@ -0,0 +1,12 @@ +# Helper for switching between distro-provided versions of `puckc` and locally-managed toolchains. +# Hopefully, this helps eliminate the problems with distros packaging languages. +# Subcommands: install (nightly beta stable hash), default, show + +type Toolchain = union + Nightly, Stable, Beta, Hash(str) + +func main = ... + +func install(toolchain: Toolchain): Success[ref Err] +func default(toolchain: Toolchain): Success[ref Err] +func show(): str |