The coalton Reference Manual

coalton.asd.

coalton (system).

• coalton.
• coalton/library.
• coalton/hashtable-shim.

coalton-compiler.asd.

coalton-compiler (system).

coalton-compiler.

source-error.asd.

source-error (system).

source-error.

coalton-asdf.asd.

coalton-asdf (system).

coalton-asdf.

coalton-compiler.asd.

coalton-compiler (system).

coalton.

package.lisp (file).

coalton-compiler.asd.

coalton-compiler (system).

coalton-impl/settings.

• *coalton-disable-specialization* (special variable).
• *coalton-heuristic-inlining* (special variable).
• *coalton-optimize* (special variable).
• *coalton-optimize-library* (special variable).
• *coalton-print-unicode* (special variable).
• *compile-print-types* (special variable).
• *emit-type-annotations* (special variable).
• coalton-release-p (function).

• *config-keys* (special variable).
• config (function).

settings.lisp (file).

coalton-compiler.asd.

coalton-compiler (system).

coalton-impl/util.

• +keyword-package+ (constant).
• coalton-bug (function).
• coalton-bug (condition).
• cst-list (type).
• cst-source-range (function).
• debug-log (macro).
• debug-tap (macro).
• drop (function).
• find-package (function).
• find-symbol (function).
• find-symbol? (function).
• literal-equal (function).
• literal-value (type).
• maphash-values-new (function).
• project-indices (function).
• project-map (function).
• required (function).
• runtime-quote (function).
• string-list (type).
• symbol-list (type).
• take (function).
• take-until (function).
• unreachable (macro).

• coalton-bug-args (reader method).
• coalton-bug-reason (reader method).
• cst-list-p (function).
• string-list-p (function).
• symbol-list-p (function).

utilities.lisp (file).

coalton-compiler.asd.

coalton-compiler (system).

coalton-impl/source.

• char-position-stream (class).
• docstring (generic function).
• end-location (function).
• error (function).
• help (function).
• initialize-instance (method).
• location (generic function).
• location (structure).
• location-source (reader).
• location-span (reader).
• location< (function).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-location (function).
• make-source-file (function).
• make-source-string (function).
• message (generic reader).
• note (function).
• note (class).
• print-object (method).
• print-object (method).
• print-object (method).
• secondary-note (function).
• source-available-p (generic function).
• source-error (condition).
• source-name (generic function).
• source-stream (generic function).
• source-warning (condition).
• span (type).
• span-end (function).
• span-start (function).
• (setf stream-file-position) (method).
• stream-file-position (method).
• stream-read-char (method).
• stream-read-char-no-hang (method).
• stream-unread-char (method).
• warn (function).
• with-context (macro).

• %make-location (function).
• %primary-note (function).
• %reduce-context (function).
• *context* (special variable).
• char-offsets (function).
• character-position (reader method).
• (setf character-position) (writer method).
• condition-stream (function).
• context (generic reader).
• copy-location (function).
• end-column (function).
• end-line (function).
• end-offset (function).
• end-position (function).
• end-span (function).
• ensure-location (function).
• ensure-namestring (function).
• file-offset (reader method).
• find-column-offsets (function).
• find-line-offsets (function).
• first-line-number (function).
• inner-stream (reader method).
• input-name (reader method).
• last-line-number (function).
• line-contents (function).
• line-offsets (reader method).
• location-lines (function).
• location-p (function).
• location-point< (function).
• location-points (function).
• location-positions (function).
• make-printer-state (function).
• max-depth (function).
• multiline-p (function).
• note-help-p (function).
• note-highlight-char (function).
• note-primary-p (function).
• note-stack (reader method).
• (setf note-stack) (writer method).
• note-type (reader method).
• notes (reader method).
• offset-position (function).
• original-name (reader method).
• positioned-annotations (function).
• print-condition-location (function).
• print-empty-line (function).
• print-finished-notes-for-line (function).
• print-help (function).
• print-line-contents (function).
• print-line-number (function).
• print-line-prefix (function).
• print-lines-until (function).
• print-note (function).
• print-note-end (function).
• print-note-start (function).
• print-notes (function).
• print-single-line-note (function).
• printer-state (class).
• replace-function (reader method).
• report-source-condition (function).
• severity (generic function).
• source (class).
• source-condition (condition).
• source-file (class).
• source-string (reader method).
• source-string (class).
• source< (function).
• span-empty-p (function).
• span< (function).
• start-column (function).
• start-line (function).
• start-offset (function).
• start-position (function).
• unread-characters (reader method).
• (setf unread-characters) (writer method).
• write-nchar (function).

source.lisp (file).

coalton-compiler.asd.

coalton-compiler (system).

coalton-impl/global-lexical.

• define-global-lexical (macro).
• get-top-level-binding (function).

• *top-level-environment* (special variable).
• copy-global-environment (function).
• global-environment (structure).
• global-environment-bindings (reader).
• (setf global-environment-bindings) (writer).
• global-environment-p (function).
• make-global-environment (function).
• top-level-binding-name (function).
• top-level-binding-value (function).
• (setf top-level-binding-value) (function).

global-lexical.lisp (file).

coalton-compiler.asd.

coalton-compiler (system).

coalton-impl/constants.

+default-loop-label+ (constant).

coalton-compiler.asd.

algorithm (module).

coalton-impl/algorithm/tarjan-scc.

tarjan-scc (function).

