{"size": 634, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/syn-err-tests/judgment-holds.rktd", "max_stars_repo_name": "LiberalArtist/redex", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "redex-test/redex/tests/syn-err-tests/judgment-holds.rktd", "max_issues_repo_name": "LiberalArtist/redex", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "redex-test/redex/tests/syn-err-tests/judgment-holds.rktd", "max_forks_repo_name": "LiberalArtist/redex", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 22.6428571429, "max_line_length": 68, "alphanum_fraction": 0.594637224}
(#rx"expected a judgment form name"
 ([not-judgment-form junk])
 (judgment-holds (not-judgment-form z (s z))))

(#rx"a[?]: mode specifies a unary relation but use supplied 2 terms"
 ([bad-judgment (a? a q)])
 ([name a?])
 (let ()
   (define-judgment-form syn-err-lang
     #:mode (name I)
     [(name a)])
   (judgment-holds bad-judgment)))

(#rx"mode specifies a binary relation but use supplied 1 term"
 ([bad-judgment (test Z)])
 ()
 (let ()
   (define-language nats
     (nat Z (S Z)))
   
   (define-judgment-form nats
     #:mode (test I O)
     [---------
      (test nat one)])
   
   (test-judgment-holds
    bad-judgment)))
