Tristan de Cacqueray

I added the `` operator in https://github.com/dhall-lang/dhall-haskell/pull/1656, though I don't how it works :) Running `dhall type forall (value : t) -> Optional t` ?

@l1x a Debian developer would need to create the package (and one for each of the missing dependencies). This has been done for Fedora where you can now `dnf install...

`dhall-haskell` also preserves the comment between `let` and identifiers and around record's attributes, e.g.: ```dhall let -- | variable comment var = 42 in { -- | attribute comment test...

Oh indeed, it seems like the hydra job does not check that.

That seems related to https://github.com/dhall-lang/dhall-lang/issues/979 and https://github.com/dhall-lang/dhall-lang/issues/924 . There was also some earlier discussion about `?.` in https://github.com/dhall-lang/dhall-lang/pull/923 . It seems like such operator would be very helpful when working...

Without type inference, could the type of `a.b?.c?.d` simply be `Optional DType`, where if any of the `?.` operands is None, then the result would be `None DType` ? For...

Unless someone wants to take this over, I'd be happy to do the implementation. The initial attempt proposed in https://github.com/dhall-lang/dhall-haskell/pull/1751 seems to work: ``` ./dist/build/dhall/dhall merge {Red = True, _...

@sjakobi that enables removing boilerplate to answer the problem described in https://discourse.dhall-lang.org/t/sum-type-value-equal-predicate/185/10

I agree the benefit is rather limited with regards to union equality test, though it's one less things to do when updating such union that can be compared. And having...

@sjakobi raised good points and for what it's worth I'd be more than happy to close the PRs I made related to that issue if needed.