about summary refs log tree commit diff stats
path: root/arc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-11-27 22:23:54 -0800
committerKartik K. Agaram <vc@akkartik.com>2015-11-27 22:23:54 -0800
commitc561f6a91926cb3c9c22f483b94ca40a01e6a9c0 (patch)
tree25382bf6e061f5b643ca297683ee5b11384dc089 /arc
parentdfdbcbab4299bbb4fc2725abf7fa26ac592e296e (diff)
downloadmu-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