• copy-tarjan-node (function).
• make-tarjan-node (function).
• tarjan-node (structure).
• tarjan-node-index (reader).
• (setf tarjan-node-index) (writer).
• tarjan-node-low-link (reader).
• (setf tarjan-node-low-link) (writer).
• tarjan-node-on-stack (reader).
• (setf tarjan-node-on-stack) (writer).
• tarjan-node-p (function).

tarjan-scc.lisp (file).

coalton-compiler.asd.

algorithm (module).

coalton-impl/algorithm/immutable-map.

• immutable-map (structure).
• immutable-map-data (reader).
• immutable-map-diff (function).
• immutable-map-keys (function).
• immutable-map-lookup (function).
• immutable-map-remove (function).
• immutable-map-set (function).
• immutable-map-set-multiple (function).
• make-immutable-map (function).
• make-load-form (method).

• copy-immutable-map (function).
• immutable-map-p (function).

immutable-map.lisp (file).

coalton-compiler.asd.

algorithm (module).

coalton-impl/algorithm/immutable-listmap.

• immutable-listmap (structure).
• immutable-listmap-data (reader).
• immutable-listmap-diff (function).
• immutable-listmap-lookup (function).
• immutable-listmap-push (function).
• immutable-listmap-replace (function).
• make-immutable-listmap (function).

• copy-immutable-listmap (function).
• immutable-listmap-p (function).

immutable-listmap.lisp (file).

coalton-compiler.asd.

algorithm (module).

coalton-impl/algorithm.

coalton-compiler.asd.

parser (module).

coalton-impl/parser/base.

• form-location (function).
• help (function).
• identifier (type).
• identifier-list (type).
• identifier-src (structure).
• identifier-src-list (type).
• identifier-src-name (reader).
• identifierp (function).
• keyword-src (structure).
• keyword-src-list (type).
• keyword-src-name (reader).
• location (method).
• location (method).
• make-identifier-src (function).
• make-keyword-src (function).
• note (function).
• note-end (function).
• parse-error (function).
• parse-error (condition).
• parse-list (function).
• secondary-note (function).

• ensure-span (function).
• identifier-list-p (function).
• identifier-src-list-p (function).
• identifier-src-location (reader).
• identifier-src-p (function).
• keyword-src-list-p (function).
• keyword-src-location (reader).
• keyword-src-p (function).

base.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/cursor.

• atom-p (function).
• collect (function).
• collect-symbols (function).
• cursor-location (function).
• cursor-message (reader).
• (setf cursor-message) (writer).
• cursor-pointer (reader).
• (setf cursor-pointer) (writer).
• cursor-source (reader).
• (setf cursor-source) (writer).
• cursor-value (reader).
• (setf cursor-value) (writer).
• discard-symbol (function).
• each (function).
• empty-p (function).
• error (function).
• location (method).
• make-cursor (function).
• next (function).
• next-symbol (function).
• peek (function).

• %ensure-proper-list (function).
• %label-location (function).
• %make-cursor (function).
• copy-cursor (function).
• cursor (structure).
• cursor-last (reader).
• (setf cursor-last) (writer).
• cursor-p (function).
• proper-list-p (function).

cursor.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/reader.

• *coalton-eclector-client* (special variable).
• make-expression-result (method).
• maybe-read-form (function).
• with-reader-context (macro).

coalton-eclector-client (class).

reader.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/types.

• location (method).
• location (method).
• location (method).
• make-qualified-ty (function).
• make-tapp (function).
• make-ty-predicate (function).
• make-tycon (function).
• make-tyvar (function).
• parse-predicate (function).
• parse-qualified-type (function).
• parse-type (function).
• qualified-ty (structure).
• qualified-ty-predicates (reader).
• qualified-ty-type (reader).
• tapp (structure).
• tapp-from (reader).
• tapp-p (function).
• tapp-to (reader).
• ty (structure).
• ty-list (type).
• ty-predicate (structure).
• ty-predicate-class (reader).
• ty-predicate-list (type).
• ty-predicate-types (reader).
• tycon (structure).
• tycon-list (type).
• tycon-name (reader).
• tycon-p (function).
• tyvar (structure).
• tyvar-list (type).
• tyvar-name (reader).
• tyvar-p (function).

• parse-type-list (function).
• qualified-ty-location (reader).
• tapp-location (function).
• ty-list-p (function).
• ty-location (reader).
• ty-p (function).
• ty-predicate-list-p (function).
• ty-predicate-location (reader).
• ty-predicate-p (function).
• tycon-list-p (function).
• tycon-location (function).
• tyvar-list-p (function).
• tyvar-location (function).

types.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/pattern.

• location (method).
• make-load-form (method).
• make-pattern-constructor (function).
• make-pattern-literal (function).
• make-pattern-var (function).
• make-pattern-wildcard (function).
• parse-pattern (function).
• pattern (structure).
• pattern-constructor (structure).
• pattern-constructor-name (reader).
• pattern-constructor-patterns (reader).
• pattern-list (type).
• pattern-literal (structure).
• pattern-literal-value (reader).
• pattern-var (structure).
• pattern-var-name (reader).
• pattern-var-orig-name (reader).
• pattern-var-p (function).
• pattern-variables (function).
• pattern-wildcard (structure).
• print-object (method).
• print-object (method).
• print-object (method).
• print-object (method).

• pattern-constructor-location (function).
• pattern-constructor-p (function).
• pattern-list-p (function).
• pattern-literal-location (function).
• pattern-literal-p (function).
• pattern-location (reader).
• pattern-p (function).
• pattern-var-list (type).
• pattern-var-list-p (function).
• pattern-var-location (function).
• pattern-variables-generic% (generic function).
• pattern-wildcard-location (function).
• pattern-wildcard-p (function).

