├── COPYING ├── README.org ├── compiler-macro-test.asd ├── compiler-macro.asd ├── condition.lisp ├── doc ├── Makefile ├── README.texi ├── include │ ├── backmatter.texinfo │ ├── condition-sandalphon.compiler-macro-compiler-macro-redefinition-warning.texinfo │ ├── condition-sandalphon.compiler-macro-optimization-note.texinfo │ ├── condition-sandalphon.compiler-macro-simple-optimization-note.texinfo │ ├── fun-sandalphon.compiler-macro-abort-expansion.texinfo │ ├── fun-sandalphon.compiler-macro-array-type-dimensions.texinfo │ ├── fun-sandalphon.compiler-macro-array-type-element-type.texinfo │ ├── fun-sandalphon.compiler-macro-compiler-hint.texinfo │ ├── fun-sandalphon.compiler-macro-compiler-macroexpand-1.texinfo │ ├── fun-sandalphon.compiler-macro-compiler-macroexpand.texinfo │ ├── fun-sandalphon.compiler-macro-complex-type-element-type.texinfo │ ├── fun-sandalphon.compiler-macro-cons-type-car-type.texinfo │ ├── fun-sandalphon.compiler-macro-cons-type-cdr-type.texinfo │ ├── fun-sandalphon.compiler-macro-decline-expansion.texinfo │ ├── fun-sandalphon.compiler-macro-eql-type-object.texinfo │ ├── fun-sandalphon.compiler-macro-find-inferrer.texinfo │ ├── fun-sandalphon.compiler-macro-form-type.texinfo │ ├── fun-sandalphon.compiler-macro-form-typep.texinfo │ ├── fun-sandalphon.compiler-macro-function-type-primary-value.texinfo │ ├── fun-sandalphon.compiler-macro-function-type-return-type.texinfo │ ├── fun-sandalphon.compiler-macro-intersection-type-types.texinfo │ ├── fun-sandalphon.compiler-macro-kind-of.texinfo │ ├── fun-sandalphon.compiler-macro-kindp.texinfo │ ├── fun-sandalphon.compiler-macro-member-type-members.texinfo │ ├── fun-sandalphon.compiler-macro-negation-type-type.texinfo │ ├── fun-sandalphon.compiler-macro-note-optimization-failure.texinfo │ ├── fun-sandalphon.compiler-macro-numeric-type-high.texinfo │ ├── fun-sandalphon.compiler-macro-numeric-type-low.texinfo │ ├── fun-sandalphon.compiler-macro-policy-quality.texinfo │ ├── fun-sandalphon.compiler-macro-satisfies-type-function.texinfo │ ├── fun-sandalphon.compiler-macro-setf-compiler-hint.texinfo │ ├── fun-sandalphon.compiler-macro-setf-find-inferrer.texinfo │ ├── fun-sandalphon.compiler-macro-union-type-types.texinfo │ ├── fun-sandalphon.compiler-macro-values-type-primary.texinfo │ ├── macro-sandalphon.compiler-macro-define-compiler-hint.texinfo │ ├── macro-sandalphon.compiler-macro-define-compiler-hinter.texinfo │ ├── macro-sandalphon.compiler-macro-define-inferrer.texinfo │ ├── macro-sandalphon.compiler-macro-ekindcase.texinfo │ ├── macro-sandalphon.compiler-macro-form-typecase.texinfo │ ├── macro-sandalphon.compiler-macro-kindcase.texinfo │ ├── macro-sandalphon.compiler-macro-policy.texinfo │ ├── macro-sandalphon.compiler-macro-with-expansion-abortion.texinfo │ ├── macro-sandalphon.compiler-macro-with-expansion-declination.texinfo │ ├── sb-texinfo.texinfo │ └── short-backmatter.texinfo └── style.css ├── form-type.lisp ├── hint.lisp ├── infer.lisp ├── kinds.lisp ├── misc.lisp ├── notes ├── README.org └── kind-types.lisp ├── package.lisp ├── test ├── basic.lisp ├── expt.lisp ├── opticl.lisp ├── package.lisp └── tabasco-sort.lisp └── type-util.lisp /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/COPYING -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/README.org -------------------------------------------------------------------------------- /compiler-macro-test.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/compiler-macro-test.asd -------------------------------------------------------------------------------- /compiler-macro.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/compiler-macro.asd -------------------------------------------------------------------------------- /condition.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/condition.lisp -------------------------------------------------------------------------------- /doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/Makefile -------------------------------------------------------------------------------- /doc/README.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/README.texi -------------------------------------------------------------------------------- /doc/include/backmatter.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/backmatter.texinfo -------------------------------------------------------------------------------- /doc/include/condition-sandalphon.compiler-macro-compiler-macro-redefinition-warning.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/condition-sandalphon.compiler-macro-compiler-macro-redefinition-warning.texinfo -------------------------------------------------------------------------------- /doc/include/condition-sandalphon.compiler-macro-optimization-note.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/condition-sandalphon.compiler-macro-optimization-note.texinfo -------------------------------------------------------------------------------- /doc/include/condition-sandalphon.compiler-macro-simple-optimization-note.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/condition-sandalphon.compiler-macro-simple-optimization-note.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-abort-expansion.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-abort-expansion.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-array-type-dimensions.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-array-type-dimensions.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-array-type-element-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-array-type-element-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-compiler-hint.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-compiler-hint.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-compiler-macroexpand-1.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-compiler-macroexpand-1.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-compiler-macroexpand.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-compiler-macroexpand.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-complex-type-element-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-complex-type-element-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-cons-type-car-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-cons-type-car-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-cons-type-cdr-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-cons-type-cdr-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-decline-expansion.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-decline-expansion.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-eql-type-object.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-eql-type-object.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-find-inferrer.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-find-inferrer.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-form-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-form-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-form-typep.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-form-typep.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-function-type-primary-value.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-function-type-primary-value.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-function-type-return-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-function-type-return-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-intersection-type-types.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-intersection-type-types.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-kind-of.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-kind-of.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-kindp.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-kindp.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-member-type-members.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-member-type-members.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-negation-type-type.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-negation-type-type.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-note-optimization-failure.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-note-optimization-failure.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-numeric-type-high.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-numeric-type-high.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-numeric-type-low.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-numeric-type-low.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-policy-quality.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-policy-quality.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-satisfies-type-function.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-satisfies-type-function.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-setf-compiler-hint.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-setf-compiler-hint.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-setf-find-inferrer.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-setf-find-inferrer.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-union-type-types.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-union-type-types.texinfo -------------------------------------------------------------------------------- /doc/include/fun-sandalphon.compiler-macro-values-type-primary.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/fun-sandalphon.compiler-macro-values-type-primary.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-define-compiler-hint.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-define-compiler-hint.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-define-compiler-hinter.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-define-compiler-hinter.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-define-inferrer.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-define-inferrer.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-ekindcase.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-ekindcase.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-form-typecase.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-form-typecase.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-kindcase.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-kindcase.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-policy.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-policy.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-with-expansion-abortion.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-with-expansion-abortion.texinfo -------------------------------------------------------------------------------- /doc/include/macro-sandalphon.compiler-macro-with-expansion-declination.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/macro-sandalphon.compiler-macro-with-expansion-declination.texinfo -------------------------------------------------------------------------------- /doc/include/sb-texinfo.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/sb-texinfo.texinfo -------------------------------------------------------------------------------- /doc/include/short-backmatter.texinfo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/include/short-backmatter.texinfo -------------------------------------------------------------------------------- /doc/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/doc/style.css -------------------------------------------------------------------------------- /form-type.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/form-type.lisp -------------------------------------------------------------------------------- /hint.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/hint.lisp -------------------------------------------------------------------------------- /infer.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/infer.lisp -------------------------------------------------------------------------------- /kinds.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/kinds.lisp -------------------------------------------------------------------------------- /misc.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/misc.lisp -------------------------------------------------------------------------------- /notes/README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/notes/README.org -------------------------------------------------------------------------------- /notes/kind-types.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/notes/kind-types.lisp -------------------------------------------------------------------------------- /package.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/package.lisp -------------------------------------------------------------------------------- /test/basic.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/test/basic.lisp -------------------------------------------------------------------------------- /test/expt.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/test/expt.lisp -------------------------------------------------------------------------------- /test/opticl.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/test/opticl.lisp -------------------------------------------------------------------------------- /test/package.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/test/package.lisp -------------------------------------------------------------------------------- /test/tabasco-sort.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/test/tabasco-sort.lisp -------------------------------------------------------------------------------- /type-util.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bike/compiler-macro/HEAD/type-util.lisp --------------------------------------------------------------------------------