Skip to content

Commit

Permalink
Merge pull request #83 from objectionary/fix-pdd-3
Browse files Browse the repository at this point in the history 
Fix TODO format for PDD bot in Language.EO.Phi.Rules.Yaml
  • Loading branch information
@fizruk
fizruk authored Feb 2, 2024
2 parents be61578 + 57ceffd commit 2f22e41
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

3 comments on commit 2f22e41

@0pdd
Copy link

@0pdd 0pdd commented on 2f22e41 Feb 2, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Puzzle 48-a228400d discovered in eo-phi-normalizer/app/Main.hs) and submitted as #84. Please, remember that the puzzle was not necessarily added in this particular commit. Maybe it was added earlier, but we discovered it only now.

@0pdd
Copy link

@0pdd 0pdd commented on 2f22e41 Feb 2, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Puzzle 48-d49cc4a9 discovered in eo-phi-normalizer/app/Main.hs) and submitted as #85. Please, remember that the puzzle was not necessarily added in this particular commit. Maybe it was added earlier, but we discovered it only now.

@0pdd
Copy link

@0pdd 0pdd commented on 2f22e41 Feb 2, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Puzzle 82-b088af7b discovered in eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs) and submitted as #86. Please, remember that the puzzle was not necessarily added in this particular commit. Maybe it was added earlier, but we discovered it only now.

Please sign in to comment.