Skip to content

Commit

Permalink
Make workingDirectory non-optional
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive committed Dec 23, 2023
1 parent cecc786 commit 40e2335
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/core/working.scala
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,6 @@
package rudiments

import anticipation.*
import vacuous.*
import fulminate.*

import language.experimental.captureChecking
Expand Down Expand Up @@ -52,11 +51,11 @@ package homeDirectories:
def workingDirectory
[PathType]
(using directory: WorkingDirectory, specificPath: SpecificPath[PathType])
: Optional[PathType^{specificPath}] =
: PathType^{specificPath} =
directory.path[PathType]

def homeDirectory
[PathType]
(using directory: HomeDirectory, specificPath: SpecificPath[PathType])
: Optional[PathType^{specificPath}] =
: PathType^{specificPath} =
directory.path[PathType]

0 comments on commit 40e2335

Please sign in to comment.