Type checking and type inference for built-in types (!1) · Merge requests · KIT / virtmat-tools / VRE Language

Ivan Kondov requested to merge builtin-types into master Jan 31, 2022

Partially solving issue https://git.scc.kit.edu/jk7683/vre-language/-/issues/2 for the cases of built-in types

We defer implementation of Type keyword until we see the need for that. Maybe we will need it for non-built-in types.

Edited Feb 04, 2022 by Ivan Kondov

Type checking and type inference for built-in types