Adapt for SpecificPath being a capability

propensive · Nov 14, 2023 · b9d7630 · b9d7630
1 parent 7cb6777
commit b9d7630
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/core/working.scala b/src/core/working.scala
@@ -26,7 +26,8 @@ object WorkingDirectory:
 
 @capability
 trait WorkingDirectory(val directory: Maybe[Text]):
-  def path[PathType: SpecificPath]: Maybe[PathType] = directory.mm(SpecificPath(_))
+  def path[PathType](using specificPath: SpecificPath[PathType]): Maybe[PathType^{specificPath}] =
+    directory.mm(SpecificPath(_))
 
 object HomeDirectory:
   given default(using Quickstart): HomeDirectory = HomeDirectory(System.getProperty("user.home").nn.tt)