#lang racket/base
(module m lang/htdp-beginner (check-expect 1 1))
;; this file tests that a `check-expect` all on its lonesome
;; in the top-level of a module is not a syntax error
 this file tests that a `check-expect` all on its lonesome
 in the top-level of a module is not a syntax error
#lang racket/base
(module m lang/htdp-beginner (check-expect 1 1))