Daniel Firth
Daniel Firth
### Summary Getting the following error trying to build latest plutus. ``` Preprocessing library for plutus-tx-plugin-1.0.0.0.. Building library for plutus-tx-plugin-1.0.0.0.. : warning: [-Wunused-packages] The following packages were specified via -package...
Hi, I'm getting the following error trying to use this docker in a project. [: -c: line 1: syntax error: unexpected end of file https://gitlab.com/locallycompact/aosp/builds/8170460 This error is happening during...
Hi. I've been looking at the material in https://github.com/cdepillabout/example-dhall-nix. Thank you to @cdepillabout for making all this available. I'm trying to think through a particular use-case, so I was wondering...
I have this for decoding well-typed Paths ``` pathDecoder f opts = Decoder { extract = extractPath , expected = expectedPath } where filePathDecoder :: Decoder FilePath filePathDecoder = autoWith...
Also getting this when I open vim ``` Error detected while processing function nvimhs#start[2]..11_readCachedBinPaths: line 9: E605: Exception not caught: broken cached binary path file Error detected while processing function...
Hi. I'm trying to implement a custom backend but the output of `getCompileData` is really hard to read, due to the `Show` instances trying to be too clever. I have...
Hi. I get this error when I try to build the FFI-readline example. ``` [I] lc@aiur ~/S/g/i/I/s/FFI-readline (master) [127]> nix-shell -p readline --command 'idris2 --build readline.ipkg' make: Entering directory '/home/lc/Source/github.com/idris-lang/Idris2/samples/FFI-readline/readline_glue'...
Currently getting a lot of these warnings: Warning: haddock-html: /nix/store/56z9a3x5c7h879yxrm7lwgg23b7qq7nf-typed-process-0.2.3.0/share/doc/x86_64-linux-ghc-8.4.4/typed-process-0.2.3.0/html doesn't exist or isn't a directory Source: https://gitlab.com/zenhaskell/shakebook/-/jobs/134615802
Hi, can this be changed? ``` warning: flake output attribute 'defaultPackage' is deprecated; use 'packages..default' instead trace: WARNING: `cleanSourceWith` called on /nix/store/n07k773zs0r1iqanzxirymqhaljn69by-source without a `name`. Consider adding `name = "n07k773zs0r1iqanzxirymqhaljn69by-source";`...
Hi, I encountered this while converting a stack project that used ghc-tcplugins-extra, and it seems due to the dependency on ghc-9.0.1 ``` Error: The following packages are broken because other...