module Savi::Compiler::XTypes
Overview
WIP: This pass is intended to be a future replacement for the Infer pass, but it is still a work in progress and isn't in the main compile path yet.
Also, experimentation is under way with a different approach to this pass. This pass has been named XTypes and the Types pass is for new experimentation.
Defined in:
savi/compiler/xtypes.crsavi/compiler/xtypes/algebraic_type.cr
savi/compiler/xtypes/type_variable.cr