The type of quit should be declared so that it works properly when type checking is enabled.
Shen 2010, copyright (C) 2010 Mark Tarver
www.shenlanguage.org, version 8
running under Ruby, implementation: ruby 1.9.3
port 0.3.1 ported by Greg Spurrier
(0-) (tc +)
true
(1+) (quit)
type error
The type of quit should be declared so that it works properly when type checking is enabled.