blob: c0f6e7e9faced228100921db32a1ff077ce45513 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
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
|