pattern.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/macro.

expand-macro (function).

• fill-source-table (function).
• rebuild-cst (function).

macro.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/expression.

• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• make-node-abstraction (function).
• make-node-accessor (function).
• make-node-and (function).
• make-node-application (function).
• make-node-bind (function).
• make-node-body (function).
• make-node-break (function).
• make-node-cond (function).
• make-node-cond-clause (function).
• make-node-continue (function).
• make-node-do (function).
• make-node-do-bind (function).
• make-node-for (function).
• make-node-if (function).
• make-node-let (function).
• make-node-let-binding (function).
• make-node-let-declare (function).
• make-node-lisp (function).
• make-node-literal (function).
• make-node-loop (function).
• make-node-match (function).
• make-node-match-branch (function).
• make-node-or (function).
• make-node-progn (function).
• make-node-return (function).
• make-node-the (function).
• make-node-unless (function).
• make-node-variable (function).
• make-node-when (function).
• make-node-while (function).
• make-node-while-let (function).
• node (structure).
• node-abstraction (structure).
• node-abstraction-body (reader).
• node-abstraction-p (function).
• node-abstraction-params (reader).
• node-accessor (structure).
• node-accessor-name (reader).
• node-and (structure).
• node-and-nodes (reader).
• node-application (structure).
• node-application-rands (reader).
• node-application-rator (reader).
• node-bind (structure).
• node-bind-expr (reader).
• node-bind-pattern (reader).
• node-body (structure).
• node-body-element (type).
• node-body-element-list (type).
• node-body-last-node (reader).
• node-body-nodes (reader).
• node-break (structure).
• node-break-label (reader).
• node-cond (structure).
• node-cond-clause (structure).
• node-cond-clause-body (reader).
• node-cond-clause-expr (reader).
• node-cond-clause-list (type).
• node-cond-clauses (reader).
• node-continue (structure).
• node-continue-label (reader).
• node-do (structure).
• node-do-bind (structure).
• node-do-bind-expr (reader).
• node-do-bind-pattern (reader).
• node-do-body-element (type).
• node-do-last-node (reader).
• node-do-nodes (reader).
• node-for (structure).
• node-for-body (reader).
• node-for-expr (reader).
• node-for-label (reader).
• node-for-pattern (reader).
• node-if (structure).
• node-if-else (reader).
• node-if-expr (reader).
• node-if-then (reader).
• node-integer-literal (structure).
• node-integer-literal-value (reader).
• node-let (structure).
• node-let-binding (structure).
• node-let-binding-list (type).
• node-let-binding-name (reader).
• node-let-binding-value (reader).
• node-let-bindings (reader).
• node-let-body (reader).
• node-let-declare (structure).
• node-let-declare-list (type).
• node-let-declare-name (reader).
• node-let-declare-type (reader).
• node-let-declares (reader).
• node-lisp (structure).
• node-lisp-body (reader).
• node-lisp-type (reader).
• node-lisp-var-names (reader).
• node-lisp-vars (reader).
• node-list (type).
• node-literal (structure).
• node-literal-value (reader).
• node-loop (structure).
• node-loop-body (reader).
• node-loop-label (reader).
• node-match (structure).
• node-match-branch (structure).
• node-match-branch-body (reader).
• node-match-branch-list (type).
• node-match-branch-pattern (reader).
• node-match-branches (reader).
• node-match-expr (reader).
• node-or (structure).
• node-or-nodes (reader).
• node-progn (structure).
• node-progn-body (reader).
• node-return (structure).
• node-return-expr (reader).
• node-the (structure).
• node-the-expr (reader).
• node-the-type (reader).
• node-unless (structure).
• node-unless-body (reader).
• node-unless-expr (reader).
• node-variable (structure).
• node-variable-list (type).
• node-variable-name (reader).
• node-when (structure).
• node-when-body (reader).
• node-when-expr (reader).
• node-while (structure).
• node-while-body (reader).
• node-while-expr (reader).
• node-while-label (reader).
• node-while-let (structure).
• node-while-let-body (reader).
• node-while-let-expr (reader).
• node-while-let-label (reader).
• node-while-let-pattern (reader).
• parse-body (function).
• parse-expression (function).
• parse-variable (function).

