Skip to content

Commit

Permalink
chore(nix): Update dependencies. (#1204)
Browse files Browse the repository at this point in the history
  • Loading branch information
dhess authored Feb 6, 2024
2 parents d8be16b + dd036ec commit a56f186
Show file tree
Hide file tree
Showing 4 changed files with 110 additions and 53 deletions.
153 changes: 104 additions & 49 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 3 additions & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,9 @@
flake-compat.url = "github:edolstra/flake-compat";
flake-compat.flake = false;

pre-commit-hooks-nix.url = "github:cachix/pre-commit-hooks.nix";
# Pin pre-commit-hooks because newer versions need `cljfmt`, which
# isn't included in the current haskell.nix nixpkgs pin.
pre-commit-hooks-nix.url = "github:cachix/pre-commit-hooks.nix/9d3d7e18c6bc4473d7520200d4ddab12f8402d38";

flake-parts.url = "github:hercules-ci/flake-parts";

Expand Down
2 changes: 1 addition & 1 deletion primer/src/Primer/Questions.hs
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ generateNameTyAvoiding ::
-- It doesn't really make sense to ask for a term variable (Left) here, but
-- it doesn't harm to support it
generateNameTyAvoiding avoiding tk z =
uniquifyMany <$> ((Set.fromList avoiding <>) <$> getAvoidSetTy z) <*> baseNames tk
(uniquifyMany . (Set.fromList avoiding <>) <$> getAvoidSetTy z) <*> baseNames tk

baseNames ::
MonadReader Cxt m =>
Expand Down
4 changes: 2 additions & 2 deletions primer/test/Tests/Action/Available.hs
Original file line number Diff line number Diff line change
Expand Up @@ -718,8 +718,8 @@ toProgAction l a (def, loc, action) = do
let opts'' =
opts' <> case free of
Available.FreeNone -> []
Available.FreeVarName -> [(OptGen,) . (\t -> Available.Option t Nothing False) <$> (unName <$> genName)]
Available.FreeInt -> [(OptGen,) . (\t -> Available.Option t Nothing False) <$> (show <$> genInt)]
Available.FreeVarName -> [((OptGen,) . (\t -> Available.Option t Nothing False)) . unName <$> genName]
Available.FreeInt -> [((OptGen,) . (\t -> Available.Option t Nothing False)) . show <$> genInt]
Available.FreeChar -> [(OptGen,) . (\t -> Available.Option t Nothing False) . T.singleton <$> genChar]
case opts'' of
[] -> pure NoOfferedOpts
Expand Down

1 comment on commit a56f186

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Primer benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 2.

Benchmark suite Current: a56f186 Previous: d8be16b Ratio
typecheck/mapOddPrim 10: outlier variance 0.4925439486116411 outlier variance 0.11587825425635422 outlier variance 4.25

This comment was automatically generated by workflow using github-action-benchmark.

CC: @dhess

Please sign in to comment.