about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 00:19:52 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 00:19:52 -0700
commit58a9f7c34e21541f2db90b7fb66f4e92f04780ef (patch)
treea17ab8c1dee001f3cf2c2c2b751c2f0646e37c08
parentd559f68b2fbc35ca7fa42e2e50cf13663cfb8ba1 (diff)
downloadmu-58a9f7c34e21541f2db90b7fb66f4e92f04780ef.tar.gz
3378
-rw-r--r--021check_instruction.cc5
1 files changed, 2 insertions, 3 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc
index de5476a0..1baacfb4 100644
--- a/021check_instruction.cc
+++ b/021check_instruction.cc
@@ -162,6 +162,8 @@ void test_unknown_type_matches_itself() {
   CHECK(types_strictly_match(a, b));
 }
 
+//: helpers
+
 bool is_unsafe(const reagent& r) {
   return has_property(r, "unsafe");
 }
@@ -170,7 +172,6 @@ bool is_mu_array(reagent/*copy*/ r) {
   // End Preprocess is_mu_array(reagent r)
   return is_mu_array(r.type);
 }
-
 bool is_mu_array(const type_tree* type) {
   if (!type) return false;
   if (is_literal(type)) return false;
@@ -183,7 +184,6 @@ bool is_mu_address(reagent/*copy*/ r) {
   // End Preprocess is_mu_address(reagent r)
   return is_mu_address(r.type);
 }
-
 bool is_mu_address(const type_tree* type) {
   if (!type) return false;
   if (is_literal(type)) return false;
@@ -226,7 +226,6 @@ bool is_mu_character(const type_tree* type) {
 bool is_mu_scalar(reagent/*copy*/ r) {
   return is_mu_scalar(r.type);
 }
-
 bool is_mu_scalar(const type_tree* type) {
   if (!type) return false;
   if (is_mu_address(type)) return true;