release: 0.3.0 (#31)

Two user-visible additions since 0.2.0 -- the `input` prelude builtin
(`string ->{io} string`, #19) and caller-supplied `extern` keyword slots
(`kw = ...`, #21) -- plus five fixes, four of them from the first program
written in Pyfun in anger:

* imported schemes reused the exporting module's type-variable ids, silently
  blocking generalization in the importing module and cascading to its
  consumers (#26 / #27)
* a recursive function of arity >= 2 could not perform any effect -- the shape
  of every loop in a language with no `while` (#24 / #28)
* a module that only matched an imported `Option` emitted `None_` without
  importing it (#25 / #29)
* user identifiers collided with Python keywords, builtins the emitter calls,
  and modules an `extern` imports (#23 / #30)
* the local-binder module-alias shadowing residual (#18)

Author: simontreanor

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "pyfun"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2024"
 # Edition 2024's floor is Rust 1.85; the code uses nothing newer. The exact build
 # toolchain is pinned separately in rust-toolchain.toml.