#lang racket/base
(provide check check-results make-config
	 quickcheck quickcheck-results
         make-result
	 check-result? result-arguments-list
	 choose-integer choose-real
	 choose-ascii-char choose-ascii-letter choose-printable-ascii-char choose-char
	 choose-list choose-vector choose-string choose-symbol
	 generator-unit generator-bind generator-sequence
	 sized choose-one-of choose-mixed choose-with-frequencies
	 arbitrary-boolean arbitrary-char arbitrary-ascii-char arbitrary-printable-ascii-char
	 arbitrary-integer arbitrary-integer-from-to arbitrary-natural
         arbitrary-rational arbitrary-real
	 arbitrary-mixed arbitrary-one-of
	 arbitrary-pair
	 arbitrary-list arbitrary-nonempty-list
	 arbitrary-vector
	 arbitrary-tuple arbitrary-record
	 arbitrary-string
	 arbitrary-ascii-string arbitrary-printable-ascii-string
	 arbitrary-symbol
	 arbitrary-procedure
	 property
	 property?
	 ==>
	 label
	 classify
	 trivial
	 collect
	 )
(require srfi/9
	 racket/promise
	 "random.rkt")

(provide exn:assertion-violation?
	 exn:assertion-violation-who
	 exn:assertion-violation-irritants)

(define-struct (exn:assertion-violation exn:fail) (who irritants) #:transparent)

; exceptions
(define (assertion-violation who msg . irritants)
  (raise (make-exn:assertion-violation msg (current-continuation-marks) who irritants)))

; extended-ports
(define make-string-output-port open-output-string)
(define string-output-port-output get-output-string)

; sorting
(define (list-sort < lis)
  (sort lis <))

(require scheme/include)
(include "quickcheck.scm")
