Constantine Theocharis

icon indicating an email [email protected]

icon company University of St Andrews icon location UK icon location In pursuit of corectnes

Results 55 issues of Constantine Theocharis

tir: Allow `DataDef`s and `ModDef`s to appear as terms

For `ModDef`s, these should probably be represented as `ArgsId` with some flag denoting it is a module..

tir: Come up with way of resolving out-of-order references

Improve errors + add locations to them

1 comment

type-system

Support mod patterns

type-system

Positivity check for data type definitions

type-system

Introduce `Const` to the TIR

runtime
type-system

Improve TIR dumping: print the node location alongside the dump, and use `stream_writeln` for potential tests

Allow constants at top-level

type-system
lowering

Start adding re-writing mechanism to typechecking, for now just for baking literals

At any point after inferring a node, there should be a hook for potential extra checks/modifications/rewrites. For example, baking literals, but also various other canonical rewritings.

Remove separate function store, store in terms inline

type-system