diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-08 21:09:37 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-08 21:09:37 +0200 |
| commit | 5d24ab1e8765dbd5001aba21fe59d754224720f5 (patch) | |
| tree | a97b8392b16ec1f0e76ddda1a862ffe20537d42e /rust/src/ast.rs | |
| parent | 1ef156ca34078a89d2955b52f5df18254bd9c095 (diff) | |
| download | lambda-nantes-5d24ab1e8765dbd5001aba21fe59d754224720f5.tar.gz | |
Generate simple applications
Diffstat (limited to 'rust/src/ast.rs')
| -rw-r--r-- | rust/src/ast.rs | 4 |
1 files changed, 4 insertions, 0 deletions
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>; |