Commit [fa92fb] Maximize Restore History

Type/compiler: new utility functions to compute over types

sb!kernel:generic-abstract-type-function approximates a function over
types given an arbitrary finite set representation.

sb!kernel:list-abstract-type-function specialises on the standard
CL list representation of finite sets.

See late-type.lisp for documentation.

Paul Khuong Paul Khuong 2014-06-09

changed src/code/late-type.lisp
changed package-data-list.lisp-expr
src/code/late-type.lisp Diff Switch to side-by-side view
Loading...
package-data-list.lisp-expr Diff Switch to side-by-side view
Loading...