;;;; check-errors.setup  -*- Hen -*-

(use setup-helper-mod)

(verify-extension-name "check-errors")

; Do not use -local with error modules so error & warning can be rebound.

(setup-shared+static-extension-module 'type-errors (extension-version "2.0.0")
  #:inline? #t
  #:types? #t
  #:compile-options '(-fixnum-arithmetic -no-procedure-checks -no-bound-checks))

(setup-shared+static-extension-module 'srfi-4-errors (extension-version "2.0.0")
  #:inline? #t
  #:types? #t
  #:compile-options '(-fixnum-arithmetic -no-procedure-checks -no-bound-checks))

(setup-shared+static-extension-module 'type-checks (extension-version "2.0.0")
  #:inline? #t
  #:types? #t
  #:compile-options '(-optimize-level 3 -no-procedure-checks -no-bound-checks)
  #:files '("inline-type-checks.scm"))

(setup-shared+static-extension-module 'srfi-4-checks (extension-version "2.0.0")
  #:inline? #t
  #:types? #t
  #:compile-options '(-optimize-level 3 -no-procedure-checks -no-bound-checks))

(install-extension 'check-errors '() `((version ,(extension-version "2.0.0"))))

(setup-shared+static-extension-module 'check-errors (extension-version "2.0.0")
  #:inline? #t
  #:types? #t
  #:compile-options '(-optimize-level 3 -no-procedure-checks -no-bound-checks))