Files
Claro/tests/typecheck_bad.claro

5 lines
79 B
Plaintext

SET score NUMBER 10
SET score "hello"
SET name TEXT 5
CHECK TYPE score IS TEXT