can't figure out this "bad syntax"

[stchang]

Removing the ~parse here changes the error produced by these tests from a legitimate error to "bad syntax". Why?

[stchang]

To clarify, the change is removing the outer (~parse .... (get-orig #'e-tmp)), but leaving the inner (~post ....) pattern.

[stchang]

updated links:

macrotypes/turnstile/turnstile.rkt

Lines 136 to 141 in 6a7f069

	(~parse
	(~post
	(~fail #:when (and (not (check? #'τ-tmp #'τ-exp))
	(get-orig #'e-tmp))
	(typecheck-fail-msg/1 #'τ-exp #'τ-tmp #'e-tmp)))
	(get-orig #'e-tmp)))])

macrotypes/turnstile/examples/tests/ext-stlc-tests.rkt

Lines 82 to 89 in 6a7f069

	(typecheck-fail
	(ann (letrec ([(x : Int) #f] [(y : Int) 1]) y) : Int)
	#:with-msg
	"letrec: type mismatch: expected Int, given Bool\n *expression: #f")
	(typecheck-fail
	(ann (letrec ([(y : Int) 1] [(x : Int) #f]) x) : Int)
	#:with-msg
	"letrec: type mismatch: expected Int, given Bool\n *expression: #f")