From a31c8e3d5f7bb01db2364a36b64c322223f20ec6 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 27 Apr 2016 15:40:28 -0400 Subject: layout --- doc/todo/type_level_port_conflict_detection.mdwn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn index 67f63e03..733e6e04 100644 --- a/doc/todo/type_level_port_conflict_detection.mdwn +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -9,7 +9,7 @@ but it is not yet integrated into the Property types. --[[Joey]] [[!tag user/joey]] -> On `typed-os-requirements` branch, I have the UsingPort 80 singleton +> On the `typed-os-requirements` branch, I have the UsingPort 80 singleton > implemented. As soon as I tried to apply it to some apache properties > though, I realized a problem -- If multiple apache vhosts are defined > each as its own property, then each of those properties can't have @@ -42,10 +42,10 @@ but it is not yet integrated into the Property types. --[[Joey]] > > So, we'd start with a property definition that does not use any ports: > > > > virtualHost :: Domain -> WebRoot -> RevertableProperty DebianLike DebianLike -> > virtualHost domain docroot = -> > let self = property "vhost" (go (usedPorts (getMetaTypes self))) -> > in self -> > where +> > virtualHost domain docroot = +> > let self = property "vhost" (go (usedPorts (getMetaTypes self))) +> > in self +> > where > > go [] = error "No ports specified" > > go ports = ... > > -- cgit v1.3-2-g0d8e