From 2e3707e0af248f735d8aa0b31315635938170d09 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 27 Mar 2020 04:42:47 +0100
Subject: [PATCH] =?UTF-8?q?Check=20that=20names=20don=E2=80=99t=20start=20?=
 =?UTF-8?q?with=20special=20characters?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/parse/names.rs | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/src/parse/names.rs b/src/parse/names.rs
index 591b4f5..d91ce12 100644
--- a/src/parse/names.rs
+++ b/src/parse/names.rs
@@ -93,6 +93,21 @@ mod tests
 		assert!(function_or_predicate_name("Predicate_123 rest").is_err());
 		assert!(function_or_predicate_name("_ rest").is_err());
 		assert!(function_or_predicate_name("_predicate_123 rest").is_err());
+		assert!(function_or_predicate_name("(p").is_err());
+		assert!(function_or_predicate_name(")p").is_err());
+		assert!(function_or_predicate_name(">p").is_err());
+		assert!(function_or_predicate_name("<p").is_err());
+		assert!(function_or_predicate_name("=p").is_err());
+		assert!(function_or_predicate_name(",p").is_err());
+		assert!(function_or_predicate_name("+p").is_err());
+		assert!(function_or_predicate_name("-p").is_err());
+		assert!(function_or_predicate_name("*p").is_err());
+		assert!(function_or_predicate_name("/p").is_err());
+		assert!(function_or_predicate_name("%p").is_err());
+		assert!(function_or_predicate_name("|p").is_err());
+		assert!(function_or_predicate_name("#inf").is_err());
+		assert!(function_or_predicate_name("#sup").is_err());
+		assert!(function_or_predicate_name("#p").is_err());
 		assert!(function_or_predicate_name(" ").is_err());
 		// Keywords aren’t valid names
 		assert!(function_or_predicate_name("and rest").is_err());
@@ -124,6 +139,21 @@ mod tests
 		assert!(variable_name("variable_123 Rest").is_err());
 		assert!(variable_name("_ Rest").is_err());
 		assert!(variable_name("_variable_123 Rest").is_err());
+		assert!(variable_name("(X").is_err());
+		assert!(variable_name(")X").is_err());
+		assert!(variable_name(">X").is_err());
+		assert!(variable_name("<X").is_err());
+		assert!(variable_name("=X").is_err());
+		assert!(variable_name(",X").is_err());
+		assert!(variable_name("+X").is_err());
+		assert!(variable_name("-X").is_err());
+		assert!(variable_name("*X").is_err());
+		assert!(variable_name("/X").is_err());
+		assert!(variable_name("%X").is_err());
+		assert!(variable_name("|X").is_err());
+		assert!(variable_name("#inf").is_err());
+		assert!(variable_name("#sup").is_err());
+		assert!(variable_name("#X").is_err());
 		assert!(variable_name(" ").is_err());
 	}
 }