#3644: master

objectionary · Dec 12, 2024 · e10f069 · e10f069
1 parent 18b88a8
commit e10f069
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 3 deletions.
diff --git a/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4 b/eo-parser/src/main/antlr4/org/eolang/parser/Phi.g4
@@ -83,7 +83,7 @@ lambdaBinding
     ;
 
 FUNCTION
-    : [A-Z][A-Za-z_φ]*
+    : [A-Z][A-Z0-9a-z_φ]*
     ;
 
 application

diff --git a/eo-parser/src/test/resources/org/eolang/parser/phi-syntax/all-the-basics.phi b/eo-parser/src/test/resources/org/eolang/parser/phi-syntax/all-the-basics.phi
@@ -12,7 +12,7 @@
   hi-大家 ↦ ⟦ ⟧,
   α0 ↦ Φ () () (),
   α65536 ↦ Φ.r,
-  k ↦ ⟦ λ ⤍ FunctionName, α0 ↦ ⟦ λ ⤍ FunctionName, Δ ⤍ 42- ⟧ ⟧,
+  k ↦ ⟦ λ ⤍ Function_Name_i64, α0 ↦ ⟦ λ ⤍ FunctionName, Δ ⤍ 42- ⟧ ⟧,
   terminator-application ↦ ⊥ (t ↦ ξ.t),
   terminator-dispatch ↦ ⊥.t,
   string ↦ "Hello",

diff --git a/eo-parser/src/test/resources/org/eolang/parser/phi-typos/alpha-with-tail.phi b/eo-parser/src/test/resources/org/eolang/parser/phi-typos/alpha-with-tail.phi
@@ -0,0 +1 @@
+{⟦ k ↦ ξ.αx.t ⟧}
diff --git a/eo-runtime/pom.xml b/eo-runtime/pom.xml
@@ -255,6 +255,7 @@ SOFTWARE.
               <targetDir>${project.build.directory}/eo-test</targetDir>
               <phiInputDir>${project.build.directory}/eo-test/2-optimize</phiInputDir>
               <phiOutputDir>${project.build.directory}/eo-test/phi</phiOutputDir>
+              <unphiInputDir>${project.build.directory}/eo-test/phi</unphiInputDir>
               <unphiOutputDir>${project.build.directory}/eo-test/unphi</unphiOutputDir>
               <addSourcesRoot>false</addSourcesRoot>
               <addTestSourcesRoot>true</addTestSourcesRoot>

diff --git a/eo-runtime/src/test/groovy/check-folders-numbering.groovy b/eo-runtime/src/test/groovy/check-folders-numbering.groovy
@@ -40,7 +40,8 @@ var allowed = [
     '6-lint',
     '7-pre',
     '8-transpile',
-    'phi'
+    'phi',
+    'unphi'
 ]
 List<File> allowedDirs = allowed.stream()
     .map { target.resolve(it).toFile() }