aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall-1.26.1.nix
Commit message (Collapse)AuthorAgeFilesLines
* dhall: BREAKING CHANGE update dhall config for 1.33+ compatibilityPaul Bonaud2020-08-131-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 termspolykindsClement Delafargue2019-10-031-0/+22
Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well.