Akshay Mankar
Akshay Mankar
I tried using the `json_pure_dhall` branch and realized that converting arbitrary records to JSON is not easy. Users have to write conversion for each type of record to `List {mapKey:...
Would `toMap` be able to convert any record to assoc list or would it have to be a record with all the values of type `JSON`? It would be great...
@sjakobi Yes, `toMap`, the JSON utilities and `dhall-to-json` solve all my problems. So, this can be closed :)
About `name` in `ObjectMeta`, the K8s api supports generating name for resources if `generateName` is provided **and** `name` is not provided, it is documented [in the API Reference](https://kubernetes.io/docs/reference/generated/kubernetes-api/v1.16/#objectmeta-v1-meta). So, I...
If run ``` dhall --explain
I think it is sufficient to only look for the files in filesystem. There is no standard place to look, the `protoc` binary accepts a `--proto-path` argument which specifies where...
> > The build.nix at the root of the repo > > This seems to be missing from the PR Added it now.
> How much of this is generated vs. written? I naturally recoil at treating anything generated as source code and checking it in, though I certainly understand it's the path...
> Why are you generating all these nix files? Can't cabal2nix or whatever just read the cabal file dynamically and create the corresponding derivation? There exists a `callCabal2nix` but it...
> I'm wondering why it took so long. We don't build the devShell on ci I think, however all the `wireServerPackages` should be in the cache, right @akshaymankar ? @fisx...