dhall-golang

dhall-golang copied to clipboard

Hey there, not sure if this is much of an issue, but I did run into some sharp edges when trying to unmarshall a function that takes a struct. After...

maxsei

Bumps [golang.org/x/sys](https://github.com/golang/sys) from 0.0.0-20190412213103-97732733099d to 0.1.0. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...

dependabot[bot]

Bumps [golang.org/x/net](https://github.com/golang/net) from 0.0.0-20190404232315-eb5bcb51f2a3 to 0.7.0. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...

dependabot[bot]

Bumps [gopkg.in/yaml.v2](https://github.com/go-yaml/yaml) from 2.2.2 to 2.2.8. Commits 53403b5 Optimize cases with long potential simple_keys (#555) 1f64d61 Fix issue in simple_keys improvements (#548) a95acef Update travis config to use latest go...

dependabot[bot]

Hi, originally asked here but no responses so far https://discourse.dhall-lang.org/t/decode-enum-using-go/492 Could you give me an example of how to decode an enum into a Go type? Dhall: ``` let Day...

sporto

Hi, It would be super useful to get a list of valid tags on a go struct.

pnathan

A minimal example I could come up with was `assert : List/head {} ≡ List/head {}`, which panics dhall-golang: ``` panic: runtime error: comparing uncomparable type core.RecordType goroutine 1 [running]:...

Trundle

philandstuff

Better support for union values

1

Currently, there is no way for a user to unpack a value of union type from a Value. This also means there's no way to unmarshal a union value into...

philandstuff

Example or docs for unmarshalling into a Go interface (or workarounds for the same)

4

I'm trying to unmarshal a type into a Go interface (`type Arg interface { visitArg(argVisitor) error }`); however, dhall-golang (understandably) doesn't know how to decode Dhall types into the Go...

weberc2