{"size": 450, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/syn-err-tests/term.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/term.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/term.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": 25.0, "max_line_length": 73, "alphanum_fraction": 0.5088888889}
(#rx"missing ellipsis"
 ([id-no-ellipsis x]) ([ellipsis ...])
 (term-let ([(id-no-ellipsis ellipsis) '(a b c)]) (term id-no-ellipsis)))

(#rx"too few ellipses"
 ([bound x]) ([bind x])
 (... (term-let ([((bind ...) ...) '()])
                (term (bound ...)))))

(#rx"modeless judgment forms disallowed"
 ([use-of-J (J 1 2)]) ()
 (let ()
   (define-language L)
   (define-judgment-form L
     [-----
      (J any any)])
   (term (λ (x) use-of-J))))
