michaelpj
Follow
michaelpj
Follow
Achievements
Achievements
Highlights
- 1 discussion answered
Popular repositories
2,774 contributions in the last year
Less
More
Contribution activity
January 2022
Created 9 commits in 4 repositories
Created a pull request in jneira/haskell-language-server that received 2 comments
Opened 5 other pull requests in 4 repositories
jneira/haskell-language-server
2
merged
input-output-hk/haskell.nix
1
merged
input-output-hk/plutus
1
merged
haskell/lsp
1
merged
Reviewed 26 pull requests in 5 repositories
input-output-hk/plutus
12 pull requests
- Add tests for new Rational
- Inline lambdas with trivial bodies
- Fix cabal sdist plutus-metatheory error #4324
-
Allow controlling
Tickishvia a define - [Builtins] Disentangle 'KnownTypeAst' from 'KnownTypeIn'
- [Builtins] Drop 'Proxy' from 'TypeSchemeAll'
- SCP-2973: Switch CEK to NamedDeBruijn, keeping test interface unchanged
- Improved Rational for on-chain size
- Support non-patched GHC outside of haskell.nix
- Inline trivial lambda bindings, to beta-reduce later on for smaller scripts
- [Builtins] Monomorphize 'readKnown'
- Use the argument types of the worker instead of wrapper (fix #4263).
haskell/haskell-language-server
9 pull requests
- Build with GHC 9.2
- Add support for brittany (needs aeson-2) and floskell with ghc-9.0.1
- support selection range lsp feature
- Add support for ghc 9.0.2
- Reuse build setup using a dedicated github action
-
Enable
aarch64-darwininflake.nix - Fix freeze cache key correctly
- Subsequent tactics test rebased on top of fixed lsp-test
-
Fix nix flake by explicit version for
lsp-xxxpackages
cardano-foundation/CIPs
3 pull requests
input-output-hk/plutus-apps
1 pull request
hlissner/doom-emacs
1 pull request
Created an issue in input-output-hk/haskell.nix that received 4 comments
shellFor sets LANG
Why? It's for interactive use, the user has probably got their own LANG setting. I sure do.
4
comments