chars are atoms, trailing whitespace is acceptable.

2018-08-29 20:14:23 -06:00
parent d1f4ead15c
commit 0f44b60537
2 changed files with 3 additions and 2 deletions
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -270,7 +270,8 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<TermMarker>
            },
            &InlinedClauseType::IsAtom(..) =>
                match terms[0].as_ref() {
-                    &Term::Constant(_, Constant::Atom(_)) => {
+                    &Term::Constant(_, Constant::Char(_))
+                  | &Term::Constant(_, Constant::Atom(_)) => {
                        code.push(succeed!());
                    },
                    &Term::Var(ref vr, ref name) => {
--- a/src/prolog/parser
+++ b/src/prolog/parser