• *loop-label-context* (special variable).
• *macro-expansion-count* (special variable).
• +macro-expansion-max+ (constant).
• do-bind-p (function).
• make-node-integer-literal (function).
• node-abstraction-location (function).
• node-accessor-location (function).
• node-accessor-p (function).
• node-and-location (function).
• node-and-p (function).
• node-application-location (function).
• node-application-p (function).
• node-bind-location (reader).
• node-bind-p (function).
• node-body-element-list-p (function).
• node-body-element-p (function).
• node-body-p (function).
• node-break-location (function).
• node-break-p (function).
• node-cond-clause-list-p (function).
• node-cond-clause-location (reader).
• node-cond-clause-p (function).
• node-cond-location (function).
• node-cond-p (function).
• node-continue-location (function).
• node-continue-p (function).
• node-do-bind-location (reader).
• node-do-bind-p (function).
• node-do-body-element-list (type).
• node-do-body-element-list-p (function).
• node-do-body-element-p (function).
• node-do-location (function).
• node-do-p (function).
• node-for-location (function).
• node-for-p (function).
• node-if-location (function).
• node-if-p (function).
• node-integer-literal-location (function).
• node-integer-literal-p (function).
• node-let-binding-list-p (function).
• node-let-binding-location (reader).
• node-let-binding-p (function).
• node-let-declare-list-p (function).
• node-let-declare-location (reader).
• node-let-declare-p (function).
• node-let-location (function).
• node-let-p (function).
• node-lisp-location (function).
• node-lisp-p (function).
• node-list-p (function).
• node-literal-location (function).
• node-literal-p (function).
• node-location (reader).
• node-loop-location (function).
• node-loop-p (function).
• node-match-branch-list-p (function).
• node-match-branch-location (reader).
• node-match-branch-p (function).
• node-match-location (function).
• node-match-p (function).
• node-or-location (function).
• node-or-p (function).
• node-p (function).
• node-progn-location (function).
• node-progn-p (function).
• node-return-location (function).
• node-return-p (function).
• node-the-location (function).
• node-the-p (function).
• node-unless-location (function).
• node-unless-p (function).
• node-variable-list-p (function).
• node-variable-location (function).
• node-variable-p (function).
• node-when-location (function).
• node-when-p (function).
• node-while-let-location (function).
• node-while-let-p (function).
• node-while-location (function).
• node-while-p (function).
• parse-accessor (function).
• parse-body-element (function).
• parse-body-last-node (function).
• parse-cond-clause (function).
• parse-do (function).
• parse-do-body-element (function).
• parse-do-body-last-node (function).
• parse-let-binding (function).
• parse-let-declare (function).
• parse-literal (function).
• parse-match-branch (function).
• parse-node-bind (function).
• parse-node-do-bind (function).
• shorthand-let-p (function).
• take-label (function).

expression.lisp (file).

coalton-compiler.asd.

parser (module).

• coalton-impl/parser/%defpackage.
• coalton-impl/parser/toplevel.

• attribute (structure).
• attribute-monomorphize (structure).
• attribute-repr (structure).
• attribute-repr-arg (reader).
• attribute-repr-type (reader).
• constructor (structure).
• constructor-fields (reader).
• constructor-list (type).
• constructor-name (reader).
• docstring (method).
• docstring (method).
• fundep (structure).
• fundep-left (reader).
• fundep-list (type).
• fundep-right (reader).
• instance-method-definition (structure).
• instance-method-definition-body (reader).
• instance-method-definition-list (type).
• instance-method-definition-name (reader).
• instance-method-definition-params (reader).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• location (method).
• make-attribute-monomorphize (function).
• make-attribute-repr (function).
• make-constructor (function).
• make-defpackage (function).
• make-fundep (function).
• make-instance-method-definition (function).
• make-load-form (method).
• make-method-definition (function).
• make-program (function).
• make-struct-field (function).
• make-toplevel-declare (function).
• make-toplevel-define (function).
• make-toplevel-define-class (function).
• make-toplevel-define-instance (function).
• make-toplevel-define-struct (function).
• make-toplevel-define-type (function).
• make-toplevel-lisp-form (function).
• make-toplevel-specialize (function).
• method-definition (structure).
• method-definition-list (type).
• method-definition-name (reader).
• method-definition-type (reader).
• parse-toplevel-form (function).
• program (structure).
• program-classes (reader).
• (setf program-classes) (writer).
• program-declares (reader).
• (setf program-declares) (writer).
• program-defines (reader).
• (setf program-defines) (writer).
• program-instances (reader).
• (setf program-instances) (writer).
• program-lisp-forms (reader).
• (setf program-lisp-forms) (writer).
• program-lisp-package (function).
• program-package (reader).
• program-specializations (reader).
• (setf program-specializations) (writer).
• program-structs (reader).
• (setf program-structs) (writer).
• program-types (reader).
• (setf program-types) (writer).
• read-expression (function).
• read-program (function).
• struct-field (structure).
• struct-field-list (type).
• struct-field-name (reader).
• struct-field-type (reader).
• toplevel-declare (structure).
• toplevel-declare-list (type).
• toplevel-declare-monomorphize (reader).
• (setf toplevel-declare-monomorphize) (writer).
• toplevel-declare-name (reader).
• toplevel-declare-type (reader).
• toplevel-define (structure).
• toplevel-define-body (reader).
• toplevel-define-class (structure).
• toplevel-define-class-fundeps (reader).
• toplevel-define-class-head-location (reader).
• toplevel-define-class-list (type).
• toplevel-define-class-methods (reader).
• toplevel-define-class-name (reader).
• toplevel-define-class-preds (reader).
• toplevel-define-class-vars (reader).
• toplevel-define-instance (structure).
• toplevel-define-instance-compiler-generated (reader).
• toplevel-define-instance-context (reader).
• toplevel-define-instance-head-location (reader).
• toplevel-define-instance-list (type).
• toplevel-define-instance-methods (reader).
• toplevel-define-instance-pred (reader).
• toplevel-define-list (type).
• toplevel-define-monomorphize (reader).
• (setf toplevel-define-monomorphize) (writer).
• toplevel-define-name (reader).
• toplevel-define-orig-params (reader).
• toplevel-define-params (reader).
• toplevel-define-struct (structure).
• toplevel-define-struct-fields (reader).
• toplevel-define-struct-head-location (reader).
• toplevel-define-struct-list (type).
• toplevel-define-struct-name (reader).
• toplevel-define-struct-repr (reader).
• (setf toplevel-define-struct-repr) (writer).
• toplevel-define-struct-vars (reader).
• toplevel-define-type (structure).
• toplevel-define-type-ctors (reader).
• toplevel-define-type-head-location (reader).
• toplevel-define-type-list (type).
• toplevel-define-type-name (reader).
• toplevel-define-type-repr (reader).
• (setf toplevel-define-type-repr) (writer).
• toplevel-define-type-vars (reader).
• toplevel-lisp-form (structure).
• toplevel-lisp-form-body (reader).
• toplevel-lisp-form-list (type).
• toplevel-package-name (reader).
• toplevel-specialize (structure).
• toplevel-specialize-from (reader).
• toplevel-specialize-list (type).
• toplevel-specialize-to (reader).
• toplevel-specialize-type (reader).

