From 0f44b605370935ac66954cc43ee022a04df58bb7 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 29 Aug 2018 20:14:23 -0600 Subject: [PATCH] chars are atoms, trailing whitespace is acceptable. --- src/prolog/codegen.rs | 3 ++- src/prolog/parser | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) 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 }, &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 -- 2.54.0