liminix

commit 73e5916cc58f505aaa06fe5231f1823f34d793a2
parent 669af242472742f22e29d5ed20cba6fe11284e45
Author: Daniel Barlow <dan@telent.net>
Date:   Sat, 15 Jul 2023 23:40:16 +0100

thunk

Diffstat:
M
THOUGHTS.txt
 | 
11
+++++++++++

1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/THOUGHTS.txt b/THOUGHTS.txt
@@ -2004,3 +2004,14 @@ system.services.pqmud = args :
      inherit (args) name;
      run = "${pkgs.pqmud}/bin/pqmud --port ${port} ....."
   };
+
+Fri Jul 14 19:07:59 BST 2023
+
+It works for pppoe, though typechecking error messages could be
+better.
+
+- We need to find a good place to keep the typeCheck function so that
+everyone can use it.
+
+- also the type_service type defn exists only locally in modules.nix,
+and we would like to refer to it elsewhere