Hello, I'm trying to write a side condition to a function, where it checks if a is in an environment ß. I tried this judgement by adding (judgment-holds (anotin (ß-v ...) a #f)) at the end of the function but it is not working :( Thank you! --Beatriz
(define-judgment-form Flint #:mode (anotin I I O) #:contract (anotin env-ß a boolean) [------------------------- (anotin () a #f)] [------------------------- (anotin ((a -> b ...)) a #t)] [------------------------- (anotin ((a_0 -> b ...)) a #f)] [------------------------- (anotin (ß-v_0 ... (a -> b ...)) a #t)] [(anotin (ß-v ...) a boolean) ------------------------- (anotin (ß-v ... (a_0 -> b ...) ) a boolean)] ) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/db09a9df-807c-4fb9-8df3-2e3a1486195cn%40googlegroups.com.
