ddc-source-tetra-0.4.1.3: Disciplined Disciple Compiler source language.
DDC.Source.Tetra.ToCore
Synopsis
toCoreModule :: a -> Module a Name -> Module a NameSource
Convert a Source Tetra module to Core Tetra.
The Source code needs to already have been desugared and cannot contain, and XDefix, XInfixOp, or XInfixVar nodes, else error.
XDefix
XInfixOp
XInfixVar
error