check.pk « tooling « src - puck - [wip] Some notes on a language with ownership, effects-and-handlers, and hygienic macros.

about summary refs log tree commit diff

path: root/src/tooling/check.pk

blob: 96d04d15c3b24da765e63e350f6763a5711e81c3 (plain) (blame)

1
2

# Syntactically and semantically checks code without compiling.
# This is a good test for Rust interop.