fix indentation in mat

cisco · Oct 19, 2023 · 2259e2e · 2259e2e
1 parent 87efe89
commit 2259e2e
Showing 1 changed file with 20 additions and 20 deletions.
diff --git a/mats/record.ms b/mats/record.ms
@@ -4079,26 +4079,26 @@
         (let ([record? #%$sealed-record?])
           (list (record? 3 Dtd) (record? a Dtd) (record? b Dtd) (record? c Dtd) (record? d Dtd) (record? e Dtd)))
         '(#f #f #f #f #t #f))))
-    (begin
-      (define (get-supertype-uid) '#{supertype a3utgl1aoz8jzrg100-0})
-      (define (get-subtype-uid) '#{subtype a3utgl1aoz8jzrg100-1})
-      (define $keep-rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
-      (define $keep-rtd2 (make-record-type-descriptor 'subtype $keep-rtd (get-subtype-uid) #f #f (cons 1 1)))
-      (let ()
-        (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
-        (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
-        (define val ((record-constructor rtd2) 0 1))
-        (record? val rtd)))
-    (eval `(let ()
-             (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
-             (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
-             (define val ',(read (open-string-input-port "#[#{supertype a3utgl1aoz8jzrg100-0} 0]")))
-             (record? val rtd)))
-    (eval `(let ()
-             (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
-             (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
-             (define val ',(read (open-string-input-port "#[#{subtype a3utgl1aoz8jzrg100-1} 0 1]")))
-             (record? val rtd)))
+  (begin
+    (define (get-supertype-uid) '#{supertype a3utgl1aoz8jzrg100-0})
+    (define (get-subtype-uid) '#{subtype a3utgl1aoz8jzrg100-1})
+    (define $keep-rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
+    (define $keep-rtd2 (make-record-type-descriptor 'subtype $keep-rtd (get-subtype-uid) #f #f (cons 1 1)))
+    (let ()
+      (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
+      (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
+      (define val ((record-constructor rtd2) 0 1))
+      (record? val rtd)))
+  (eval `(let ()
+           (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
+           (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
+           (define val ',(read (open-string-input-port "#[#{supertype a3utgl1aoz8jzrg100-0} 0]")))
+           (record? val rtd)))
+  (eval `(let ()
+           (define rtd (make-record-type-descriptor 'supertype #f (get-supertype-uid) #f #f (cons 1 1)))
+           (define rtd2 (make-record-type-descriptor 'subtype rtd (get-subtype-uid) #f #f (cons 1 1)))
+           (define val ',(read (open-string-input-port "#[#{subtype a3utgl1aoz8jzrg100-1} 0 1]")))
+           (record? val rtd)))
 )
 
 (mat record-type-mismatch