diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-08 21:06:48 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-08 21:06:48 -0800 |
| commit | 92e3f56ef967185f19522e698872ff61ef4ef284 (patch) | |
| tree | 6413d1db97cb71b3aef2f9d29dd2c704a98d5b0c /048check_type_by_name.cc | |
| parent | 1ad798a2cace11d799776850fb6ecbbe30f55a60 (diff) | |
| download | mu-92e3f56ef967185f19522e698872ff61ef4ef284.tar.gz | |
2403 - experiment: documenting non-assertions
Is that like a Maybe type in a type system? No it's more, it captures the wistful longing of several hours spent trying to make an assertion true. Not even by moving my phases relating to the types around could I make this assertion true.
Diffstat (limited to '048check_type_by_name.cc')
| -rw-r--r-- | 048check_type_by_name.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/048check_type_by_name.cc b/048check_type_by_name.cc index fff48395..093b7d09 100644 --- a/048check_type_by_name.cc +++ b/048check_type_by_name.cc @@ -14,7 +14,7 @@ recipe main [ ] +error: main: x used with multiple types -:(after "Transform.push_back(check_or_set_invalid_types)") +:(before "Transform.push_back(check_or_set_invalid_types)") Transform.push_back(check_types_by_name); // idempotent :(code) |