From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 30 Aug 2018 02:14:23 +0000 (-0600)
Subject: chars are atoms, trailing whitespace is acceptable.
X-Git-Tag: v0.8.110~415
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0f44b605370935ac66954cc43ee022a04df58bb7;p=scryer-prolog.git

chars are atoms, trailing whitespace is acceptable.
---

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index a4e3c4fe..0bb4a74f 100644
--- 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) => {
diff --git a/src/prolog/parser b/src/prolog/parser
index b5eafac5..f367d551 160000
--- a/src/prolog/parser
+++ b/src/prolog/parser
@@ -1 +1 @@
-Subproject commit b5eafac5128ce9a4831619deb2f2d075f23f8781
+Subproject commit f367d551e23d22b9514abecff7dc8182b7e04055