├── .github ├── FUNDING.yml └── workflows │ └── test.yml ├── .gitignore ├── Cask ├── Eask ├── Elsafile.el ├── LICENSE ├── README.md ├── bin ├── elsa ├── elsa-lsp ├── elsa-lsp.bat └── elsa.bat ├── dev ├── builtin.txt └── notes.org ├── docs ├── coventions.org ├── narrowing.org └── type-annotations.org ├── elsa-analyser.el ├── elsa-check.el ├── elsa-declare.el ├── elsa-dependencies.el ├── elsa-english.el ├── elsa-error.el ├── elsa-explainer.el ├── elsa-extension-builtin.el ├── elsa-extension-cl.el ├── elsa-extension-dash.el ├── elsa-extension-eieio.el ├── elsa-extension-elsa.el ├── elsa-extension-flycheck.el ├── elsa-extension-seq.el ├── elsa-extension-subr.el ├── elsa-font-lock.el ├── elsa-form.el ├── elsa-functions.el ├── elsa-log.el ├── elsa-lsp-core.el ├── elsa-lsp.el ├── elsa-methods.el ├── elsa-pkg.el ├── elsa-reader.el ├── elsa-rules-list.el ├── elsa-ruleset.el ├── elsa-scope.el ├── elsa-startup.el ├── elsa-state.el ├── elsa-structure-slot.el ├── elsa-type-algebra.el ├── elsa-type-helpers.el ├── elsa-type.el ├── elsa-typed-builtin.el ├── elsa-typed-cl.el ├── elsa-typed-eieio.el ├── elsa-typed-subr.el ├── elsa-typed-syntax.el ├── elsa-typed-thingatpt.el ├── elsa-types-simple.el ├── elsa-types.el ├── elsa-variable.el ├── elsa.el ├── images ├── always-nil-1.png ├── always-non-nil-1.png ├── custom-ruleset-1.png ├── dead-code-1.png ├── dead-code-2.png ├── formatting-1.png ├── functional-deps-1.png ├── functional-deps-2.png ├── number-of-args-1.png ├── number-of-args-2.png ├── type-inference-1.png ├── type-inference-2.png ├── type-inference-3.png ├── unbound-variable-1.png ├── unbound-variable-2.png ├── unreachable-code-1.png ├── useless-code-1.png ├── useless-code-2.png ├── useless-narrowing-1.png └── useless-narrowing-2.png └── tests ├── _test-elsa-extension-template.el ├── _test-form-template.el ├── _test-types-template.el ├── elsa-test-helpers.el ├── elsa-undercover.el ├── test-analyse-defun.el ├── test-analyser.el ├── test-analysis-expression-type.el ├── test-analysis-form-and.el ├── test-analysis-form-eq.el ├── test-analysis-form-let.el ├── test-analysis-forms.el ├── test-analysis-interactive.el ├── test-analysis-invocation.el ├── test-annotations.el ├── test-elsa-extension-builtin.el ├── test-elsa-extension-cl.el ├── test-elsa-extension-eieio.el ├── test-elsa-ruleset-dead-code.el ├── test-elsa-ruleset-functions.el ├── test-elsa-ruleset-style.el ├── test-elsa-ruleset-variables.el ├── test-extension-builtin.el ├── test-reader.el ├── test-scope.el ├── test-type-algebra.el ├── test-type-helpers.el ├── test-types-bool.el ├── test-types-class.el ├── test-types-diff.el ├── test-types-interface.el ├── test-types-methods.el ├── test-types-numeric.el ├── test-types-plist.el ├── test-types-symbol.el ├── test-types.el └── test-variable.el /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/.gitignore -------------------------------------------------------------------------------- /Cask: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/Cask -------------------------------------------------------------------------------- /Eask: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/Eask -------------------------------------------------------------------------------- /Elsafile.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/Elsafile.el -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/README.md -------------------------------------------------------------------------------- /bin/elsa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/bin/elsa -------------------------------------------------------------------------------- /bin/elsa-lsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/bin/elsa-lsp -------------------------------------------------------------------------------- /bin/elsa-lsp.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/bin/elsa-lsp.bat -------------------------------------------------------------------------------- /bin/elsa.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/bin/elsa.bat -------------------------------------------------------------------------------- /dev/builtin.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/dev/builtin.txt -------------------------------------------------------------------------------- /dev/notes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/dev/notes.org -------------------------------------------------------------------------------- /docs/coventions.org: -------------------------------------------------------------------------------- 1 | * Conventions 2 | -------------------------------------------------------------------------------- /docs/narrowing.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/docs/narrowing.org -------------------------------------------------------------------------------- /docs/type-annotations.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/docs/type-annotations.org -------------------------------------------------------------------------------- /elsa-analyser.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-analyser.el -------------------------------------------------------------------------------- /elsa-check.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-check.el -------------------------------------------------------------------------------- /elsa-declare.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-declare.el -------------------------------------------------------------------------------- /elsa-dependencies.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-dependencies.el -------------------------------------------------------------------------------- /elsa-english.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-english.el -------------------------------------------------------------------------------- /elsa-error.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-error.el -------------------------------------------------------------------------------- /elsa-explainer.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-explainer.el -------------------------------------------------------------------------------- /elsa-extension-builtin.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-builtin.el -------------------------------------------------------------------------------- /elsa-extension-cl.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-cl.el -------------------------------------------------------------------------------- /elsa-extension-dash.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-dash.el -------------------------------------------------------------------------------- /elsa-extension-eieio.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-eieio.el -------------------------------------------------------------------------------- /elsa-extension-elsa.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-elsa.el -------------------------------------------------------------------------------- /elsa-extension-flycheck.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-flycheck.el -------------------------------------------------------------------------------- /elsa-extension-seq.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-seq.el -------------------------------------------------------------------------------- /elsa-extension-subr.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-extension-subr.el -------------------------------------------------------------------------------- /elsa-font-lock.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-font-lock.el -------------------------------------------------------------------------------- /elsa-form.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-form.el -------------------------------------------------------------------------------- /elsa-functions.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-functions.el -------------------------------------------------------------------------------- /elsa-log.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-log.el -------------------------------------------------------------------------------- /elsa-lsp-core.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-lsp-core.el -------------------------------------------------------------------------------- /elsa-lsp.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-lsp.el -------------------------------------------------------------------------------- /elsa-methods.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-methods.el -------------------------------------------------------------------------------- /elsa-pkg.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-pkg.el -------------------------------------------------------------------------------- /elsa-reader.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-reader.el -------------------------------------------------------------------------------- /elsa-rules-list.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-rules-list.el -------------------------------------------------------------------------------- /elsa-ruleset.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-ruleset.el -------------------------------------------------------------------------------- /elsa-scope.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-scope.el -------------------------------------------------------------------------------- /elsa-startup.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-startup.el -------------------------------------------------------------------------------- /elsa-state.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-state.el -------------------------------------------------------------------------------- /elsa-structure-slot.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-structure-slot.el -------------------------------------------------------------------------------- /elsa-type-algebra.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-type-algebra.el -------------------------------------------------------------------------------- /elsa-type-helpers.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-type-helpers.el -------------------------------------------------------------------------------- /elsa-type.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-type.el -------------------------------------------------------------------------------- /elsa-typed-builtin.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-builtin.el -------------------------------------------------------------------------------- /elsa-typed-cl.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-cl.el -------------------------------------------------------------------------------- /elsa-typed-eieio.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-eieio.el -------------------------------------------------------------------------------- /elsa-typed-subr.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-subr.el -------------------------------------------------------------------------------- /elsa-typed-syntax.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-syntax.el -------------------------------------------------------------------------------- /elsa-typed-thingatpt.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-typed-thingatpt.el -------------------------------------------------------------------------------- /elsa-types-simple.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-types-simple.el -------------------------------------------------------------------------------- /elsa-types.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-types.el -------------------------------------------------------------------------------- /elsa-variable.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa-variable.el -------------------------------------------------------------------------------- /elsa.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/elsa.el -------------------------------------------------------------------------------- /images/always-nil-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/always-nil-1.png -------------------------------------------------------------------------------- /images/always-non-nil-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/always-non-nil-1.png -------------------------------------------------------------------------------- /images/custom-ruleset-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/custom-ruleset-1.png -------------------------------------------------------------------------------- /images/dead-code-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/dead-code-1.png -------------------------------------------------------------------------------- /images/dead-code-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/dead-code-2.png -------------------------------------------------------------------------------- /images/formatting-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/formatting-1.png -------------------------------------------------------------------------------- /images/functional-deps-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/functional-deps-1.png -------------------------------------------------------------------------------- /images/functional-deps-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/functional-deps-2.png -------------------------------------------------------------------------------- /images/number-of-args-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/number-of-args-1.png -------------------------------------------------------------------------------- /images/number-of-args-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/number-of-args-2.png -------------------------------------------------------------------------------- /images/type-inference-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/type-inference-1.png -------------------------------------------------------------------------------- /images/type-inference-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/type-inference-2.png -------------------------------------------------------------------------------- /images/type-inference-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/type-inference-3.png -------------------------------------------------------------------------------- /images/unbound-variable-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/unbound-variable-1.png -------------------------------------------------------------------------------- /images/unbound-variable-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/unbound-variable-2.png -------------------------------------------------------------------------------- /images/unreachable-code-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/unreachable-code-1.png -------------------------------------------------------------------------------- /images/useless-code-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/useless-code-1.png -------------------------------------------------------------------------------- /images/useless-code-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/useless-code-2.png -------------------------------------------------------------------------------- /images/useless-narrowing-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/useless-narrowing-1.png -------------------------------------------------------------------------------- /images/useless-narrowing-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/images/useless-narrowing-2.png -------------------------------------------------------------------------------- /tests/_test-elsa-extension-template.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/_test-elsa-extension-template.el -------------------------------------------------------------------------------- /tests/_test-form-template.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/_test-form-template.el -------------------------------------------------------------------------------- /tests/_test-types-template.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/_test-types-template.el -------------------------------------------------------------------------------- /tests/elsa-test-helpers.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/elsa-test-helpers.el -------------------------------------------------------------------------------- /tests/elsa-undercover.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/elsa-undercover.el -------------------------------------------------------------------------------- /tests/test-analyse-defun.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analyse-defun.el -------------------------------------------------------------------------------- /tests/test-analyser.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analyser.el -------------------------------------------------------------------------------- /tests/test-analysis-expression-type.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-expression-type.el -------------------------------------------------------------------------------- /tests/test-analysis-form-and.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-form-and.el -------------------------------------------------------------------------------- /tests/test-analysis-form-eq.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-form-eq.el -------------------------------------------------------------------------------- /tests/test-analysis-form-let.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-form-let.el -------------------------------------------------------------------------------- /tests/test-analysis-forms.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-forms.el -------------------------------------------------------------------------------- /tests/test-analysis-interactive.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-interactive.el -------------------------------------------------------------------------------- /tests/test-analysis-invocation.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-analysis-invocation.el -------------------------------------------------------------------------------- /tests/test-annotations.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-annotations.el -------------------------------------------------------------------------------- /tests/test-elsa-extension-builtin.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-extension-builtin.el -------------------------------------------------------------------------------- /tests/test-elsa-extension-cl.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-extension-cl.el -------------------------------------------------------------------------------- /tests/test-elsa-extension-eieio.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-extension-eieio.el -------------------------------------------------------------------------------- /tests/test-elsa-ruleset-dead-code.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-ruleset-dead-code.el -------------------------------------------------------------------------------- /tests/test-elsa-ruleset-functions.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-ruleset-functions.el -------------------------------------------------------------------------------- /tests/test-elsa-ruleset-style.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-ruleset-style.el -------------------------------------------------------------------------------- /tests/test-elsa-ruleset-variables.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-elsa-ruleset-variables.el -------------------------------------------------------------------------------- /tests/test-extension-builtin.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-extension-builtin.el -------------------------------------------------------------------------------- /tests/test-reader.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-reader.el -------------------------------------------------------------------------------- /tests/test-scope.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-scope.el -------------------------------------------------------------------------------- /tests/test-type-algebra.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-type-algebra.el -------------------------------------------------------------------------------- /tests/test-type-helpers.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-type-helpers.el -------------------------------------------------------------------------------- /tests/test-types-bool.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-bool.el -------------------------------------------------------------------------------- /tests/test-types-class.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-class.el -------------------------------------------------------------------------------- /tests/test-types-diff.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-diff.el -------------------------------------------------------------------------------- /tests/test-types-interface.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-interface.el -------------------------------------------------------------------------------- /tests/test-types-methods.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-methods.el -------------------------------------------------------------------------------- /tests/test-types-numeric.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-numeric.el -------------------------------------------------------------------------------- /tests/test-types-plist.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-plist.el -------------------------------------------------------------------------------- /tests/test-types-symbol.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types-symbol.el -------------------------------------------------------------------------------- /tests/test-types.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-types.el -------------------------------------------------------------------------------- /tests/test-variable.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emacs-elsa/Elsa/HEAD/tests/test-variable.el --------------------------------------------------------------------------------