• *package-clauses* (special variable).
• attribute-location (reader).
• attribute-monomorphize-location (function).
• attribute-monomorphize-p (function).
• attribute-p (function).
• attribute-repr-location (function).
• attribute-repr-p (function).
• constructor-docstring (reader).
• constructor-list-p (function).
• constructor-location (reader).
• constructor-p (function).
• consume-monomorphize (function).
• consume-repr (function).
• copy-attribute-monomorphize (function).
• copy-attribute-repr (function).
• copy-program (function).
• copy-toplevel-definition (function).
• eval-toplevel-p (function).
• forbid-attributes (function).
• fundep-list-p (function).
• fundep-location (reader).
• fundep-p (function).
• instance-method-definition-list-p (function).
• instance-method-definition-location (reader).
• instance-method-definition-p (function).
• lisp-package (function).
• make-toplevel-package (function).
• maybe-def-p (function).
• method-definition-docstring (function).
• method-definition-list-p (function).
• method-definition-location (function).
• method-definition-p (function).
• package-clause-parser (function).
• parse-argument-list (function).
• parse-constructor (function).
• parse-declare (function).
• parse-define (function).
• parse-define-class (function).
• parse-define-instance (function).
• parse-define-struct (function).
• parse-define-type (function).
• parse-definition-body (function).
• parse-export (function).
• parse-fundep (function).
• parse-identifier (function).
• parse-import (function).
• parse-import-from (function).
• parse-import-statement (function).
• parse-instance-method-definition (function).
• parse-lisp-toplevel-form (function).
• parse-method (function).
• parse-monomorphize (function).
• parse-package (function).
• parse-package-clause (function).
• parse-repr (function).
• parse-shadow (function).
• parse-specialize (function).
• parse-struct-field (function).
• parse-type-variable (function).
• program-p (function).
• read-toplevel-package (function).
• struct-field-docstring (function).
• struct-field-list-p (function).
• struct-field-location (function).
• struct-field-p (function).
• toplevel-declare-list-p (function).
• toplevel-declare-location (reader).
• toplevel-declare-p (function).
• toplevel-define-class-docstring (function).
• toplevel-define-class-list-p (function).
• toplevel-define-class-location (function).
• toplevel-define-class-p (function).
• toplevel-define-docstring (function).
• toplevel-define-instance-docstring (function).
• toplevel-define-instance-list-p (function).
• toplevel-define-instance-location (function).
• toplevel-define-instance-p (function).
• toplevel-define-list-p (function).
• toplevel-define-location (function).
• toplevel-define-p (function).
• toplevel-define-struct-docstring (function).
• toplevel-define-struct-list-p (function).
• toplevel-define-struct-location (function).
• toplevel-define-struct-p (function).
• toplevel-define-type-docstring (function).
• toplevel-define-type-list-p (function).
• toplevel-define-type-location (function).
• toplevel-define-type-p (function).
• toplevel-definition (structure).
• toplevel-definition-docstring (reader).
• toplevel-definition-location (reader).
• toplevel-definition-p (function).
• toplevel-lisp-form-list-p (function).
• toplevel-lisp-form-location (reader).
• toplevel-lisp-form-p (function).
• toplevel-package (structure).
• toplevel-package-docstring (function).
• toplevel-package-export (reader).
• (setf toplevel-package-export) (writer).
• toplevel-package-import (reader).
• (setf toplevel-package-import) (writer).
• toplevel-package-import-as (reader).
• (setf toplevel-package-import-as) (writer).
• toplevel-package-import-from (reader).
• (setf toplevel-package-import-from) (writer).
• toplevel-package-location (function).
• toplevel-package-p (function).
• toplevel-package-shadow (reader).
• (setf toplevel-package-shadow) (writer).
• toplevel-specialize-list-p (function).
• toplevel-specialize-location (reader).
• toplevel-specialize-p (function).
• with-parser-package (macro).

toplevel.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/collect.

• collect-referenced-classes (function).
• collect-referenced-types (function).
• collect-type-variables (function).
• collect-variables (function).

• collect-referenced-classes-generic% (generic function).
• collect-referenced-types-generic% (generic function).
• collect-type-variables-generic% (generic function).
• collect-variables-generic% (generic function).

collect.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/renamer.

• rename-type-variables (function).
• rename-variables (function).

• make-local-vars (function).
• rename-type-variables-generic% (generic function).
• rename-variables-generic% (generic function).

renamer.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/binding.

• binding-function-p (generic function).
• binding-last-node (generic function).
• binding-name (generic function).
• binding-parameters (generic function).
• binding-toplevel-p (generic function).
• binding-value (generic function).

initform-abstraction-p (generic function).

binding.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser/type-definition.

• type-definition (type).
• type-definition-ctor-field-types (generic function).
• type-definition-ctor-name (generic function).
• type-definition-ctors (generic function).
• type-definition-list (type).
• type-definition-name (generic function).
• type-definition-repr (generic function).
• type-definition-vars (generic function).

