Make `vcon` always a manifest type

rogerburtonpatel / vml

Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

5 stars 0 forks source link

Make `vcon` always a manifest type #38

Closed nrnrnr closed 4 months ago

nrnrnr commented 4 months ago

All languages share the same value constructors, so type vcon should never be abstract.

This change should simplify a lot of code.

rogerburtonpatel commented 4 months ago

Done.