; typechecks.lsp -- unit tests for typechecks
; 
; This code was generated from typechecks.txt by
; typecheck-gen.lsp

(sal-load "typechecks1.sal")
(sal-load "typechecks2.sal")
(sal-load "typechecks3.sal")
(sal-load "typechecks4.sal")
(sal-load "typechecks5.sal")
(sal-load "typechecks6.sal")
(sal-load "typechecks7.sal")
(sal-load "typechecks8.sal")
