Simon Jakobi

I'd also expect that this would be used for destructuring records, e.g. ``` let printBigRecord = \(b : BigRecord) -> expose b.{ x, y } in … ``` But then...

@SiriusStarr Indeed the current way of destructuring a record by record selection doesn't offer exhaustiveness checking. But I think that's something that we'll eventually want. So if we'd now offer...

This discussion reminds me a bit of another classic post by Gabriel: ["Worst practices should be hard"](http://www.haskellforall.com/2016/04/worst-practices-should-be-hard.html)

> What if we enforced the "at most one open import" rule at the language level? I think that would be an improvement on the original proposal, but I still...

> @Nadrieril @f-f @sjakobi: Alright, I'll support #74 on one condition: that one of its proponents volunteers to standardize it. The reason why is that I believe that in a...

@Profpatsch Could you clarify which directory would be correct? In the issue title you mention `share/man1/`, but in the description you mention `share/man/man1/`. Maybe simply open a PR if it's...

@cspollard Note that the multiline version you propose is not equivalent to the original string: ``` $ dhall repl Welcome to the Dhall v1.33.1 REPL! Type :help for more information....

Would it be helpful if the interpolation would only appear on a single line? That would be sufficient to correctly preserve the leading space. We can also try preserving the...

> > Would it be helpful if the interpolation would only appear on a single line? That would be sufficient to correctly preserve the leading space. > > I think...

Random thought: The parser could record whether a text literal is double-quoted or single-quoted. The prettyprinter could then simply stick to the original choice. That would give users a bit...