fix: windows typecheck_test .sh vs .bat error (#732)

fix: windows typecheck_test .sh vs .bat error (#732) #542