Skip to content

Commit

Permalink
chore: remove dead rpc code for change directory
Browse files Browse the repository at this point in the history
  • Loading branch information
Andrew Kent committed Apr 15, 2021
1 parent 3474960 commit 47f1428
Showing 1 changed file with 0 additions and 17 deletions.
17 changes: 0 additions & 17 deletions cryptol-remote-api/python/cryptol/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -69,18 +69,6 @@ def from_cryptol_arg(val : Any) -> Any:
raise TypeError("Unsupported value " + str(val))



class CryptolChangeDirectory(argo.Command):
def __init__(self, connection : HasProtocolState, new_directory : str) -> None:
super(CryptolChangeDirectory, self).__init__(
'change directory',
{'directory': new_directory},
connection
)

def process_result(self, res : Any) -> Any:
return res

class CryptolLoadModule(argo.Command):
def __init__(self, connection : HasProtocolState, mod_name : str) -> None:
super(CryptolLoadModule, self).__init__('load module', {'module name': mod_name}, connection)
Expand Down Expand Up @@ -376,11 +364,6 @@ def protocol_state(self) -> Any:
return self.most_recent_result.state()

# Protocol messages
def change_directory(self, new_directory : str) -> argo.Command:
"""Change the working directory of the Cryptol process."""
self.most_recent_result = CryptolChangeDirectory(self, new_directory)
return self.most_recent_result

def load_file(self, filename : str) -> argo.Command:
"""Load a filename as a Cryptol module, like ``:load`` at the Cryptol
REPL.
Expand Down

0 comments on commit 47f1428

Please sign in to comment.