(load "signatures.ss")

(define ExnUnit
  (unit/sig Exn^ (import)

	    (define (raise-help-item-locked-exn)
	      (raise 'help-item-locked-exn))

	    (define (help-item-locked-exn? val)
	      (eq? val 'help-item-locked-exn))

	    (define (raise-no-matches-found-exn)
	      (raise 'no-matches-found-exn))

	    (define (no-matches-found-exn? val)
	      (eq? val 'no-matches-found-exn))

	    (define (raise-product-name-exists-exn)
	      (raise 'product-name-exists-exn))

	    (define (product-name-exists-exn? val)
	      (eq? val 'product-name-exists-exn))))

(require-library "compat.ss")

(define CommonUnit
  (compound-unit/sig
      (import)
    (link
     (Exn : exn^ (ExnUnit))
     (Func : mzlib:function^ (mzlib:function@))
     (Comp : sort^ (mzlib:compat@ Func)))
    (export (open Exn) (open Comp))))

(require-library "invoke.ss")
(define-values/invoke-unit/sig Common^ CommonUnit #f)