• type-definition-list-p (function).
• type-definition-p (function).

type-definition.lisp (file).

coalton-compiler.asd.

parser (module).

coalton-impl/parser.

coalton-compiler.asd.

runtime (module).

coalton-impl/runtime/function-entry.

• call-coalton-function (compiler macro).
• call-coalton-function (function).
• construct-function-entry (function).
• function-entry (structure).
• function-entry-arity (reader).
• function-entry-curried (reader).
• function-entry-function (reader).
• print-object (method).
• too-many-arguments-arguments (reader method).
• (setf too-many-arguments-arguments) (writer method).
• too-many-arguments-count (reader method).
• (setf too-many-arguments-count) (writer method).
• too-many-arguments-function (reader method).
• (setf too-many-arguments-function) (writer method).
• too-many-arguments-to-coalton-function (condition).

• *function-application-functions* (special variable).
• *function-constructor-functions* (special variable).
• a1 (function).
• a10 (function).
• a11 (function).
• a12 (function).
• a13 (function).
• a14 (function).
• a15 (function).
• a16 (function).
• a17 (function).
• a18 (function).
• a19 (function).
• a2 (function).
• a20 (function).
• a21 (function).
• a22 (function).
• a23 (function).
• a24 (function).
• a25 (function).
• a26 (function).
• a27 (function).
• a28 (function).
• a29 (function).
• a3 (function).
• a30 (function).
• a31 (function).
• a4 (function).
• a5 (function).
• a6 (function).
• a7 (function).
• a8 (function).
• a9 (function).
• copy-function-entry (function).
• define-function-macros (macro).
• f1 (function).
• f10 (function).
• f11 (function).
• f12 (function).
• f13 (function).
• f14 (function).
• f15 (function).
• f16 (function).
• f17 (function).
• f18 (function).
• f19 (function).
• f2 (function).
• f20 (function).
• f21 (function).
• f22 (function).
• f23 (function).
• f24 (function).
• f25 (function).
• f26 (function).
• f27 (function).
• f28 (function).
• f29 (function).
• f3 (function).
• f30 (function).
• f31 (function).
• f4 (function).
• f5 (function).
• f6 (function).
• f7 (function).
• f8 (function).
• f9 (function).
• function-arity-limit (constant).
• function-entry-p (function).
• make-function-entry (function).
• unreachable-fun (function).

function-entry.lisp (file).

coalton-compiler.asd.

runtime (module).

coalton-impl/runtime.

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/base.

• *coalton-pretty-print-tyvars* (special variable).
• *pprint-tyvar-dict* (special variable).
• *pprint-variable-symbol-code* (special variable).
• *pprint-variable-symbol-suffix* (special variable).
• check-duplicates (function).
• check-package (function).
• coalton-internal-type-error (condition).
• tc-error (function).
• tc-error (condition).
• tc-location (function).
• tc-note (function).
• tc-secondary-location (function).
• tc-secondary-note (function).
• with-pprint-variable-context (macro).
• with-pprint-variable-scope (macro).

base.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/kinds.

• +kstar+ (constant).
• apply-ksubstitution (generic function).
• kfun (structure).
• kfun-from (reader).
• kfun-p (function).
• kfun-to (reader).
• kind (structure).
• kind-arity (function).
• kind-list (type).
• kind-monomorphize-subs (function).
• kind-return-type (function).
• kind-variables (function).
• kind-variables-generic% (generic function).
• kmgu (generic function).
• kstar (structure).
• kstar-p (function).
• ksubstitution (structure).
• ksubstitution-from (reader).
• ksubstitution-list (type).
• ksubstitution-to (reader).
• kunify (function).
• kunify-error (condition).
• kyvar (structure).
• kyvar-id (reader).
• kyvar-list (type).
• make-kfun (function).
• make-kind-function* (function).
• make-ksubstitution (function).
• make-kvariable (function).
• make-kyvar (function).
• make-load-form (method).
• print-object (method).
• simple-kind-p (function).

• *next-kvar-id* (special variable).
• compose-ksubstitution-lists (function).
• copy-kfun (function).
• copy-ksubstitution (function).
• copy-kyvar (function).
• kind-list-p (function).
• kind-p (function).
• ksubstitution-list-p (function).
• ksubstitution-p (function).
• kunify-error-kind2 (reader method).
• kunify-errror-kind1 (reader method).
• kyvar-list-p (function).
• kyvar-p (function).
• make-kstar (function).
• pprint-kind (function).

kinds.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/types.

• *arrow-type* (special variable).
• *boolean-type* (special variable).
• *char-type* (special variable).
• *double-float-type* (special variable).
• *fraction-type* (special variable).
• *ifix-type* (special variable).
• *integer-type* (special variable).
• *list-type* (special variable).
• *single-float-type* (special variable).
• *string-type* (special variable).
• *ufix-type* (special variable).
• *unit-type* (special variable).
• apply-ksubstitution (method).
• apply-ksubstitution (method).
• apply-ksubstitution (method).
• apply-type-argument (function).
• apply-type-argument-list (function).
• fresh-type-renamer (function).
• function-remove-arguments (function).
• function-return-type (generic function).
• function-type-arguments (generic function).
• function-type-arity (function).
• function-type-from (function).
• function-type-p (generic function).
• function-type-to (function).
• instantiate (generic function).
• kind-of (generic function).
• kind-variables-generic% (method).
• kind-variables-generic% (method).
• kind-variables-generic% (method).
• make-function-type (function).
• make-function-type* (function).
• make-load-form (method).
• make-load-form (method).
• make-tapp (function).
• make-tgen (function).
• make-tycon (function).
• make-tyvar (function).
• make-variable (function).
• next-pprint-variable (function).
• next-pprint-variable-as-tvar (function).
• pprint-tvar (function).
• pprint-ty (function).
• print-object (method).
• tapp (structure).
• tapp-from (reader).
• tapp-p (function).
• tapp-to (reader).
• tgen (structure).
• tgen-id (reader).
• tgen-p (function).
• ty (structure).
• ty-list (type).
• tycon (structure).
• tycon-kind (reader).
• tycon-name (reader).
• tycon-p (function).
• type-application-error (condition).
• type-constructors (function).
• type-variables (generic function).
• tyvar (structure).
• tyvar-id (reader).
• tyvar-kind (reader).
• tyvar-list (type).
• tyvar-p (function).

