Max Heiber

If we decide to have the search path be relative to the file being formatted, then how would `--transitive` work? - relative to the start file. A downside of this...

I have a draft PR with this feature if anyone wants to try it out: https://github.com/dhall-lang/dhall-haskell/pull/2085 It implements this search strategy for dhall-config.dhall: - cwd if reading from stdout -...

> @mheiber out of curiosity isn't this problem solved by defining an alias per folder/project with something like [direnv](https://direnv.net/) ? > > Also, one place where a config file could...

> I don't know if direnv does aliases, but we can do that with env vars. Since this seems specific to `dhall format` we don't need a cross-impl solution, and...

> @amarrella: That's somewhat analogous to subtyping, and my understanding the reason why the `ρ` type parameter was introduced for row polymorphism was because unification did not interact well subtyping....

This case is similar to type-level recursive merge (`//\\`) and value-level recursive merge (`/\`). In that case Dhall has separate symbols for the two operations. Why would Dhall need separate...

Would projecting multiple fields work? ```dhall let Person = { name : Text, age : Natural, height : Natural } in Person.{name, age} -- { name : Text, age: Natural,...

I'd be interested in speccing this. I took a stab at typing judgments for type-level projection. These rules are are based on term-level dot. They're intuitive, but they are unlikely...

The following seems to be allowed by the Babel parser: ```js class Foo { # p = 0; constructor() { this.# p ++; } print() { console.log(this . # p);...

I'm getting this error in tests when using Jest with recoil 0.1.2: ``` Cannot find module 'react-dom' from 'recoil.js' Require stack: node_modules/recoil/cjs/recoil.js src/state.test.tsx at Resolver.resolveModule (node_modules/jest-resolve/build/index.js:299:11) at Object. (node_modules/recoil/cjs/recoil.js:7:32) ```