Nix

If you compare the old PHP-based code generators with the newer Haskell-based one's , the PHP-based code gen's have much more readable code.

One low hanging fruit is to replace the normal haskell

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

[tru@elitebook840g3 ~]$ docker images nixery.dev/shell/bash
REPOSITORY              TAG                 IMAGE ID            CREATED             SIZE
nixery.dev/shell/bash   latest              4edc2efa819a        292 years ago       105 MB
[tru@elitebook840g3 ~]$ docker run -ti nixery.dev/shell/bash bash
bash-5.1# ls -ld /
dr-xr-xr-x 14 0 0 15 Oct 26 22:37 /
bash-5.1# 

as / is not

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

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

Otherwise one might get an error like:

cachix push /nix/store/7i1kqf6x52l1fhqqdmqgggjr0zigggik-cachix-0.1.3/bin/cachix

NoInput "You need to specify store paths either as stdin or as a cli argument"

I'm wondering if it's possible with haskell.nix to generate HIE files for some component(s). These are explained here and allow you to do static analysis of Haskell code. In particular, they can be used to run weeder.

If you pass -fwrite-ide-info to GHC, it will emit these files. By defa