about summary refs log tree commit diff stats
path: root/021check_instruction.cc
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 /021check_instruction.cc
parentd559f68b2fbc35ca7fa42e2e50cf13663cfb8ba1 (diff)
downloadmu-58a9f7c34e21541f2db90b7fb66f4e92f04780ef.tar.gz
3378
Diffstat (limited to '021check_instruction.cc')
-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;
0 committer James Booth <boothj5@gmail.com> 2015-11-22 01:42:01 +0000 Updated themes' href='/danisanti/profani-tty/commit/themes/simple?id=8413020ab43a7b689881ebbcc2a67d8f4fc9fdef'>8413020a ^
216493ef ^



5bccee93 ^
abc2f0de ^
cf80fdc3 ^
e58be44f ^
27adf031 ^

30b5f112 ^


446027b9 ^
f0f3a739 ^
93358d5e ^
fb7001cf ^
72c1c496 ^
bab75cae ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47