{"size": 253, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/run-err-tests/judgment-form-where-error.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/run-err-tests/judgment-form-where-error.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/run-err-tests/judgment-form-where-error.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": 21.0833333333, "max_line_length": 39, "alphanum_fraction": 0.5296442688}
(#rx"where/error did not match"
 ([premise-pat (any_1 any_2 any_3)]) ()
 (let ()
   (define-language L)
   (define-judgment-form L 
     #:mode (J I)
     [(where/error premise-pat any)
      ----------
      (J any)])
   (judgment-holds (J 1))
   #f))
