Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dhall: BREAKING CHANGE update dhall config for 1.33+ compatibility | Paul Bonaud | 2020-08-13 | 1 | -22/+0 |
| | | | | | | | | | | | Since dhall 1.33.0 lang version the `Optional/fold` function is removed from the language and can be replaced by the usage of the `merge` function which now works on Optional values 🎉 since 1.29 https://github.com/dhall-lang/dhall-haskell/pull/1608 This new code is thus not compatible with versions of dhall <1.29.0 (due to the new feature of the `merge` fonction). | ||||
* | upgrade dhall to 1.26.1 and merge types and termspolykinds | Clement Delafargue | 2019-10-03 | 1 | -0/+22 |
Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well. |