• *next-variable-id* (special variable).
• copy-tapp (function).
• copy-tgen (function).
• copy-ty (function).
• copy-tycon (function).
• copy-tyvar (function).
• ty-list-p (function).
• ty-p (function).
• type-application-error-argument (reader method).
• type-application-error-type (reader method).
• type-constructors-generic% (generic function).
• tyvar-list-p (function).

types.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/substitutions.

• apply-substitution (generic function).
• compose-substitution-lists (function).
• make-substitution (function).
• merge-substitution-lists (function).
• substitution (structure).
• substitution-from (reader).
• substitution-list (type).
• substitution-p (function).
• substitution-to (reader).

• copy-substitution (function).
• pprint-substitution (function).
• substitution-list-merge-error (condition).
• substitution-list-p (function).

substitutions.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/predicate.

• apply-ksubstitution (method).
• apply-ksubstitution (method).
• apply-substitution (method).
• apply-substitution (method).
• function-return-type (method).
• function-type-arguments (method).
• function-type-p (method).
• instantiate (method).
• instantiate (method).
• kind-of (method).
• kind-variables-generic% (method).
• kind-variables-generic% (method).
• location (method).
• make-load-form (method).
• make-load-form (method).
• make-qualified-ty (function).
• make-ty-predicate (function).
• pprint-predicate (function).
• print-object (method).
• print-object (method).
• qualified-ty (structure).
• qualified-ty-list (type).
• qualified-ty-predicates (reader).
• qualified-ty-type (reader).
• qualify (function).
• remove-source-info (generic function).
• static-predicate-p (function).
• ty-predicate (structure).
• ty-predicate-class (reader).
• ty-predicate-list (type).
• ty-predicate-p (function).
• ty-predicate-types (reader).
• type-predicate= (function).
• type-variables (method).
• type-variables (method).

• copy-qualified-ty (function).
• copy-ty-predicate (function).
• pprint-qualified-ty (function).
• qualified-ty-list-p (function).
• qualified-ty-p (function).
• ty-predicate-list-p (function).
• ty-predicate-location (reader).

predicate.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/scheme.

• apply-substitution (method).
• fresh-inst (function).
• fresh-pred (function).
• fresh-preds (function).
• function-return-type (method).
• function-type-arguments (method).
• function-type-p (method).
• kind-of (method).
• make-load-form (method).
• make-ty-scheme (function).
• print-object (method).
• quantify (function).
• quantify-using-tvar-order (function).
• remove-source-info (method).
• scheme-binding-list (type).
• scheme-list (type).
• scheme-predicates (function).
• to-scheme (generic function).
• ty-scheme (structure).
• ty-scheme-kinds (reader).
• ty-scheme-p (function).
• ty-scheme-type (reader).
• type-variables (method).

• copy-ty-scheme (function).
• pprint-scheme (function).
• scheme-binding-list-p (function).
• scheme-list-p (function).

scheme.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/type-errors.

• ambiguous-constraint (condition).
• ambiguous-constraint-pred (reader method).
• fundep-conflict (condition).
• infinite-type-unification-error (condition).
• kind-mismatch-error (condition).
• overlapping-instance-error (condition).
• overlapping-instance-error-inst1 (reader method).
• overlapping-instance-error-inst2 (reader method).
• overlapping-specialization-error (condition).
• overlapping-specialization-error-existing (reader method).
• overlapping-specialization-error-new (reader method).
• predicate-unification-error (condition).
• type-kind-mismatch-error (condition).
• unification-error (condition).

• fundep-conflict-class (reader method).
• fundep-conflict-class-fundeps (reader method).
• fundep-conflict-class-vars (reader method).
• fundep-conflict-fundep (reader method).
• fundep-conflict-new-from-tys (reader method).
• fundep-conflict-new-pred (reader method).
• fundep-conflict-new-to-tys (reader method).
• fundep-conflict-old-from-tys (reader method).
• fundep-conflict-old-pred (reader method).
• fundep-conflict-old-to-tys (reader method).
• infinite-type-unification-error-type (reader method).
• kind-mismatch-error-kind (reader method).
• kind-mismatch-error-type (reader method).
• type-kind-mismatch-error-type1 (reader method).
• type-kind-mismatch-error-type2 (reader method).
• unification-error-pred1 (reader method).
• unification-error-pred2 (reader method).
• unification-error-type1 (reader method).
• unification-error-type2 (reader method).

type-errors.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/unify.

• match (generic function).
• match-list (function).
• predicate-match (function).
• predicate-mgu (function).
• unify (function).
• unify-list (function).

