Restore random-input.

cmsc430 · Dec 2, 2024 · 7cc7828 · 7cc7828
1 parent 298be8d
commit 7cc7828
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/evildoer/random.rkt b/evildoer/random.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide random-expr random-well-defined-expr)
+(provide random-expr random-well-defined-expr random-input)
 (require "parse.rkt")
 
 ;; Randomly generate an expression
@@ -10,6 +10,9 @@
 (define (random-well-defined-expr)
   (parse (contract-random-generate expr-good/c)))
 
+(define (random-input)
+  (contract-random-generate string?))
+
 (define op0/c
   (one-of/c 'read-byte 'peek-byte 'void))
 

diff --git a/extort/random.rkt b/extort/random.rkt
@@ -1,5 +1,5 @@
 #lang racket
-(provide random-expr random-well-defined-expr)
+(provide random-expr random-well-defined-expr random-input)
 (require "parse.rkt")
 
 ;; Randomly generate an expression
@@ -10,6 +10,9 @@
 (define (random-well-defined-expr)
   (parse (contract-random-generate expr-good/c)))
 
+(define (random-input)
+  (contract-random-generate string?))
+
 (define op0/c
   (one-of/c 'read-byte 'peek-byte 'void))