On 11/8/11 10:17 AM, David Van Horn wrote:
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))
#t
> (judgment-holds (f #hash() #hash()))
#f
Is it a bug or just an inherent limitation on judgments?
Never mind -- apparently 3 weeks behind HEAD is too far.
David
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
