;;;; check-errors.egg  -*- Scheme -*-
;;;; Kon Lovett, Jul '18

((synopsis "Argument checks & errors")
 (version "3.6.0")
 (category misc)
 (license "BSD")
 (author "Kon Lovett")
 (test-dependencies test)
 (component-options
  (csc-options
    ;most before unsafe (want argc check)
    "-O3"
    ;public api useful w/ apropos (arguably -d0 + ,doc is better)
    "-d1"
    ;strong typing
    "-strict-types"
    ;doesn't inject procedures. arguments are either predicated or given to
    ;generics.
    ;note that the callers environment determines the compilation of syntax
    "-no-procedure-checks" "-no-bound-checks") )
 (components
  ;;
  (extension check-errors.sys
    (types-file)
    ;issues w/ unsafe compilation (check is seen as "unused" & only return value is produced)
    (inline-file) )
  ;;
  (extension check-errors
    (types-file)
    (component-dependencies type-checks srfi-4-checks) )
  ;;
  (extension type-checks
    (types-file)
    (component-dependencies type-errors type-checks-basic type-checks-atoms type-checks-structured) )
  (extension type-errors
    (types-file)
    (component-dependencies type-errors-basic type-errors-atoms type-errors-structured) )  ;;
  ;;
  (extension check-errors.basic
    (types-file)
    (component-dependencies type-checks-basic type-errors-basic) )
  (extension type-checks-basic
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-errors-basic
    (types-file) )
  ;;
  (extension type-checks-atoms
    (types-file)
    (component-dependencies type-checks-basic type-checks-numbers type-errors-atoms) )
  (extension type-errors-atoms
    (types-file)
    (component-dependencies type-errors-basic type-errors-numbers) )
  ;;
  (extension type-checks-numbers
    (types-file)
    (component-dependencies type-checks-basic
                            type-errors-numbers
                            type-checks-numbers.interval
                            type-checks-numbers.scheme
                            type-checks-numbers.number
                            type-checks-numbers.fixnum
                            type-checks-numbers.integer
                            type-checks-numbers.bignum
                            type-checks-numbers.ratnum
                            type-checks-numbers.flonum
                            type-checks-numbers.cplxnum) )
  (extension type-errors-numbers
    (types-file)
    (component-dependencies type-errors-basic
                            type-errors-numbers.interval
                            type-errors-numbers.scheme
                            type-errors-numbers.number
                            type-errors-numbers.fixnum
                            type-errors-numbers.integer
                            type-errors-numbers.bignum
                            type-errors-numbers.ratnum
                            type-errors-numbers.flonum
                            type-errors-numbers.cplxnum) )
  (extension type-checks-numbers.interval
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.interval) )
  (extension type-errors-numbers.interval
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.scheme
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.scheme) )
  (extension type-errors-numbers.scheme
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.number
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.number) )
  (extension type-errors-numbers.number
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.fixnum
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.fixnum) )
  (extension type-errors-numbers.fixnum
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.integer
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.integer) )
  (extension type-errors-numbers.integer
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.bignum
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.bignum) )
  (extension type-errors-numbers.bignum
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.ratnum
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.ratnum) )
  (extension type-errors-numbers.ratnum
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.flonum
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.flonum) )
  (extension type-errors-numbers.flonum
    (types-file)
    (component-dependencies type-errors-basic) )
  (extension type-checks-numbers.cplxnum
    (types-file)
    (component-dependencies type-checks-basic type-errors-numbers.cplxnum) )
  (extension type-errors-numbers.cplxnum
    (types-file)
    (component-dependencies type-errors-basic) )
  ;;
  (extension type-checks-structured
    (types-file)
    (component-dependencies type-checks-basic type-errors-structured) )
  (extension type-errors-structured
    (types-file)
    (component-dependencies type-errors-basic) )
  ;;
  (extension srfi-4-checks
    (types-file)
    (component-dependencies type-checks-basic srfi-4-errors) )
  (extension srfi-4-errors
    (types-file)
    (component-dependencies type-errors-basic) ) ) )