• bind-variable (function).
• mgu (generic function).

unify.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/fundeps.

• +fundep-max-depth+ (constant).
• closure (function).
• fundep (structure).
• fundep-from (reader).
• fundep-list (type).
• fundep-to (reader).
• make-fundep (function).
• make-load-form (method).
• print-object (method).

• copy-fundep (function).
• fundep-list-p (function).
• fundep-p (function).

fundeps.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/map.

• environment-map (structure).
• get-table (function).
• get-value (function).
• (setf get-value) (function).
• make-load-form (method).
• make-map (function).
• print-object (method).

• copy-environment-map (function).
• environment-map-p (function).
• environment-map-table (reader).
• environment-map-test (reader).
• make-environment-map (function).

map.lisp (file).

coalton-compiler.asd.

typechecker (module).

coalton-impl/typechecker/environment.

• *update-hook* (special variable).
• add-instance (function).
• add-specialization (function).
• apply-substitution (method).
• apply-substitution (method).
• apply-substitution (method).
• apply-substitution (method).
• class-environment (structure).
• code-environment (structure).
• constructor-arguments (function).
• constructor-entry (structure).
• constructor-entry-arity (reader).
• constructor-entry-classname (reader).
• constructor-entry-compressed-repr (reader).
• constructor-entry-constructs (reader).
• constructor-entry-list (type).
• constructor-entry-name (reader).
• constructor-environment (structure).
• docstring (method).
• docstring (method).
• docstring (method).
• docstring (method).
• docstring (method).
• docstring (method).
• docstring (method).
• docstring (method).
• environment (structure).
• environment-class-environment (reader).
• environment-code-environment (reader).
• environment-constructor-environment (reader).
• environment-function-environment (reader).
• environment-fundep-environment (reader).
• environment-instance-environment (reader).
• environment-method-inline-environment (reader).
• environment-name-environment (reader).
• environment-specialization-environment (reader).
• environment-type-environment (reader).
• environment-value-environment (reader).
• explicit-repr (type).
• function-env-entry (structure).
• function-env-entry-arity (reader).
• function-env-entry-name (reader).
• function-environment (structure).
• get-field (function).
• initialize-fundep-environment (function).
• instance-environment (structure).
• instance-environment-instances (reader).
• kind-of (method).
• location (method).
• location (method).
• location (method).
• lookup-class (function).
• lookup-class-instance (function).
• lookup-class-instances (function).
• lookup-code (function).
• lookup-constructor (function).
• lookup-function (function).
• lookup-function-source-parameter-names (function).
• lookup-fundep-environment (function).
• lookup-instance-by-codegen-sym (function).
• lookup-method-inline (function).
• lookup-name (function).
• lookup-specialization (function).
• lookup-specialization-by-type (function).
• lookup-struct (function).
• lookup-type (function).
• lookup-value-type (function).
• make-constructor-entry (function).
• make-default-environment (function).
• make-function-env-entry (function).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-load-form (method).
• make-name-entry (function).
• make-specialization-entry (function).
• make-struct-entry (function).
• make-struct-field (function).
• make-ty-class (function).
• make-ty-class-instance (function).
• make-ty-class-method (function).
• make-type-entry (function).
• method-inline-environment (structure).
• name-entry (structure).
• name-entry-name (reader).
• name-entry-type (reader).
• name-environment (structure).
• print-object (method).
• set-class (function).
• set-code (function).
• set-constructor (function).
• set-function (function).
• set-function-source-parameter-names (function).
• set-method-inline (function).
• set-name (function).
• set-struct (function).
• set-type (function).
• set-value-type (function).
• solve-fundeps (function).
• specialization-entry (structure).
• specialization-entry-from (reader).
• specialization-entry-list (type).
• specialization-entry-to (reader).
• specialization-entry-to-ty (reader).
• specialization-environment (structure).
• struct-entry (structure).
• struct-entry-fields (reader).
• struct-entry-list (type).
• struct-entry-name (reader).
• struct-environment (structure).
• struct-field (structure).
• struct-field-index (reader).
• struct-field-list (type).
• struct-field-name (reader).
• struct-field-type (reader).
• ty-class (structure).
• ty-class-class-variable-map (reader).
• ty-class-class-variables (reader).
• ty-class-codegen-sym (reader).
• ty-class-fundeps (reader).
• ty-class-instance (structure).
• ty-class-instance-codegen-sym (reader).
• ty-class-instance-constraints (reader).
• ty-class-instance-list (type).
• ty-class-instance-method-codegen-syms (reader).
• ty-class-instance-predicate (reader).
• ty-class-list (type).
• ty-class-method (structure).
• ty-class-method-name (reader).
• ty-class-method-type (reader).
• ty-class-name (reader).
• ty-class-predicate (reader).
• ty-class-superclass-dict (reader).
• ty-class-superclass-map (reader).
• ty-class-superclasses (reader).
• ty-class-unqualified-methods (reader).
• type-entry (structure).
• type-entry-constructors (reader).
• type-entry-enum-repr (reader).
• type-entry-explicit-repr (reader).
• type-entry-name (reader).
• type-entry-newtype (reader).
• type-entry-runtime-type (reader).
• type-entry-type (reader).
• type-entry-tyvars (reader).
• type-environment (structure).
• type-variables (method).
• type-variables (method).
• unset-constructor (function).
• unset-function (function).
• unset-function-source-parameter-names (function).
• unset-name (function).
• unset-struct (function).
• unset-value-type (function).
• update-instance-fundeps (function).
• value-environment (structure).