From 2e694ff72a303a51bb0d613743dd3cc93355c500 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 27 Apr 2023 13:24:19 -0400 Subject: [PATCH] remove provides that are now in ISL. --- main.rkt | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/main.rkt b/main.rkt index ac05368..c885dbd 100644 --- a/main.rkt +++ b/main.rkt @@ -42,16 +42,17 @@ (provide (rename-out [intermediate-lambda lambda] [intermediate-require require] [my-define-struct define-struct] - [arbitrary-integer Integer] - [arbitrary-printable-ascii-string String] - [arbitrary-boolean Boolean] + ;[arbitrary-integer Integer] + ;[arbitrary-printable-ascii-string String] + ;[arbitrary-boolean Boolean] ;[arbitrary-integer-from-to Integer-from-to] - [arbitrary-natural Natural] - [arbitrary-list ListOf] + ;[arbitrary-natural Natural] + ;[arbitrary-list ListOf] ;[arbitrary-nonempty-list NonEmptyListOf] - [arbitrary-record RecordOf] - [arbitrary-procedure ProcedureOf] - [arbitrary-procedure ->])) + ;[arbitrary-record RecordOf] + ;[arbitrary-procedure ProcedureOf] + ;[arbitrary-procedure ->] + )) (provide (prefix-out qc: (all-from-out quickcheck))) @@ -133,4 +134,4 @@ (raise-syntax-error #f "`check-property' must be at the top level" stx)) (syntax-case stx () ((_ prop) #`(do-check-property #,(syntax-srcloc stx) prop)) - (_ (raise-syntax-error #f "`check-property' expects a single operand" stx)))) \ No newline at end of file + (_ (raise-syntax-error #f "`check-property' expects a single operand" stx))))