about summary refs log tree commit diff stats
path: root/update_github_page
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-18 18:40:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-18 18:40:58 -0700
commit6152ef13a865eb1795fd5547f4d307a6f5690558 (patch)
tree6fb203d22a8875366a5f836a3279f00d5011a895 /update_github_page
parent56109c6d03a4442b6dc1e1968710a0ec7f159963 (diff)
downloadmu-6152ef13a865eb1795fd5547f4d307a6f5690558.tar.gz
1399 - better 'unknown type' warnings
Implement warnings for types without definitions without constraining
where type definitions must appear.

We also eliminate the anti-pattern where a change in layer 10 had its
test in layer 11 (commit 1383).
Diffstat (limited to 'update_github_page')
0 files changed, 0 insertions, 0 deletions