can't figure out this "bad syntax" #58

Activity

1. stchang

   assigned

   stchang

   and unassigned

   stchang

   on Mar 29, 2018
2. stchang commented on Mar 29, 2018

   

   stchang

   on Mar 29, 2018

   OwnerAuthor

   More actions

   To clarify, the change is removing the outer (~parse .... (get-orig #'e-tmp)), but leaving the inner (~post ....) pattern.
3. stchang commented on Feb 14, 2020

   

   stchang

   on Feb 14, 2020

   OwnerAuthor

   More actions

   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")