Struct PolyType 

pub struct PolyType { /* private fields */ }

A type scheme: a monomorphic body plus the set of that body’s free variables which are quantified over it.

Deviation from v0.0.6: v0.0.6 (types.cppo.ml:351-364) converts a generalized variable’s MonoFree cell into a PolyBound id, so the same physical type reads differently as “a mono type” vs “a poly type”, and instantiating rebuilds PolyBound occurrences into fresh MonoFree cells. This port instead keeps quantified variables as ordinary (still-Free) TyVarRef/RowVarRef cells and just remembers which ones they are (vars/row_vars below); instantiate deep-copies body, replacing each remembered variable (by pointer identity) with a fresh one and leaving everything else shared untouched. This is the standard “generalization via levels” technique, and it replaces v0.0.6’s quantifiability flag (Quantifiable/Unquantifiable, types.cppo.ml:54) — which guards against generalizing a variable unification already linked outside the current let binding — with a consequence of levels instead: a variable unification touches from an outer scope gets its level lowered (unify::occurs_var/ occurs_var_in_row), so by the time generalize runs it no longer looks “deep enough” to quantify.

Implementations

impl PolyType

pub fn mono(ty: MonoType) -> PolyType

A trivial scheme with no quantified variables at all.

pub fn body(&self) -> &MonoType

The scheme’s body, before instantiation — exposed for inspection (e.g. arity-checking) without needing to mint fresh variables.

pub fn is_monomorphic(&self) -> bool

Trait Implementations

impl Clone for PolyType

fn clone(&self) -> PolyType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PolyType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for PolyType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.