From 57ceffd363a4d868bcd384a361fa6963a0f4ec84 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Fri, 2 Feb 2024 12:42:36 +0300 Subject: [PATCH] Fix TODO format for PDD bot in Language.EO.Phi.Rules.Yaml --- eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs index b4e92e976..95b6f74c1 100644 --- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs +++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs @@ -75,7 +75,7 @@ convertRule Rule{..} ctx obj = | subst <- matchObject pattern obj , all (\cond -> checkCond ctx cond subst) when , obj' <- [applySubst subst result] - -- TODO: check that obj' does not have any metavariables + -- TODO #82:20m check that obj' does not have any metavariables ] -- | Given a condition, and a substition from object matching