add '-t' to only run typechecker on regression tests
add '-t' to only run typechecker on regression tests

Ignore-this: bbdda26aac6c1c25cac8d4978af5bdc4

darcs-hash:4c606ed37cd2f3869838ffde201318a6342af248

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc