diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:23:54 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:23:54 -0800 |
commit | c561f6a91926cb3c9c22f483b94ca40a01e6a9c0 (patch) | |
tree | 25382bf6e061f5b643ca297683ee5b11384dc089 /arc | |
parent | dfdbcbab4299bbb4fc2725abf7fa26ac592e296e (diff) | |
download | mu-c561f6a91926cb3c9c22f483b94ca40a01e6a9c0.tar.gz |
2487
Ok, now I'm a little happier about our type checking. Type checking lies in three layers: layer 21: checking types, usually at run-time in the VM or just before layer 57: checking type names layer 59: checking type names It's taken me the process of writing this commit to convince myself that all three layers check mappings for literal values in a consistent manner. Layer 21 uses sizes, and layers 57/59 have whitelists, but either way the goal is that number != character != boolean unless mediated through a literal.
Diffstat (limited to 'arc')
0 files changed, 0 insertions, 0 deletions