From 5d24ab1e8765dbd5001aba21fe59d754224720f5 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 8 Oct 2024 21:09:37 +0200
Subject: Generate simple applications

---
 rust/src/ast.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'rust/src/ast.rs')

diff --git a/rust/src/ast.rs b/rust/src/ast.rs
index 3f8b772..e70f323 100644
--- a/rust/src/ast.rs
+++ b/rust/src/ast.rs
@@ -38,6 +38,10 @@ pub fn identifier() -> RegexGeneratorStrategy<String> {
     string_regex(IDENTIFIER).unwrap()
 }
 
+pub fn ascii_identifier() -> RegexGeneratorStrategy<String> {
+    string_regex("[a-zA-Z][a-zA-Z0-9]*").unwrap()
+}
+
 impl Arbitrary for Value {
     type Parameters = ();
     type Strategy = BoxedStrategy<Self>;
-- 
cgit v1.2.3