From d990e8f07aee36f68bcd270889d20c2d22b9aa0b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 17 Aug 2016 19:04:35 -0700 Subject: 3219 Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch. --- html/021check_instruction.cc.html | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'html/021check_instruction.cc.html') diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html index fc6ef270..c96bd6ab 100644 --- a/html/021check_instruction.cc.html +++ b/html/021check_instruction.cc.html @@ -237,6 +237,13 @@ $error: 0 return r.type->value == get(Type_ordinal, "number"); } +bool is_mu_character(reagent/*copy*/ r) { + // End Preprocess is_mu_character(reagent r) + if (!r.type) return false; + if (is_literal(r)) return false; + return r.type->value == get(Type_ordinal, "character"); +} + bool is_mu_scalar(reagent/*copy*/ r) { if (!r.type) return false; if (is_literal(r)) -- cgit 1.4.1-2-gfad0