dhall-haskell
dhall-haskell copied to clipboard
dhall-lang
Maintainable configuration files
If nobody objects, I would like to rename the `master` branch to `main`. It's a fairly easy and painless process
This is probably due to me running `fish` as my user shell. I couldn't find the relevant code for the error inside of `dhall-json` though.
Suppose I have the following record definitions: ```dhall { platform : Text , inputs : List ./directory.dhall , outputs : List ./directory.dhall , params : List ./param.dhall , run :...
I think this would be a nice addition to the docs tool, but I wanted to open this issue and get some feedback before working on it more. My initial...
`removeDirectoryRecursive:removeContentsRecursive:removePathRecursive:…` failures in CI on Windows
I've seen these failures several times now: * https://github.com/dhall-lang/dhall-haskell/runs/4239110516?check_suite_focus=true#step:5:2444 ``` C:\Users\runneradmin\AppData\Local\Temp\stack-eadfc3912a464ffd\pretty-simple-4.0.0.0\.stack-work\dist\274b403a\setup: removeDirectoryRecursive:removeContentsRecursive:removePathRecursive:removeContentsRecursive:removePathRecursive:removeContentsRecursive:removePathRecursive:removeContentsRecursive:removePathRecursive:removeContentsRecursive:RemoveDirectory "\\\\?\\C:\\Users\\runneradmin\\AppData\\Local\\Temp\\stack-eadfc3912a464ffd\\pretty-simple-4.0.0.0\\.stack-work\\dist\\274b403a\\setup": unsatisfied constraints (The directory is not empty.) ``` * https://github.com/dhall-lang/dhall-haskell/pull/2332#issuecomment-968283392
Hey there! I'm trying to generate Dhall APIs for some Kubernetes CRDs, specifically these: - https://github.com/argoproj/argo-cd/blob/master/manifests/crds/application-crd.yaml - https://github.com/argoproj/argo-rollouts/blob/master/manifests/crds/rollout-crd.yaml I'm having trouble, however, because `openapi-to-dhall` generates deeply nested types. That means...
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...
Trying out dhall using toolchains web developers are already familiar with, could make dhall even more approachable to other communities/audiences. E.g. `npx dhall ` would install the package, run the...
It would be great for both project maintainers and end-users to have issues and PRs templates. Something really simple for each one. On issues, we could ask the user things...
Recent examples: * https://github.com/dhall-lang/dhall-haskell/pull/2236#issuecomment-926987181 * https://github.com/dhall-lang/dhall-haskell/pull/2312, with error: ``` [11 of 47] Compiling Dhall.Syntax ( src/Dhall/Syntax.hs, dist/build/Dhall/Syntax.o, dist/build/Dhall/Syntax.dyn_o ) /nix/store/qdf49mvm79r83n9c9s7pkmmjqwhrw8jv-stdenv-linux/setup: line 1316: 3376277 Killed ./Setup build builder for '/nix/store/80snyp1ffix7ls7ayjjwxs0sqw1d3fqi-dhall-1.40.1.drv' failed...