<commit_before>(declare (usual-integrations))
(in-test-group
 fol

 (define-each-check

   ;; Alpha renaming needs to respect the scope of procedure
   ;; definitions properly.
   (alpha-rename?
    '(begin
       (define (fact n)
         (argument-types real real)
         (if (= n 0)
             1
             (* n (- (fact n) 1))))
       (fact 4))
    '(begin
       (define (fiction m)
         (argument-types real real)
         (if (= m 0)
             1
             (* m (- (fiction m) 1))))
       (fiction 4)))

   (equal?
    'real
    (check-program-types
     '(begin
        (define-type foo (structure (bar real) (baz real)))
        (foo-bar (make-foo 1 2)))))

   (equal?
    '(vector-ref (vector 1 2) 0)
    (structure-definitions->vectors
     '(begin
        (define-type foo (structure (bar real) (baz real)))
        (foo-bar (make-foo 1 2)))))
<commit_msg>Man, what a broken example program this was.<commit_after>(declare (usual-integrations))
(in-test-group
 fol

 (define-each-check

   ;; Alpha renaming needs to respect the scope of procedure
   ;; definitions properly.
   (alpha-rename?
    '(begin
       (define (fact n)
         (argument-types real real)
         (if (= n 0)
             1
             (* n (fact (- n 1)))))
       (fact 4))
    '(begin
       (define (fiction m)
         (argument-types real real)
         (if (= m 0)
             1
             (* m (fiction (- m 1)))))
       (fiction 4)))

   (equal?
    'real
    (check-program-types
     '(begin
        (define-type foo (structure (bar real) (baz real)))
        (foo-bar (make-foo 1 2)))))

   (equal?
    '(vector-ref (vector 1 2) 0)
    (structure-definitions->vectors
     '(begin
        (define-type foo (structure (bar real) (baz real)))
        (foo-bar (make-foo 1 2)))))

{'fraction_non_alphanumeric': 0.14658523042754026, 'fraction_numerical': 0.01665741254858412, 'mean_word_length': 1.793798449612403, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2609755', 'n_tokens_mistral': 617, 'n_tokens_neox': 550, 'n_words': 177}