diff options
author | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-10-03 11:31:56 +0200 |
---|---|---|
committer | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-10-03 11:31:56 +0200 |
commit | 25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 (patch) | |
tree | d6ffd754b83687e45db23522aa8273218071732e /dhall/server/service/Service.dhall | |
parent | cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (diff) | |
download | ansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.tar.gz ansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.tar.zst ansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.zip |
upgrade dhall to 1.26.1 and merge types and termspolykinds
Previously, types were flattened and terms were nested (as are the
directories). For consistency, I made the types nested as well.
Diffstat (limited to 'dhall/server/service/Service.dhall')
-rw-r--r-- | dhall/server/service/Service.dhall | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/server/service/Service.dhall b/dhall/server/service/Service.dhall index f238553..7fb1ef4 100644 --- a/dhall/server/service/Service.dhall +++ b/dhall/server/service/Service.dhall | |||
@@ -1,5 +1,5 @@ | |||
1 | let Plugin = ./plugin/Plugin.dhall | 1 | let Plugin = ./plugin/Plugin.dhall |
2 | 2 | ||
3 | in let Route = ./route/Route.dhall | 3 | let Route = ./Route.dhall |
4 | 4 | ||
5 | in { name : Text, url : Text, plugins : List Plugin, routes : List Route } | 5 | in { name : Text, url : Text, plugins : List Plugin, routes : List Route } |