{"size": 985, "ext": "rktd", "max_stars_repo_path": "redex-test/redex/tests/syn-err-tests/metafunction-definition.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/metafunction-definition.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/metafunction-definition.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": 26.6216216216, "max_line_length": 72, "alphanum_fraction": 0.6538071066}
(#rx"define-metafunction:.*expression context"
 ([illegal-def (define-metafunction syn-err-lang [(f) ()])])
 (values illegal-def))
(#rx"define-metafunction/extension:.*expression context"
 ([illegal-def (define-metafunction/extension f syn-err-lang [(g) ()])])
 (let ()
   (define-metafunction syn-err-lang [(f) ()])
   (values illegal-def)))

(#rx"expected a pattern and a right-hand side"
 ([clause [(f x)]])
 (define-metafunction syn-err-lang
   clause))

(#rx"expected an identifier"
 ([not-id (junk)])
 (define-metafunction not-id also-junk))
(#rx"expected an identifier"
 ([not-id junk])
 (define-metafunction not-id also-junk))

(#rx"before underscore"
 ([not-non-term z!_1])
 (define-metafunction syn-err-lang
  [(func M_1 E_2)
   (M_1 (E_2 not-non-term) M_1)]))

(#rx"metafunction must be in an application"
 ([z2 z])
 (let ()
   (define-metafunction syn-err-lang
     [(i any) any])
   (define-metafunction syn-err-lang
     [(z any) (0)])
   (let ()
     (term (i z2 4)))))
