Skip to content
#

nix

Here are 1,416 public repositories matching this topic...

Sohalt
Sohalt commented Feb 17, 2021

Issue description

I think it would be very useful to have an option to set aliases independent of a specific shell, similar to how environment.shellAliases in nixos works for all shells (bash, zsh, fish), so modules can set aliases without having to know if they should use programs.bash.shellAliases, programs.zsh.shellAliases, or programs.fish.shellAliases.

Not sure where to best

MrChico
MrChico commented Dec 7, 2021

deploying libraries can take a long time. One can easily skip this stage if we make it possible to save the deployed library state and pass it to dapp test:

  1. Write a new little dapp helper script which is the dapp --library-addresses above
  2. Make dapp build and dapp --make-library-state use this helper script instead
  3. Allow a flag --state to be passed to dapp test (probably a
TheOddler
TheOddler commented Sep 6, 2021

When trying out Niv and following the example from the readme to add GHC:

$ niv add ghc   \
    -v 8.4.3    \
    -t 'https://downloads.haskell.org/~ghc/<version>/ghc-<version>-i386-deb8-linux.tar.xz'

But instead using the latest ghc version (9.0.1 as of writing), I get the following error:

$ niv add ghc -v 9.0.1 -t 'https://downloads.haskell.org/~ghc/<version>/ghc-<versi
yannham
yannham commented Jun 30, 2021

Is your feature request related to a problem? Please describe.
Currently, polymorphic types are instantiated as in a standard Hindley-Milner system, that is as soon as a variable is used. While this is customary in the Hindley-Milner type system, it's limiting in a type system with full polymorphism (à la System F) like Nickel, as it results in polymorphic types being instantiated without nec

Improve this page

Add a description, image, and links to the nix topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nix topic, visit your repo's landing page and select "manage topics."

Learn more