Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove warp dependency from engine #2122

Merged
merged 3 commits into from
Aug 16, 2024
Merged

Remove warp dependency from engine #2122

merged 3 commits into from
Aug 16, 2024

Conversation

xsebek
Copy link
Member

@xsebek xsebek commented Aug 15, 2024

...just for one type-alias:

type Port = Int

...just for one type-alias:
```Haskell
type Port = Int
```

* part of #2109
@@ -43,7 +42,7 @@ import Swarm.Util.Lens (makeLensesNoSigs)
import Swarm.Version (NewReleaseFailure (..))

data RuntimeState = RuntimeState
{ _webPort :: Maybe Port
{ _webPort :: Maybe Int
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How about keeping this as Port and defining type Port = Int locally?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure, but it seems unnecessary as we only use it to make an informational widget.

The lens is very explicitly named and port does not have any special operations like say IP adress.

@xsebek xsebek added the merge me Trigger the merge process of the Pull request. label Aug 16, 2024
@mergify mergify bot merged commit 403c9a9 into main Aug 16, 2024
12 checks passed
@mergify mergify bot deleted the task/xsebek/no-warp-engine branch August 16, 2024 12:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Trigger the merge process of the Pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants