search

Nadrieril / dhall-rust

Maintainable configuration files, for Rust users
Other
305 stars 27 forks source link

Record projection by expression #133

Closed basile-henry closed 4 years ago

basile-henry commented 4 years ago

This PR implements the normalization part of #94 It looks to me like the type checking part of this feature is already implemented.

I don't think I fully understand when PartialExpr is needed, so I might have missed some cases that aren't covered by the test suite.

Nadrieril commented 4 years ago

Hey, welcome back ! Thanks for that, let me have a look

Nadrieril commented 4 years ago

That does the job, thanks !