Skip to content

Commit

Permalink
fix(eo-phi-normalizer): apply hlint suggestions
Browse files Browse the repository at this point in the history
  • Loading branch information
deemp committed Dec 4, 2024
1 parent 6fffd52 commit f7522c9
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
3 changes: 2 additions & 1 deletion eo-phi-normalizer/Setup.hs
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,8 @@ main =

-- See the details on the command form in https://github.com/objectionary/eo-phi-normalizer/issues/347#issuecomment-2117097070
command =
intercalate "; " $
intercalate
"; "
[ "set -ex"
, "bnfc --haskell -d -p Language.EO.Phi --generic -o src/ grammar/EO/Phi/Syntax.cf"
, "cd src/Language/EO/Phi/Syntax"
Expand Down
2 changes: 1 addition & 1 deletion eo-phi-normalizer/src/Language/EO/Phi/ToLaTeX.hs
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ inMathMode = (" $ " <>) . (<> " $ ")
instance ToLatex RuleContext where
toLatex RuleContext{..} =
maybe mempty (\x -> inMathMode $ toLatex GlobalObject <> " -> " <> toLatex x) global_object
<> maybe mempty (\x -> (inMathMode $ toLatex x) <> " is the scope of the redex") current_object
<> maybe mempty (\x -> inMathMode (toLatex x) <> " is the scope of the redex") current_object
<> maybe mempty (\x -> toLatex x <> " is the current attribute") current_attribute

instance ToLatex RuleAttribute where
Expand Down

0 comments on commit f7522c9

Please sign in to comment.