well-typed/grapesy

Inconsistent API: three different types for ports (!)

edsko opened this issue · 0 comments

edsko commented

We have

  • InsecureConfig uses ServiceName
  • SecureConfig uses PortNumber
  • Address uses Word

We should use PortNumber throughout.