From 273e0a0b94ff2cdbf91780e6badd650edcd46a5e Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 7 Apr 2018 17:08:01 -0600 Subject: [PATCH] fix cut expansions, clean up code. --- src/prolog/ast.rs | 14 +------------- src/prolog/parser | 2 +- 2 files changed, 2 insertions(+), 14 deletions(-) diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs index 113084c1..47fbf49c 100644 --- a/src/prolog/ast.rs +++ b/src/prolog/ast.rs @@ -103,19 +103,7 @@ impl GenContext { pub struct Predicate(pub Vec); -impl Predicate { - pub fn name(&self) -> Option { - self.0.first().and_then(|t| t.name()) - } - - pub fn arity(&self) -> usize { - if let Some(ref clause) = self.0.first() { - clause.arity() - } else { - 0 - } - } - +impl Predicate { pub fn clauses(self) -> Vec { self.0 } diff --git a/src/prolog/parser b/src/prolog/parser index ba9bd009..0969b6f0 160000 --- a/src/prolog/parser +++ b/src/prolog/parser @@ -1 +1 @@ -Subproject commit ba9bd0098e66227006b799a6c5c2c583fa9d9009 +Subproject commit 0969b6f0e6c687f4beace699ab40f098a0cd58c9 -- 2.54.0