use #lang bsl instead of menu language because we're moving in this d…

…irection and BSL's differ now
racket · Sep 14, 2024 · 0d185fd · 0d185fd
1 parent 29e26c3
commit 0d185fd
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 12 deletions.
diff --git a/htdp-test/tests/test-engine/check-satisfied2.rkt b/htdp-test/tests/test-engine/check-satisfied2.rkt
@@ -1,6 +1,5 @@
-;; The first three lines of this file were inserted by DrRacket. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-beginner-reader.ss" "lang")((modname check-satisfied2) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
+#lang htdp/bsl
+
 ;; ASSUME: THIS FILE is IN BSL 
 
 (check-satisfied (random 10) 11)

diff --git a/htdp-test/tests/test-engine/check-satisfied3.rkt b/htdp-test/tests/test-engine/check-satisfied3.rkt
@@ -1,6 +1,5 @@
-;; The first three lines of this file were inserted by DrRacket. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-beginner-reader.ss" "lang")((modname check-satisfied3) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
+#lang htdp/bsl
+
 ;; ASSUME: THIS FILE is IN BSL 
 
 ;; the following just fail, pop up window and show 

diff --git a/htdp-test/tests/test-engine/check-satisfied4.rkt b/htdp-test/tests/test-engine/check-satisfied4.rkt
@@ -1,6 +1,5 @@
-;; The first three lines of this file were inserted by DrRacket. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-beginner-reader.ss" "lang")((modname check-satisfied4) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
+#lang htdp/bsl
+
 ;; ASSUME: THIS FILE is IN BSL 
 
 (check-satisfied 3 equal?)

diff --git a/htdp-test/tests/test-engine/check-satisfied6.rkt b/htdp-test/tests/test-engine/check-satisfied6.rkt
@@ -1,6 +1,5 @@
-;; The first three lines of this file were inserted by DrRacket. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-beginner-reader.ss" "lang")((modname check-satisfied6) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
+#lang htdp/bsl
+
 ;; ASSUME: THIS FILE is IN BSL 
 
 ;; all these tests just work out fine