Skip to content

Commit

Permalink
hlint
Browse files Browse the repository at this point in the history
  • Loading branch information
clayrat committed Dec 17, 2024
1 parent 7f1c0f0 commit 8ff6c1c
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -279,7 +279,7 @@ toLMapV' :: (F.Located LHName, ([Symbol], F.ExprV v)) -> (F.Located LHName, LMap
toLMapV' (x, (ys, e)) = (x, LMapV {lmVar = fmap getLHNameSymbol x, lmArgs = ys, lmExpr = e})

toLMapV :: (F.LocSymbol, ([Symbol], F.ExprV v)) -> (Symbol, LMapV v)
toLMapV (x, (ys, e)) = (F.val $ x, LMapV {lmVar = x, lmArgs = ys, lmExpr = e})
toLMapV (x, (ys, e)) = (F.val x, LMapV {lmVar = x, lmArgs = ys, lmExpr = e})

toLogicMap :: [(F.LocSymbol, ([Symbol], Expr))] -> LogicMap
toLogicMap ls = mempty {lmSymDefs = M.fromList $ map toLMapV ls}
Expand Down

0 comments on commit 8ff6c1c

Please sign in to comment.