From 1510512c6038340d1aa56ffc9b4baec12d4349a7 Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Thu, 12 Dec 2024 10:50:30 +0300 Subject: [PATCH 1/2] #626: rename --- eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs index fe45d610a..a85dbac47 100644 --- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs +++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs @@ -364,7 +364,7 @@ applyRulesChainWith limits@ApplicationLimits{..} obj ctx <- getContext if isNF ctx obj then do - logStep "Normal form" obj + logStep "NF" obj return obj else do (ruleName, obj') <- choose (applyOneRule ctx obj) From 84a7dbc868b51e56d7bfb2f6984878ba7c6bcde1 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Thu, 12 Dec 2024 07:56:28 +0000 Subject: [PATCH 2/2] Update Markdown files --- site/docs/src/eo-phi-normalizer/dataize.md | 4 ++-- site/docs/src/eo-phi-normalizer/rewrite.md | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/site/docs/src/eo-phi-normalizer/dataize.md b/site/docs/src/eo-phi-normalizer/dataize.md index 43f58d47e..49496fbf7 100644 --- a/site/docs/src/eo-phi-normalizer/dataize.md +++ b/site/docs/src/eo-phi-normalizer/dataize.md @@ -125,7 +125,7 @@ Evaluating lambda 'Package' : ⟦ as-bytes ↦ 25.0 ) - Normal form: ⟦ + NF: ⟦ c ↦ Φ.org.eolang.float ( as-bytes ↦ Φ.org.eolang.number ( as-bytes ↦ Φ.org.eolang.bytes ( @@ -544,7 +544,7 @@ Evaluating lambda 'Package' : ⟦ x ↦ 32.0 ) - Normal form: ⟦ + NF: ⟦ c ↦ Φ.org.eolang.float ( as-bytes ↦ Φ.org.eolang.number ( as-bytes ↦ Φ.org.eolang.bytes ( diff --git a/site/docs/src/eo-phi-normalizer/rewrite.md b/site/docs/src/eo-phi-normalizer/rewrite.md index 6978ae750..a6292ae1e 100644 --- a/site/docs/src/eo-phi-normalizer/rewrite.md +++ b/site/docs/src/eo-phi-normalizer/rewrite.md @@ -125,7 +125,7 @@ Input: } ==================================================== Result 1 out of 1: -[ 1 / 1 ] Normal form: { +[ 1 / 1 ] NF: { ⟦ c ↦ Φ.org.eolang.float ( as-bytes ↦ 25.0 @@ -167,7 +167,7 @@ This is the 1st possible chain of normalizing rewritings: \trans [[ m -> [[ D> 42-, ^ -> [[ t -> [[ D> 42- ]] ]] ]]( )( ^ -> [[ x -> [[ D> 42- ]]( ^ -> [[ t -> [[ D> 42- ]] ]] ) ]] ) ]] \trans_{\rulename{DUP}} \trans [[ m -> [[ D> 42-, ^ -> [[ t -> [[ D> 42- ]] ]] ]]( ^ -> [[ x -> [[ D> 42- ]]( ^ -> [[ t -> [[ D> 42- ]] ]] ) ]] ) ]] \trans_{\rulename{STAY}} \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]]( ) ]] \trans_{\rulename{DUP}} - \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]] \trans_{\rulename{Normal form}} + \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]] \trans_{\rulename{NF}} \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]]. \end{phiquation*} @@ -180,7 +180,7 @@ This is the 2nd possible chain of normalizing rewritings: \trans [[ m -> [[ x -> [[ D> 42-, ^ -> [[ t -> [[ D> 42- ]] ]] ]] ]].x ]] \trans_{\rulename{DOT}} \trans [[ m -> [[ D> 42-, ^ -> [[ t -> [[ D> 42- ]] ]] ]]( ^ -> [[ x -> [[ D> 42-, ^ -> [[ t -> [[ D> 42- ]] ]] ]] ]] ) ]] \trans_{\rulename{STAY}} \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]]( ) ]] \trans_{\rulename{DUP}} - \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]] \trans_{\rulename{Normal form}} + \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]] \trans_{\rulename{NF}} \trans [[ m -> [[ ^ -> [[ t -> [[ D> 42- ]] ]], D> 42- ]] ]]. \end{phiquation*} @@ -199,7 +199,7 @@ eo-phi-normalizer rewrite --json --chain --rules ./eo-phi-normalizer/test/eo/phi "output": [ [ [ - "Normal form", + "NF", "{\n ⟦\n c ↦ Φ.org.eolang.float (\n as-bytes ↦ 25.0\n ),\n result ↦ ξ.c.times (\n x ↦ 1.8\n )\n .plus (\n x ↦ 32.0\n ),\n λ ⤍ Package\n ⟧\n}" ] ]