Here we can see what types are defined early and built into Coalton. It might be worth paring this down and putting explicit define-types in the standard library if we don't need explicit reference to them in the compiler itself.
If the types from that file are needed early (and some are, like Unit), we should write a small comment above each one explaining why.
Here we can see what types are defined early and built into Coalton. It might be worth paring this down and putting explicit
define-type
s in the standard library if we don't need explicit reference to them in the compiler itself.If the types from that file are needed early (and some are, like
Unit
), we should write a small comment above each one explaining why.