Merge pull request #2 from samth/main

remove provides that are now in ISL.
dbp · Apr 27, 2023 · e396664 · e396664
2 parents 57ec378 + 2e694ff
commit e396664
Showing 1 changed file with 10 additions and 9 deletions.
diff --git 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))))
+    (_ (raise-syntax-error #f "`check-property' expects a single operand" stx))))