ddc-core- Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe-Inferred



class SpreadX c whereSource


spreadX :: forall n. Ord n => Env n -> Env n -> c n -> c nSource

Spread type annotations from binders and the environment into bound occurrences of variables and constructors.

Also convert Bounds to UPrim form if the environment says that they are primitive.