[racket] define-judgment-form and non-s-expression

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Tue Nov 8 10:17:12 EST 2011

This looks like a bug to me, but I'm a define-judgment-form newbie:

(define-language L)
(define-judgment-form L
   #:mode (f I O)
   [(f any any)])

 > (judgment-holds (f 2 2))
 > (judgment-holds (f #hash() #hash()))

Is it a bug or just an inherent limitation on judgments?


Posted on the users mailing list.