diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-06-19 09:55:29 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-06-19 09:55:29 -0700 |
commit | 2b4eb0cc63a42ca6e29728409444441d6af03ffa (patch) | |
tree | afe3e2a01da6b8856baa5fc7d8b1c50f056929e0 | |
parent | 5c0e5492e9d067f9a535186e00c083be328d4d1b (diff) | |
download | mu-2b4eb0cc63a42ca6e29728409444441d6af03ffa.tar.gz |
3062
-rw-r--r-- | 053recipe_header.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/053recipe_header.cc b/053recipe_header.cc index aebd9193..06abcc4b 100644 --- a/053recipe_header.cc +++ b/053recipe_header.cc @@ -156,6 +156,10 @@ if (curr.name == "load-ingredients") { curr.clear(); } } +if (curr.name == "next-ingredient-without-typechecking") { + raise << maybe(result.name) << "never call 'next-ingredient-without-typechecking' directly\n" << end(); + curr.clear(); +} //: internal version of next-ingredient; don't call this directly :(before "End Primitive Recipe Declarations") |